skip to main content


Title: The relativistic Euler equations with a physical vacuum boundary: Hadamard local well-posedness, rough solutions, and continuation criterion
Abstract

In this paper we provide a complete local well-posedness theory for the free boundary relativistic Euler equations with a physical vacuum boundary on a Minkowski background. Specifically, we establish the following results: (i) local well-posedness in the Hadamard sense, i.e., local existence, uniqueness, and continuous dependence on the data; (ii) low regularity solutions: our uniqueness result holds at the level of Lipschitz velocity and density, while our rough solutions, obtained as unique limits of smooth solutions, have regularity only a half derivative above scaling; (iii) stability: our uniqueness in fact follows from a more general result, namely, we show that a certain nonlinear functional that tracks the distance between two solutions (in part by measuring the distance between their respective boundaries) is propagated by the flow; (iv) we establish sharp, essentially scale invariant energy estimates for solutions; (v) a sharp continuation criterion, at the level of scaling, showing that solutions can be continued as long as the velocity is in$$L^1_t Lip$$Lt1Lipand a suitable weighted version of the density is at the same regularity level. Our entire approach is in Eulerian coordinates and relies on the functional framework developed in the companion work of the second and third authors on corresponding non relativistic problem. All our results are valid for a general equation of state$$p(\varrho )= \varrho ^\gamma $$p(ϱ)=ϱγ,$$\gamma > 1$$γ>1.

 
more » « less
Award ID(s):
1845037 1800294
NSF-PAR ID:
10368053
Author(s) / Creator(s):
; ;
Publisher / Repository:
Springer Science + Business Media
Date Published:
Journal Name:
Archive for Rational Mechanics and Analysis
Volume:
245
Issue:
1
ISSN:
0003-9527
Format(s):
Medium: X Size: p. 127-182
Size(s):
["p. 127-182"]
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract

    Given a suitable solutionV(tx) to the Korteweg–de Vries equation on the real line, we prove global well-posedness for initial data$$u(0,x) \in V(0,x) + H^{-1}(\mathbb {R})$$u(0,x)V(0,x)+H-1(R). Our conditions onVdo include regularity but do not impose any assumptions on spatial asymptotics. We show that periodic profiles$$V(0,x)\in H^5(\mathbb {R}/\mathbb {Z})$$V(0,x)H5(R/Z)satisfy our hypotheses. In particular, we can treat localized perturbations of the much-studied periodic traveling wave solutions (cnoidal waves) of KdV. In the companion paper Laurens (Nonlinearity. 35(1):343–387, 2022.https://doi.org/10.1088/1361-6544/ac37f5) we show that smooth step-like initial data also satisfy our hypotheses. We employ the method of commuting flows introduced in Killip and Vişan (Ann. Math. (2) 190(1):249–305, 2019.https://doi.org/10.4007/annals.2019.190.1.4) where$$V\equiv 0$$V0. In that setting, it is known that$$H^{-1}(\mathbb {R})$$H-1(R)is sharp in the class of$$H^s(\mathbb {R})$$Hs(R)spaces.

     
    more » « less
  2. Abstract

    The well-posedness of stochastic Navier–Stokes equations with various noises is a hot topic in the area of stochastic partial differential equations. Recently, the consideration of stochastic Navier–Stokes equations involving fractional Laplacian has received more and more attention. Due to the scaling-invariant property of the fractional stochastic equations concerned, it is natural and also very important to study the well-posedness of stochastic fractional Navier–Stokes equations in the associated critical Fourier–Besov spaces. In this paper, we are concerned with the three-dimensional stochastic fractional Navier–Stokes equation driven by multiplicative noise. We aim to establish the well-posedness of solutions of the concerned equation. To this end, by utilising the Fourier localisation technique, we first establish the local existence and uniqueness of the solutions in the critical Fourier–Besov space$$\dot{\mathcal {B}}^{4-2\alpha -\frac{3}{p}}_{p,r}$$B˙p,r4-2α-3p. Then, under the condition that the initial date is sufficiently small, we show the global existence of the solutions in the probabilistic sense.

     
    more » « less
  3. Abstract

    It has been recently established in David and Mayboroda (Approximation of green functions and domains with uniformly rectifiable boundaries of all dimensions.arXiv:2010.09793) that on uniformly rectifiable sets the Green function is almost affine in the weak sense, and moreover, in some scenarios such Green function estimates are equivalent to the uniform rectifiability of a set. The present paper tackles a strong analogue of these results, starting with the “flagship degenerate operators on sets with lower dimensional boundaries. We consider the elliptic operators$$L_{\beta ,\gamma } =- {\text {div}}D^{d+1+\gamma -n} \nabla $$Lβ,γ=-divDd+1+γ-nassociated to a domain$$\Omega \subset {\mathbb {R}}^n$$ΩRnwith a uniformly rectifiable boundary$$\Gamma $$Γof dimension$$d < n-1$$d<n-1, the now usual distance to the boundary$$D = D_\beta $$D=Dβgiven by$$D_\beta (X)^{-\beta } = \int _{\Gamma } |X-y|^{-d-\beta } d\sigma (y)$$Dβ(X)-β=Γ|X-y|-d-βdσ(y)for$$X \in \Omega $$XΩ, where$$\beta >0$$β>0and$$\gamma \in (-1,1)$$γ(-1,1). In this paper we show that the Green functionGfor$$L_{\beta ,\gamma }$$Lβ,γ, with pole at infinity, is well approximated by multiples of$$D^{1-\gamma }$$D1-γ, in the sense that the function$$\big | D\nabla \big (\ln \big ( \frac{G}{D^{1-\gamma }} \big )\big )\big |^2$$|D(ln(GD1-γ))|2satisfies a Carleson measure estimate on$$\Omega $$Ω. We underline that the strong and the weak results are different in nature and, of course, at the level of the proofs: the latter extensively used compactness arguments, while the present paper relies on some intricate integration by parts and the properties of the “magical distance function from David et al. (Duke Math J, to appear).

     
    more » « less
  4. Abstract

    We consider integral area-minimizing 2-dimensional currents$T$Tin$U\subset \mathbf {R}^{2+n}$UR2+nwith$\partial T = Q\left [\!\![{\Gamma }\right ]\!\!]$T=QΓ, where$Q\in \mathbf {N} \setminus \{0\}$QN{0}and$\Gamma $Γis sufficiently smooth. We prove that, if$q\in \Gamma $qΓis a point where the density of$T$Tis strictly below$\frac{Q+1}{2}$Q+12, then the current is regular at$q$q. The regularity is understood in the following sense: there is a neighborhood of$q$qin which$T$Tconsists of a finite number of regular minimal submanifolds meeting transversally at$\Gamma $Γ(and counted with the appropriate integer multiplicity). In view of well-known examples, our result is optimal, and it is the first nontrivial generalization of a classical theorem of Allard for$Q=1$Q=1. As a corollary, if$\Omega \subset \mathbf {R}^{2+n}$ΩR2+nis a bounded uniformly convex set and$\Gamma \subset \partial \Omega $ΓΩa smooth 1-dimensional closed submanifold, then any area-minimizing current$T$Twith$\partial T = Q \left [\!\![{\Gamma }\right ]\!\!]$T=QΓis regular in a neighborhood of $\Gamma $Γ.

     
    more » « less
  5. Abstract

    Let us fix a primepand a homogeneous system ofmlinear equations$$a_{j,1}x_1+\dots +a_{j,k}x_k=0$$aj,1x1++aj,kxk=0for$$j=1,\dots ,m$$j=1,,mwith coefficients$$a_{j,i}\in \mathbb {F}_p$$aj,iFp. Suppose that$$k\ge 3m$$k3m, that$$a_{j,1}+\dots +a_{j,k}=0$$aj,1++aj,k=0for$$j=1,\dots ,m$$j=1,,mand that every$$m\times m$$m×mminor of the$$m\times k$$m×kmatrix$$(a_{j,i})_{j,i}$$(aj,i)j,iis non-singular. Then we prove that for any (large)n, any subset$$A\subseteq \mathbb {F}_p^n$$AFpnof size$$|A|> C\cdot \Gamma ^n$$|A|>C·Γncontains a solution$$(x_1,\dots ,x_k)\in A^k$$(x1,,xk)Akto the given system of equations such that the vectors$$x_1,\dots ,x_k\in A$$x1,,xkAare all distinct. Here,Cand$$\Gamma $$Γare constants only depending onp,mandksuch that$$\Gamma Γ<p. The crucial point here is the condition for the vectors$$x_1,\dots ,x_k$$x1,,xkin the solution$$(x_1,\dots ,x_k)\in A^k$$(x1,,xk)Akto be distinct. If we relax this condition and only demand that$$x_1,\dots ,x_k$$x1,,xkare not all equal, then the statement would follow easily from Tao’s slice rank polynomial method. However, handling the distinctness condition is much harder, and requires a new approach. While all previous combinatorial applications of the slice rank polynomial method have relied on the slice rank of diagonal tensors, we use a slice rank argument for a non-diagonal tensor in combination with combinatorial and probabilistic arguments.

     
    more » « less