-
Existence theory for magma equations in dimension two and higher
Authors:
David M. Ambrose,
Gideon Simpson,
J. Douglas Wright,
Dennis G. Yang
Abstract:
We examine a degenerate, dispersive, nonlinear wave equation related to the evolution of partially molten rock in dimensions two and higher. This simplified model, for a scalar field capturing the melt fraction by volume, has been studied by direct numerical simulation where it has been observed to develop stable solitary waves. In this work, we prove local in time well-posedness results for the t…
▽ More
We examine a degenerate, dispersive, nonlinear wave equation related to the evolution of partially molten rock in dimensions two and higher. This simplified model, for a scalar field capturing the melt fraction by volume, has been studied by direct numerical simulation where it has been observed to develop stable solitary waves. In this work, we prove local in time well-posedness results for the time dependent equation, on both the whole space and the torus, for dimensions two and higher. We also prove the existence of the solitary wave solutions in dimensions two and higher.
△ Less
Submitted 7 July, 2018; v1 submitted 14 June, 2017;
originally announced June 2017.
-
Ill-posedness of degenerate dispersive equations
Authors:
David M. Ambrose,
Gideon Simpson,
J. Douglas Wright,
Dennis G. Yang
Abstract:
In this article we provide numerical and analytical evidence that some degenerate dispersive partial differential equations are ill-posed. Specifically we study the K(2,2) equation $u_t = (u^2)_{xxx} + (u^2)_{x}$ and the "degenerate Airy" equation $u_t = 2 u u_{xxx}$. For K(2,2) our results are computational in nature: we conduct a series of numerical simulations which demonstrate that data which…
▽ More
In this article we provide numerical and analytical evidence that some degenerate dispersive partial differential equations are ill-posed. Specifically we study the K(2,2) equation $u_t = (u^2)_{xxx} + (u^2)_{x}$ and the "degenerate Airy" equation $u_t = 2 u u_{xxx}$. For K(2,2) our results are computational in nature: we conduct a series of numerical simulations which demonstrate that data which is very small in $H^2$ can be of unit size at a fixed time which is independent of the data's size. For the degenerate Airy equation, our results are fully rigorous: we prove the existence of a compactly supported self-similar solution which, when combined with certain scaling invariances, implies ill-posedness (also in $H^2$).
△ Less
Submitted 13 April, 2011;
originally announced April 2011.
-
Breakdown of Normal Hyperbolicity for a Family of Invariant Manifolds with Generalized Lyapunov-Type Numbers Uniformly Bounded below Their Critical Values
Authors:
Dennis Guang Yang
Abstract:
We present three examples to illustrate that in the continuation of a family of normally hyperbolic $C^1$ manifolds, the normal hyperbolicity may break down as the continuation parameter approaches a critical value even though the corresponding generalized Lyapunov-type numbers remain uniformly bounded below their critical values throughout the process. In the first example, a $C^1$ manifold sti…
▽ More
We present three examples to illustrate that in the continuation of a family of normally hyperbolic $C^1$ manifolds, the normal hyperbolicity may break down as the continuation parameter approaches a critical value even though the corresponding generalized Lyapunov-type numbers remain uniformly bounded below their critical values throughout the process. In the first example, a $C^1$ manifold still exists at the critical parameter value, but it is no longer normally hyperbolic. In the other two examples, at the critical parameter value the family of $C^1$ manifolds converges to a nonsmooth invariant set, for which generalized Lyapunov-type numbers are undefined.
△ Less
Submitted 30 December, 2009;
originally announced December 2009.
-
An Invariant Manifold Theory for ODEs and Its Applications
Authors:
Dennis Guang Yang
Abstract:
For a system of ODEs defined on an open, convex domain $U$ containing a positively invariant set $Γ$, we prove that under appropriate hypotheses, $Γ$ is the graph of a $C^r$ function and thus a $C^r$ manifold. Because the hypotheses can be easily verified by inspecting the vector field of the system, this invariant manifold theory can be used to study the existence of invariant manifolds in syst…
▽ More
For a system of ODEs defined on an open, convex domain $U$ containing a positively invariant set $Γ$, we prove that under appropriate hypotheses, $Γ$ is the graph of a $C^r$ function and thus a $C^r$ manifold. Because the hypotheses can be easily verified by inspecting the vector field of the system, this invariant manifold theory can be used to study the existence of invariant manifolds in systems involving a wide range of parameters and the persistence of invariant manifolds whose normal hyperbolicity vanishes when a small parameter goes to zero. We apply this invariant manifold theory to study three examples and in each case obtain results that are not attainable by classical normally hyperbolic invariant manifold theory.
△ Less
Submitted 6 September, 2009;
originally announced September 2009.
