An official website of the United States government
We prove that the time of classical existence of smooth solutions to the relativistic Euler equations can be bounded from below in terms of norms that measure the “(sound) wave-part” of the data in Sobolev space and “transport-part” in higher regularity Sobolev space and Hölder spaces. The solutions are allowed to have nontrivial vorticity and entropy. We use the geometric framework from [M. M. Disconzi and J. Speck, The relativistic Euler equations: Remarkable null structures and regularity properties, Ann. Henri Poincaré 20(7) (2019) 2173–2270], where the relativistic Euler flow is decomposed into a “wave-part”, that is, geometric wave equations for the velocity components, density and enthalpy, and a “transport-part”, that is, transport-div-curl systems for the vorticity and entropy gradient. Our main result is that the Sobolev norm [Formula: see text] of the variables in the “wave-part” and the Hölder norm [Formula: see text] of the variables in the “transport-part” can be controlled in terms of initial data for short times. We note that the Sobolev norm assumption [Formula: see text] is the optimal result for the variables in the “wave-part”. Compared to low-regularity results for quasilinear wave equations and the three-dimensional (3D) non-relativistic compressible Euler equations, the main new challenge of the paper is that when controlling the acoustic geometry and bounding the wave equation energies, we must deal with the difficulty that the vorticity and entropy gradient are four-dimensional space-time vectors satisfying a space-time div-curl-transport system, where the space-time div-curl part is not elliptic. Due to lack of ellipticity, one cannot immediately rely on the approach taken in [M. M. Disconzi and J. Speck, The relativistic Euler equations: Remarkable null structures and regularity properties, Ann. Henri Poincaré 20(7) (2019) 2173–2270] to control these terms. To overcome this difficulty, we show that the space-time div-curl systems imply elliptic div-curl-transport systems on constant-time hypersurfaces plus error terms that involve favorable differentiations and contractions with respect to the four-velocity. By using these structures, we are able to adequately control the vorticity and entropy gradient with the help of energy estimates for transport equations, elliptic estimates, Schauder estimates and Littlewood–Paley theory.
more »
« less
Center manifolds without a phase space for quasilinear problems in elasticity, biology, and hydrodynamics
Abstract In this paper, we present a center manifold reduction theorem for quasilinear elliptic equations posed on infinite cylinders that is done without a phase space in the sense that we avoid explicitly reformulating the PDE as an evolution problem. Under suitable hypotheses, the resulting center manifold is finite dimensional and captures all sufficiently small bounded solutions. Compared with classical methods, the reduced ODE on the manifold is more directly related to the original physical problem and also easier to compute. The analysis is conducted directly in Hölder spaces, which is often desirable for elliptic equations. We then use this machinery to construct small bounded solutions to a variety of systems. These include heteroclinic and homoclinic solutions of the anti-plane shear problem from nonlinear elasticity; exact slow moving invasion fronts in a two-dimensional Fisher–KPP equation; and hydrodynamic bores with vorticity in a channel. The last example is particularly interesting in that we find solutions with critical layers and distinctive ‘half cat’s eye’ streamline patterns.
more »
« less
- PAR ID:
- 10353448
- Date Published:
- Journal Name:
- Nonlinearity
- Volume:
- 35
- Issue:
- 4
- ISSN:
- 0951-7715
- Page Range / eLocation ID:
- 1927 to 1985
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
It is well known that the Painlevé equations can formally degenerate to autonomous differential equations with elliptic function solutions in suitable scaling limits. A way to make this degeneration rigorous is to apply Deift-Zhou steepest-descent techniques to a Riemann-Hilbert representation of a family of solutions. This method leads to an explicit approximation formula in terms of theta functions and related algebro-geometric ingredients that is difficult to directly link to the expected limiting differential equation. However, the approximation arises from an outer parametrix that satisfies relatively simple conditions. By applying a method that we learned from Alexander Its, it is possible to use these simple conditions to directly obtain the limiting differential equation, bypassing the details of the algebro-geometric solution of the outer parametrix problem. In this paper, we illustrate the use of this method to relate an approximation of the algebraic solutions of the Painlevé-III (D$$_7$$) equation valid in the part of the complex plane where the poles and zeros of the solutions asymptotically reside to a form of the Weierstraß equation.more » « less
-
The aim of this paper is to solve an important inverse source problem which arises from the well-known inverse scattering problem. We propose to truncate the Fourier series of the solution to the governing equation with respect to a special basis of L2. By this, we obtain a system of linear elliptic equations. Solutions to this system are the Fourier coefficients of the solution to the governing equation. After computing these Fourier coefficients, we can directly find the desired source function. Numerical examples are presented.more » « less
-
Abstract We investigate error bounds for numerical solutions of divergence structure linear elliptic partial differential equations (PDEs) on compact manifolds without boundary. Our focus is on a class of monotone finite difference approximations, which provide a strong form of stability that guarantees the existence of a bounded solution. In many settings including the Dirichlet problem, it is easy to show that the resulting solution error is proportional to the formal consistency error of the scheme. We make the surprising observation that this need not be true for PDEs posed on compact manifolds without boundary. We propose a particular class of approximation schemes built around an underlying monotone scheme with consistency error $$O(h^{\alpha })$$. By carefully constructing barrier functions, we prove that the solution error is bounded by $$O(h^{\alpha /(d+1)})$$ in dimension $$d$$. We also provide a specific example where this predicted convergence rate is observed numerically. Using these error bounds, we further design a family of provably convergent approximations to the solution gradient.more » « less
-
We consider the KZ equations over C in the case, when the hypergeometric solutions are hyperelliptic integrals of genus g. Then the space of solutions is a 2g-dimensional complex vector space. We also consider the same equations modulo ps, where p is an odd prime and s is a positive integer, and over the field Q_p of p-adic numbers. We construct polynomial solutions of the KZ equations modulo ps and study the space Mps of all constructed solutions. We show that the p-adic limit of Mps as s→∞ gives us a g-dimensional vector space of solutions of the KZ equations over Qp. The solutions over Qp are power series at a certain asymptotic zone of the KZ equations. In the appendix written jointly with Steven Sperber we consider all asymptotic zones of the KZ equations in the case g=1 of elliptic integrals. The p-adic limit of Mps as s→∞ gives us a one-dimensional space of solutions over Qp at every asymptotic zone. We apply Dwork's theory and show that our germs of solutions over Qp defined at different asymptotic zones analytically continue into a single global invariant line subbundle of the associated KZ connection. Notice that the corresponding KZ connection over C does not have proper nontrivial invariant subbundles, and therefore our invariant line subbundle is a new feature of the KZ equations over Qp. We describe the Frobenius transformations of solutions of the KZ equations for g=1 and then recover the unit roots of the zeta functions of the elliptic curves defined by the equations y2=βx(x−1)(x−α) over the finite field Fp. Here α,β∈F×p,α≠1more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1088/1361-6544/ac5096
