Pith. sign in

REVIEW 2 major objections 5 minor 81 references

Counterexamples to Strichartz estimates and gallery waves for the irrotational compressible Euler equation in a vacuum setting

T0 review · 2 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash

Pith's one-line read Gallery waves break Strichartz bounds for the vacuum Euler equation

desk verdict Genuinely new gallery-wave construction for the physical-vacuum acoustic operator, but the main counterexample theorem has a concrete exponent error and a normalization gap; worth a serious referee with major revision. read the letter →

arxiv 2504.17932 v1 pith:SYMD2TSX submitted 2025-04-24 math.AP

classification math.AP MSC 35Q7535L1035Q3535P0535L81
keywords compressibleEulerequationsphysicalvacuumfreeboundaryproblemStrichartzestimatesgallerymodeswhisperingwavesderivativelossacousticwaveequation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper asks what dispersive space-time estimates, known as Strichartz estimates, are possible for the linearized acoustic wave equation satisfied by the velocity potential of an irrotational compressible Euler gas in a physical vacuum, in the model case of the upper half-space with density variable $r=x_d$ and zero background velocity. Its central claim is that the natural Strichartz estimates fail: for every admissible pair of exponents $(q,r)$ and any regularity $s$ below a critical line, there are frequency-localized solutions with normalized initial data in $H^{2s}$ whose second derivatives have $L^q_tL^r_x$ norms over the time interval $[0,1]$ that diverge as the frequency tends to infinity. The obstruction comes from gallery waves, solutions highly concentrated in tangential frequency that propagate along acoustic geodesics reflecting repeatedly off the vacuum boundary and that spend a positive fraction of their time in a thin boundary layer. If correct, this means any Strichartz estimate for this equation must lose derivatives, and it suggests that the low-regularity well-posedness threshold established in [40] may be optimal in the frequency regime $\tau^2\lesssim|\xi'|$. The paper presents what it identifies as the first counterexamples of this kind for the irrotational compressible Euler equations in a physical vacuum.

What carries the argument

The central object is the family of whispering gallery modes $B(\mu,|\xi'|x_d)$, explicit eigenfunctions of the transverse operator $(\kappa x_d\partial_d^2+\partial_d)B=(\kappa x_d|\xi'|^2-\mu|\xi'|)B$; they are built from generalized Laguerre polynomials and hypergeometric functions, and the choice of solution is forced by the weighted energy space of the physical vacuum, giving $B(\mu,0)>0$. Superposing these modes with tangential frequencies in a shell near $2^{2j}$ and adding the time oscillation $e^{it2^j}$ yields exact solutions $U_j(t,x)=2^{2j(d-1)}U_0(2^jt,2^{2j}x)$ of the wave equation. The argument then runs through two norm transfers: Lemma 4.2 converts $L^r$ norms of the mode into $L^r$ norms of its tangential profile $\phi$ via $(2^{2j})^{-1/r}\|u\|_{L^r_x}\approx\|\phi\|_{L^r_{x'}}$, and the bicharacteristic computation for the Hamiltonian $H=\kappa x_d\xi_d^2+\kappa x_d|\xi'|^2-\tau^2$ shows that geodesics hit the boundary about $2^j$ times in $[0,1]$ while lingering near $x_d\approx 2^{-2j}$ for a positive fraction of the time. A stationary-phase dispersive estimate for the reduced half-dimensional equation $\partial_t^2\phi+\mu|\nabla_{x'}|\phi=0$, followed by the $TT^*$ argument supplied in Lemma 5.3, gives the positive Strichartz bound for individual gallery modes in Theorem 1.9; the wave-packet superposition then turns this into the divergence, because each packet's $L^r_x$ norm scales like $(2^{2j})^{d-1-d/r}$ while its $H$-norm scales like $2^{2j(d/2-1/(2\kappa))}$.

What would settle it

Evaluate the explicit profile $B(\mu,s)=e^{-s}L_{(\mu/\kappa-1/\kappa)/2}^{1/\kappa-1}(2s)$ numerically on a strip $s\in[a,b]$ with $\mu$ close to $1$: a single zero there would invalidate the norm equivalence in Lemma 4.2. Alternatively, for one admissible triple and a few large $j$, compute the ratio $\|\nabla^2\psi_j\|_{L^q_tL^r_x([0,1]\times\Omega)}/\|(\psi_j^1,\nabla_x\psi_j^0)\|_{H^{2s}}$; if the ratio stays bounded as $j$ grows, the claimed derivative loss is absent.

Watch

Extended reading notes

Core claim

The paper proves, on its own terms, that the equation $\partial_t^2\psi-\kappa x_d\Delta\psi-\partial_d\psi=0$ on $\{x_d>0\}$ does not admit the Strichartz estimates one would expect from the classical wave equation. Theorem 1.5 shows that for every wave-admissible triple $(q,r,\gamma)$ and every $s<1/q+\gamma+1/(2\kappa)+1$, a sequence of solutions localized at tangential frequency $2^{2j}$ and time frequency $2^j$ satisfies $\sup_j\|(\psi_j^1,\nabla_x\psi_j^0)\|_{H^{2s}}\leq 1$ while $\|\nabla^2\psi_j\|_{L^q_tL^r_x([0,1]\times\Omega)}$ diverges at the rate $2^{2j\alpha}$ for any $\alpha$ below the gap. Theorem 1.7 gives the analogous statement for Euler-admissible triples, with the scaling line $2s<1/q-2\gamma$. At the endpoint $(q,r)=(2,\infty)$, the conclusion is that controlling $\|\nabla^2\psi\|_{L^2_tL^\infty_x}$ would require $s>k_0+1/2$, namely more derivatives than the threshold $2k>2k_0+1$ of the Eulerian well-posedness theory in [40]. In other words, the estimates fail with a loss of derivatives, and the mechanism is a geometric one: the acoustic metric supports multiply reflecting geodesics that concentrate wave packets at the boundary for a positive proportion of time.

Load-bearing premise

The construction assumes that the explicit gallery profile $B(\mu,s)$ stays bounded away from zero on a fixed strip of normal heights $s\in[a,b]$ for all frequencies $\mu$ near $1$; the paper verifies $B(\mu,0)>0$ and continuity but does not prove this uniform strip bound.

Editorial extensions

If this is right

  • No classical Strichartz estimate can hold for $\partial_t^2\psi-\kappa x_d\Delta\psi-\partial_d\psi=0$ without a loss of derivatives; the loss is measured by the gap between $s$ and $1/q+\gamma+1/(2\kappa)+1$ (or between $2s$ and $1/q-2\gamma$ for Euler-admissible triples).
  • The low-regularity well-posedness threshold of the Eulerian theory in [40] cannot be improved by Strichartz-type estimates in the frequency regime $\tau^2\lesssim|\xi'|$, because the endpoint control of $\nabla^2\psi$ in $L^2_tL^\infty_x$ would require more derivatives than that threshold.
  • Individual gallery modes do satisfy a Strichartz bound with a quantified loss (Theorem 1.9); the divergence in Theorems 1.5 and 1.7 is caused by coherent superpositions of many modes, not by a single mode.
  • The wave-packet construction gives explicit frequency-localized solutions that can be used to test any proposed dispersive estimate for the vacuum acoustic equation, including nonlinear and higher-dimensional variants.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural nonlinear extension is to ask whether the multiply reflecting acoustic geodesics survive under the full Euler flow; if the gallery-wave concentration is stable, the regularity barrier would be dynamical rather than a linearization artifact.
  • The proof is restricted to the frequency regime $\tau^2\lesssim|\xi'|$; away from it the geodesic geometry changes, so the threshold in [40] might still be improvable there.
  • Because the modes are explicit Laguerre-type functions, the derivative loss is directly checkable by computation for moderate $j$, which could make the failure visible before a full proof is read.
  • The same two-scale wave-packet construction could be adapted to other vacuum decay rates or curved free boundaries; whether the loss persists should be governed by whether the reflecting geodesics remain periodic.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies the irrotational compressible Euler equations in a physical-vacuum free-boundary setting. It derives a velocity-potential formulation in which the linearized equation reduces, in the model case (r = x_d, v = 0), to the acoustic wave equation ∂_t^2 ψ − κ x_d Δψ − ∂_d ψ = 0 on the upper half-space. The authors analyze the associated bicharacteristics, construct whispering-gallery modes from Laguerre-type eigenfunctions, prove Strichartz-type estimates for these modes (Theorem 1.9), and then build frequency-localized wave packets U_j to claim counterexamples showing that Strichartz estimates with the expected scaling must lose derivatives (Theorems 1.5 and 1.7). The paper explicitly frames the optimality of the Ifrim–Tataru low-regularity threshold as a suggestion, not a rigorous conclusion.

Significance. The construction is concrete and self-contained: it produces explicit exact solutions of the linearized equation and computes their norms directly, so it does not assume the Strichartz estimates it seeks to disprove. The positive estimate for gallery modes via stationary phase and TT* is a useful contribution in its own right, and the connection between multiply reflecting geodesics and derivative loss is natural. However, the central counterexample theorems contain a quantitative exponent error and a normalization error; once these are corrected, the range of derivative loss is smaller than stated, so Theorems 1.5 and 1.7 need revision. The underlying wave-packet construction appears salvageable.

major comments (2)
  1. [Section 7, exponent computations after the definition of ψ_j] The identity asserted in the first display of Section 7 is false. From Proposition 6.1, one has ‖U_j(t,·)‖_{L^r_x} ≃ (2^{2j})^{d−1−d/r}, so with ψ_j = U_j / 2^{2j(d/2 − 1/(2κ))} the true exponent of ‖ψ_j‖_{L^q_t L^r_x} is d−1−d/r+1/(2κ)−d/2, not 1/q+γ+1/(2κ)−1. Using the wave Strichartz relation 1/q + d/(2r) = d/2 − γ, one computes 1/q+γ+1/(2κ)−1 = d/2 − d/(2r) + 1/(2κ) − 1, which exceeds the true exponent by d/(2r). Consequently the displayed equivalence for ‖∇²_xψ_j‖ is also off by 2^{2j·d/(2r)}, and the divergence range in Theorem 1.5 should involve 1/q+γ+1/(2κ)+1−d/(2r) rather than 1/q+γ+1/(2κ)+1. The error is quantitative: for d=3, κ=1, (q,r)=(4,4), γ=7/8 and s=0, the paper's range allows α=5/2, but the corrected exponent gives 2^{−2jα}‖∇²ψ_j‖ → 0, so the asserted divergence fails.
  2. [Section 7, normalization of the H^{2s} norm before Theorem 1.5] The sequence ψ_j does not satisfy the normalization hypothesis of Theorem 1.5 for s>0. The proof shows ‖(∂_tψ_j^0, ∇_xψ_j^0)‖_H ≈ 1 and then states that Bernstein's inequality gives ‖(∂_tψ_j^0, ∇_xψ_j^0)‖_{H^{2s}} ≈ 2^{2js}. For s>0 this grows with j, so the hypothesis sup_j ‖(∂_tψ_j^0, ∇_xψ_j^0)‖_{H^{2s}} ≤ 1 is false. To obtain data with H^{2s}-norm O(1), one must multiply by 2^{−2js}; after this renormalization the L^q_t L^r_x norm of ∇²ψ_j acquires the additional factor 2^{−2js}, so the correct divergence threshold in Theorem 1.5 is α < 1/q+γ+1/(2κ)+1−d/(2r)−s, with the correction from the previous comment, rather than the threshold stated in the theorem. The same normalization defect affects Theorem 1.7, where the proof's displayed range α < 1/(2q)−γ+2−s and the theorem's stated range α < 1/(2q)−γ−s must also be reconciled.
minor comments (5)
  1. [Definition 1.6] The phrase 'Euler Strcihartz triple' contains a typo and should read 'Euler Strichartz triple'.
  2. [Theorem 1.5 statement] The phrase 'Let (q,r,γ) be wave-admissible' should be 'wave Strichartz triple', since Definition 1.2 introduces γ through the equality in item (2), not through the wave-admissibility inequality alone.
  3. [Proposition 5.1 and Remark 4.3] The statement of Proposition 5.1 omits the factor (2^{2j})^{(3(d−1)/4)(1/2−1/r)} that appears in its proof and in Remark 4.3; the statement should agree with the proof.
  4. [Lemma 4.2, proof of the norm equivalence] The step 'B(μ,0)>0. Thus, there exists an interval [a,b]...' should specify that [a,b] is chosen in a neighborhood of s=0 where B(μ,·) is uniformly positive by continuity, since B is a Laguerre-type function and may have zeros away from 0.
  5. [Proposition 6.1 statement] The displayed H-norm bound in Proposition 6.1 writes 2^{2j(d/2 − 1/κ)}, while the proof and the later normalization in Section 7 use 2^{2j(d/2 − 1/(2κ))}; these should be made consistent.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the counterexamples are explicit exact solutions whose norms are computed directly; the optimality remark is heuristic.

full rationale

The paper's counterexample construction is self-contained and does not reduce to its inputs. Section 6 defines U_j explicitly as superpositions of exact solutions built from the eigenfunction B(...), verifies that U_j solves (1.13), and computes its L^r_x and H norms directly in Proposition 6.1. Section 7 normalizes these solutions and compares the directly computed L^q_t L^r_x norm of ∇²ψ_j with the H^{2s} norm; this is a norm computation, not an assumption of the Strichartz estimate being refuted. The paper does not fit any parameter to data and does not invoke a self-citation chain to force the result. The statement that Ifrim–Tataru well-posedness 'might be optimal' is explicitly heuristic ('suggests', 'might'), and the counterexample theorems do not depend on it. Two caveats noted by the reader are correctness/completeness concerns rather than circularity: the uniform strip lower bound for B(μ,·) in Lemma 4.2 is asserted rather than fully proved, and the Section 7 exponent arithmetic may overstate the growth for finite r. Neither amounts to an equation being equivalent to its input by construction.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central theorems rest on the model reduction (r=x_d, v=0, irrotational), the spectral properties of the Laguerre-type eigenfunctions B, and standard stationary-phase and Strichartz lemmas quoted from the literature. No fitted parameters or invented physical entities appear. The main unproven ingredient is the uniform lower bound on B on a strip, needed for Lemma 4.2.

assumptions (6)
  • domain assumption Physical vacuum scaling: the sound speed satisfies c_s^2 approximately equal to the distance to the boundary, so r = x_d and v = 0 in the model.
    Imported in Section 1.4 when passing from the nonlinear problem to the linearized model (1.13).
  • domain assumption Irrotationality reduces Euler to a scalar velocity potential wave equation.
    Section 2, Proposition 2.1; the entire paper works in this class.
  • standard math Lemma 5.3 (Ivanovici's abstract Strichartz lemma for h-pseudodifferential Schroedinger-type flows) is valid and applies to the half-wave operator ∂_t^2 + μ|∇_{x'}|.
    Invoked in Section 5, proof of Proposition 5.1; cited from [41].
  • standard math Stationary phase asymptotics (Lemma 5.2 from Tao's notes) apply uniformly with respect to j on the annulus support.
    Used in Proposition 5.1 to derive dispersive estimates; standard but requires nondegenerate Hessian, verified in the text.
  • ad hoc to paper The function B(μ,·) satisfies B(μ,0) ≠ 0 and is bounded below on a strip for μ in a neighborhood of 1.
    Needed in Lemma 4.2 for the norm equivalence; the text asserts B(μ,0) > 0 and continuity but does not prove uniform control for all μ near 1.
  • domain assumption The energy space H and higher H^{2s} spaces from Ifrim-Tataru [40] are the correct phase spaces for the linearized problem.
    Section 1.3; the theorems measure initial data in these spaces.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Counterexamples to Strichartz estimates and gallery waves for the irrotational compressible Euler equation in a vacuum setting." pith.science (2026). https://pith.science/paper/SYMD2TSX

@misc{pith2026250417932,
  author       = {Pith},
  title        = {Pith review of: Counterexamples to Strichartz estimates and gallery waves for the irrotational compressible Euler equation in a vacuum setting},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SYMD2TSX}},
  note         = {Machine review of arXiv:2504.17932}
}
read the original abstract

We consider the free boundary problem for the irrotational compressible Euler equation in a physical vacuum setting. By using the irrotationality condition in the Eulerian formulation of Ifrim and Tataru, we derive a formulation of the problem in terms of the velocity potential function, which turns out to be an acoustic wave equation that is widely used in solar seismology. This paper is a first step towards understanding what Strichartz estimates are achievable for the aforementioned equation. Our object of study is the corresponding linearized problem in a model case, in which our domain is represented by the upper half-space. For this, we investigate the geodesics corresponding to the resulting acoustic metric, which have multiple periodic reflections next to the boundary. Inspired by their dynamics, we define a class of whispering gallery type modes associated to our problem, and prove Strichartz estimates for them. By using a construction akin to a wave packet, we also prove that one necessarily has a loss of derivatives in the Strichartz estimates for the acoustic wave equation satisfied by the potential function. In particular, this suggests that the low regularity well-posedness result obtained by Ifrim and Tataru might be optimal, at least in a certain frequency regime. To the best of our knowledge, these are the first results of this kind for the irrotational compressible Euler equations in a physical vacuum.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

81 extracted references · 68 canonical work pages

  1. [1]

    Global uniqueness in a pas sive inverse problem of helio- seismology

    A D Agaltsov, T Hohage, and R G Novikov. Global uniqueness in a pas sive inverse problem of helio- seismology. Inverse Problems, 36(5):055004, apr 2020

  2. [2]

    Agaltsov, Thorsten Hohage, and Roman G

    Alexey D. Agaltsov, Thorsten Hohage, and Roman G. Novikov. Mo nochromatic identities for the green function and uniqueness results for passive imaging. SIAM Journal on Applied Mathematics , 78(5):2865– 2890, 2018

  3. [3]

    Alazard, N

    T. Alazard, N. Burq, and C. Zuily. On the water-wave equations w ith surface tension. Duke Math. J. , 158(3):413–499, 2011

  4. [4]

    Alazard, N

    T. Alazard, N. Burq, and C. Zuily. On the Cauchy problem for grav ity water waves. Invent. Math. , 198(1):71–163, 2014

  5. [5]

    Well-posedness for rough solu tions of the 3D compressible Euler equations

    Lars Andersson and Huali Zhang. Well-posedness for rough solu tions of the 3D compressible Euler equations. arXiv e-prints , page arXiv:2208.10132, August 2022

  6. [6]

    ´ equations d’ondes quasilin´ eaires et effet dispersif.Internat

    Hajer Bahouri and Jean-Yves Chemin. ´ equations d’ondes quasilin´ eaires et effet dispersif.Internat. Math. Res. Notices, (21):1141–1178, 1999

  7. [7]

    ´ equations d’ondes quas ilin´ eaires et estimations de Strichartz

    Hajer Bahouri and Jean-Yves Chemin. ´ equations d’ondes quas ilin´ eaires et estimations de Strichartz. Amer. J. Math. , 121(6):1337–1377, 1999

  8. [8]

    Mathematical analysis of goldstein’s model for time-harmonic acoustics in flows

    Bensalah, Antoine, Joly, Patrick, and Mercier, Jean-Francois. Mathematical analysis of goldstein’s model for time-harmonic acoustics in flows. ESAIM: M2AN , 56(2):451–483, 2022

Show all 81 references
  1. [9]

    Blair, Hart F

    Matthew D. Blair, Hart F. Smith, and Christopher D. Sogge. Stric hartz estimates for the wave equation on manifolds with boundary. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 26(5):1817–1829, 2009

  2. [10]

    Global existen ce for energy critical waves in 3-D domains

    Nicolas Burq, Gilles Lebeau, and Fabrice Planchon. Global existen ce for energy critical waves in 3-D domains. J. Amer. Math. Soc. , 21(3):831–845, 2008

  3. [11]

    Persistance de structures g´ eom´ etriques dans les fluides incompressibles bidimension- nels

    Jean-Yves Chemin. Persistance de structures g´ eom´ etriques dans les fluides incompressibles bidimension- nels. Ann. Sci. ´Ecole Norm. Sup. (4) , 26(4):517–542, 1993

  4. [12]

    Convergen ce of the viscosity method for isentropic gas dynamics

    Gui-Qiang Chen. Remarks on R. J. DiPerna’s paper: “Convergen ce of the viscosity method for isentropic gas dynamics” [Comm. Math. Phys. 91 (1983), no. 1, 1–30; MR0719807 (85i:35118)]. Proc. Amer. Math. Soc., 125(10):2981–2986, 1997

  5. [13]

    Chorin and Jerrold E

    Alexandre J. Chorin and Jerrold E. Marsden. A mathematical introduction to fluid mechanics , volume 4 of Texts in Applied Mathematics . Springer-Verlag, New York, third edition, 1993

  6. [14]

    Christensen-Dalsgaard, W

    J. Christensen-Dalsgaard, W. D¨ appen, S. V. Ajukov, E. R. A nderson, H. M. Antia, S. Basu, V. A. Baturin, G. Berthomieu, B. Chaboyer, S. M. Chitre, A. N. Cox, P. D emarque, J. Donatowicz, W. A. Dziembowski, M. Gabriel, D. O. Gough, D. B. Guenther, J. A. Guzik, J . W. Harvey, ...

  7. [15]

    Seismology of the sun

    Jorgen Christensen-Dalsgaard, Douglas Gough, and Juri Too mre. Seismology of the sun. Science, 229(4717):923–931, 1985

  8. [16]

    Compressible flow and Euler’s equations , volume 9 of Sur- veys of Modern Mathematics

    Demetrios Christodoulou and Shuang Miao. Compressible flow and Euler’s equations , volume 9 of Sur- veys of Modern Mathematics . International Press, Somerville, MA; Higher Education Press, Be ijing, 2014

  9. [17]

    A priori est imates for the free-boundary 3D com- pressible Euler equations in physical vacuum

    Daniel Coutand, Hans Lindblad, and Steve Shkoller. A priori est imates for the free-boundary 3D com- pressible Euler equations in physical vacuum. Comm. Math. Phys. , 296(2):559–587, 2010

  10. [18]

    Well-posedness in smooth fu nction spaces for the moving- boundary three-dimensional compressible Euler equations in physic al vacuum

    Daniel Coutand and Steve Shkoller. Well-posedness in smooth fu nction spaces for the moving- boundary three-dimensional compressible Euler equations in physic al vacuum. Arch. Ration. Mech. Anal., 206(2):515–616, 2012

  11. [19]

    Regularity of the velocity fie ld for Euler vortex patch evolution

    Daniel Coutand and Steve Shkoller. Regularity of the velocity fie ld for Euler vortex patch evolution. Trans. Amer. Math. Soc. , 370(5):3689–3720, 2018

  12. [20]

    A priori estimates for water waves with emerging bottom

    Thibault de Poyferr´ e. A priori estimates for water waves with emerging bottom. Arch. Ration. Mech. Anal., 232(2):763–812, 2019

  13. [21]

    Mercier, F

    A.S.Bonnet-Ben Dhia, J.F. Mercier, F. Millot, S. Pernet, and E. Pe ynaud. Time-harmonic acoustic scattering in a complex flow: A full coupling between acoustics and hy drodynamics. Communications in Computational Physics , 11(2):555–572, 2012. 30 OVIDIU-NECULAI A V ADANEI

  14. [22]

    Ronald J. DiPerna. Convergence of the viscosity method for ise ntropic gas dynamics. Comm. Math. Phys., 91(1):1–30, 1983

  15. [23]

    Disconzi, Mihaela Ifrim, and Daniel Tataru

    Marcelo M. Disconzi, Mihaela Ifrim, and Daniel Tataru. The relativ istic Euler equations with a physical vacuum boundary: Hadamard local well-posedness, rough solution s, and continuation criterion. Archive for Rational Mechanics and Analysis , 245(1):127–182, July 2022

  16. [24]

    Disconzi, Chenyun Luo, Giusy Mazzone, and Jared Sp eck

    Marcelo M. Disconzi, Chenyun Luo, Giusy Mazzone, and Jared Sp eck. Rough sound waves in 3D compressible Euler flow with vorticity. Selecta Math. (N.S.) , 28(2):Paper No. 41, 153, 2022

  17. [25]

    T. L. Duvall, Jr., S. M. Jefferies, J. W. Harvey, and M. A. Pomera ntz. Time-distance helioseismology. Nature, 362(6419):430–432, April 1993

  18. [26]

    David G. Ebin. The equations of motion of a perfect fluid with free boundary are not well posed. Comm. Partial Differential Equations , 12(10):1175–1201, 1987

  19. [27]

    Ebin and Jerrold E

    David G. Ebin and Jerrold E. Marsden. Groups of diffeomorphisms and the solution of the classical Euler equations for a perfect fluid. Bull. Amer. Math. Soc. , 75:962–967, 1969

  20. [28]

    Propagation d’une onde sonore dans l’atmosph` ere et th´ eorie des zones de silence

    Henri Galbrun. Propagation d’une onde sonore dans l’atmosph` ere et th´ eorie des zones de silence. 1931

  21. [29]

    Ginibre and G

    J. Ginibre and G. Velo. The global Cauchy problem for the non linea r Schr¨ odinger equation revisited. Annales de l’I.H.P. Analyse non lin´ eaire, 2(4):309–327, 1985

  22. [30]

    Ginibre and G

    J. Ginibre and G. Velo. Generalized Strichartz inequalities for the wave equation. J. Funct. Anal. , 133(1):50–68, 1995

  23. [31]

    Birch, and Henk C

    Laurent Gizon, Aaron C. Birch, and Henk C. Spruit. Local Helios eismology: Three-Dimensional Imaging of the Solar Interior. ARAA, 48:289–338, September 2010

  24. [32]

    Cameron, Majid Pourabdian, Zhi-Cha o Liang, Damien Fournier, Aaron C

    Laurent Gizon, Robert H. Cameron, Majid Pourabdian, Zhi-Cha o Liang, Damien Fournier, Aaron C. Birch, and Chris S. Hanson. Meridional flow in the sun’s convection zo ne is a single cell in each hemi- sphere. Science, 368(6498):1469–1472, 2020

  25. [33]

    Computational helioseismology in the frequency domain: acoustic waves in axisymmet ric solar models with flows

    Gizon, Laurent, Barucq, H´ el` ene, Durufl´ e, Marc, Hanson , Chris S., Legu` ebe, Michael, Birch, Aaron C., Chabassier, Juliette, Fournier, Damien, Hohage, Thorsten, an d Papini, Emanuele. Computational helioseismology in the frequency domain: acoustic waves in axisymmet ric s...

  26. [34]

    Convergence analysis of nonconform h(div)-finite elements for the damped time-harmonic galbrun’s equation

    Martin Halla. Convergence analysis of nonconform h(div)-finite elements for the damped time-harmonic galbrun’s equation. 06 2023

  27. [35]

    On the well-posedness of the damped time-harmonic galbrun equa- tion and the equations of stellar oscillations

    Martin Halla and Thorsten Hohage. On the well-posedness of the damped time-harmonic galbrun equa- tion and the equations of stellar oscillations. SIAM Journal on Mathematical Analysis , 53(4):4068–4095, 2021

  28. [36]

    A new t- compatibility condition and its appli- cation to the discretization of the damped time-harmonic galbrun’s e quation

    Martin Halla, Christoph Lehrenfeld, and Paul Stocker. A new t- compatibility condition and its appli- cation to the discretization of the damped time-harmonic galbrun’s e quation. 09 2022

  29. [37]

    Thomas J. R. Hughes, Tosio Kato, and Jerrold E. Marsden. Well- posed quasi-linear second-order hy- perbolic systems with applications to nonlinear elastodynamics and ge neral relativity. Arch. Rational Mech. Anal., 63(3):273–294 (1977), 1976

  30. [38]

    On the well-posedness of galb run’s equation

    Linus H¨ agg and Martin Berggren. On the well-posedness of galb run’s equation. Journal de Math´ ematiques Pures et Appliqu´ ees, 150:112–133, 2021

  31. [39]

    Mihaela Ifrim, Ben Pineau, Daniel Tataru, and Mitchell A. Taylor. Sharp Hadamard local well- posedness, enhanced uniqueness and pointwise continuation crite rion for the incompressible free bound- ary Euler equations. arXiv e-prints, to appear in Annals of PDE , page arXiv:230...

  32. [40]

    The compressible Euler equation s in a physical vacuum: A com- prehensive Eulerian approach

    Mihaela Ifrim and Daniel Tataru. The compressible Euler equation s in a physical vacuum: A com- prehensive Eulerian approach. Annales de L’Institut Henri Poincare Section (C) Non Linear Analysis, 41(2):405–495, August 2023

  33. [41]

    Counterexamples to Strichartz estimates for the wave equation in domains

    Oana Ivanovici. Counterexamples to Strichartz estimates for the wave equation in domains. Math. Ann., 347(3):627–673, 2010

  34. [42]

    Dispersive estimates for the wave and the Klein- Gordon equations in large time inside the Friedlander domain

    Oana Ivanovici. Dispersive estimates for the wave and the Klein- Gordon equations in large time inside the Friedlander domain. Discrete Contin. Dyn. Syst. , 41(12):5707–5742, 2021

  35. [43]

    Dispersion for the wave equation inside strictly convex domains II: The general case

    Oana Ivanovici, Richard Lascar, Gilles Lebeau, and Fabrice Planc hon. Dispersion for the wave equation inside strictly convex domains II: The general case. Ann. PDE , 9(2):Paper No. 14, 117, 2023

  36. [44]

    Dispersion f or the wave equation inside strictly convex domains I: the Friedlander model case

    Oana Ivanovici, Gilles Lebeau, and Fabrice Planchon. Dispersion f or the wave equation inside strictly convex domains I: the Friedlander model case. Ann. of Math. (2) , 180(1):323–380, 2014. GALLERY W A VES FOR THE V ACUUM IRROTATIONAL COMPRESSIBLE EUL ER EQUATIONS 31

  37. [45]

    Estimations de Strichartz pour l’´ equation des ondes dans un domaine strictement convexe

    Oana Ivanovici, Gilles Lebeau, and Fabrice Planchon. Estimations de Strichartz pour l’´ equation des ondes dans un domaine strictement convexe. In PDE’s, dispersion, scattering theory and control theory , volume 30 of S´ emin. Congr., pages 69–79. Soc. Math. France, Paris, 2017

  38. [46]

    New counte rexamples to Strichartz estimates for the wave equation on a 2D model convex domain

    Oana Ivanovici, Gilles Lebeau, and Fabrice Planchon. New counte rexamples to Strichartz estimates for the wave equation on a 2D model convex domain. Journal de l’ ´Ecole polytechnique — Math´ ematiques , 8:1133–1157, 2021

  39. [47]

    Well-posedness for compressib le Euler equations with physical vacuum singularity

    Juhi Jang and Nader Masmoudi. Well-posedness for compressib le Euler equations with physical vacuum singularity. Comm. Pure Appl. Math. , 62(10):1327–1385, 2009

  40. [48]

    Well-posedness of compressible Euler equations in a physical vacuum

    Juhi Jang and Nader Masmoudi. Well-posedness of compressible Euler equations in a physical vacuum. Comm. Pure Appl. Math. , 68(1):61–111, 2015

  41. [49]

    Lecture notes on stellar osc illations

    Christensen-Dalsgaard Jørgen. Lecture notes on stellar osc illations

  42. [50]

    L. V. Kapitanskii. Estimates for norms in Besov and Lizorkin-Trie bel spaces for solutions of second- order linear hyperbolic equations. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LO MI), 171:106–162, 185–186, 1989

  43. [51]

    L. V. Kapitanskii. Some generalizations of the Strichartz-Bren ner inequality. Algebra i Analiz , 1(3):127– 159, 1989

  44. [52]

    Endpoint Strichartz estimates

    Markus Keel and Terence Tao. Endpoint Strichartz estimates . Amer. J. Math. , 120(5):955–980, 1998

  45. [53]

    Smith, and Daniel Tataru

    Herbert Koch, Hart F. Smith, and Daniel Tataru. Subcritical Lp bounds on spectral clusters for Lipschitz metrics. Math. Res. Lett. , 15(5):993–1002, 2008

  46. [54]

    Well posedness for the motion of a compressible liq uid with free surface boundary

    Hans Lindblad. Well posedness for the motion of a compressible liq uid with free surface boundary. Comm. Math. Phys. , 260(2):319–392, 2005

  47. [55]

    A priori estimates for the comp ressible Euler equations for a liquid with free surface boundary and the incompressible limit

    Hans Lindblad and Chenyun Luo. A priori estimates for the comp ressible Euler equations for a liquid with free surface boundary and the incompressible limit. Comm. Pure Appl. Math. , 71(7):1273–1333, 2018

  48. [56]

    Hans Lindblad and Christopher D. Sogge. On existence and scat tering with minimal regularity for semilinear wave equations. J. Funct. Anal. , 130(2):357–426, 1995

  49. [57]

    Mathematical topics in fluid mechanics

    Pierre-Louis Lions. Mathematical topics in fluid mechanics. Vol. 2 , volume 10 of Oxford Lecture Series in Mathematics and its Applications . The Clarendon Press, Oxford University Press, New York, 1998. Compressible models, Oxford Science Publications

  50. [58]

    Compressible Euler equations with vac uum

    Tai-Ping Liu and Tong Yang. Compressible Euler equations with vac uum. J. Differential Equations , 140(2):223–237, 1997

  51. [59]

    Lynden-Bell and J

    D. Lynden-Bell and J. P. Ostriker. On the stability of differentia lly rotating bodies. Monthly Notices of the Royal Astronomical Society , 136(3):293–310, 07 1967

  52. [60]

    A. Majda. Compressible fluid flow and systems of conservation laws in se veral space variables, volume 53 of Applied Mathematical Sciences . Springer-Verlag, New York, 1984

  53. [61]

    Sur la solution ` a support compact de l’´ equations d’Euler compressible

    Tetu Makino, Seiji Ukai, and Shuichi Kawashima. Sur la solution ` a support compact de l’´ equations d’Euler compressible. Japan J. Appl. Math. , 3(2):249–257, 1986

  54. [62]

    Marsden, Tudor Ratiu, and Alan Weinstein

    Jerrold E. Marsden, Tudor Ratiu, and Alan Weinstein. Reduction and Hamiltonian structures on duals of semidirect product Lie algebras. In Fluids and plasmas: geometry and dynamics (Boulder, Colo., 1983), volume 28 of Contemp. Math. , pages 55–100. Amer. Math. Soc., Providence,...

  55. [63]

    Gerd Mockenhaupt, Andreas Seeger, and Christopher D. Sog ge. Local smoothing of Fourier integral operators and Carleson-Sj¨ olin estimates.J. Amer. Math. Soc. , 6(1):65–130, 1993

  56. [64]

    Quantitative passive imaging by iterative holography: the example of helioseismic holography

    Bj¨ orn M¨ uller, Thorsten Hohage, Damien Fournier, and Laure nt Gizon. Quantitative passive imaging by iterative holography: the example of helioseismic holography. Inverse Problems , 40(4):045016, mar 2024

  57. [65]

    Geometry and a priori estim ates for free boundary problems of the Euler equation

    Jalal Shatah and Chongchun Zeng. Geometry and a priori estim ates for free boundary problems of the Euler equation. Comm. Pure Appl. Math. , 61(5):698–744, 2008

  58. [66]

    A priori estimates for fluid in terface problems

    Jalal Shatah and Chongchun Zeng. A priori estimates for fluid in terface problems. Comm. Pure Appl. Math., 61(6):848–876, 2008

  59. [67]

    Local well-posedness for fl uid interface problems

    Jalal Shatah and Chongchun Zeng. Local well-posedness for fl uid interface problems. Arch. Ration. Mech. Anal., 199(2):653–705, 2011

  60. [68]

    Hart F. Smith. A parametrix construction for wave equations w ith C1,1 coefficients. Ann. Inst. Fourier (Grenoble), 48(3):797–835, 1998. 32 OVIDIU-NECULAI A V ADANEI

  61. [69]

    Smith and Christopher D

    Hart F. Smith and Christopher D. Sogge. On the critical semilinea r wave equation outside convex obstacles. J. Amer. Math. Soc. , 8(4):879–916, 1995

  62. [70]

    Smith and Christopher D

    Hart F. Smith and Christopher D. Sogge. On the Lp norm of spectral clusters for compact manifolds with boundary. Acta Math., 198(1):107–153, 2007

  63. [71]

    Smith and Daniel Tataru

    Hart F. Smith and Daniel Tataru. Sharp counterexamples for S trichartz estimates for low regularity metrics. Math. Res. Lett. , 9(2-3):199–204, 2002

  64. [72]

    Smith and Daniel Tataru

    Hart F. Smith and Daniel Tataru. Sharp local well-posedness re sults for the nonlinear wave equation. Ann. of Math. (2) , 162(1):291–366, 2005

  65. [73]

    Strichartz

    Robert S. Strichartz. Restrictions of Fourier transforms to quadratic surfaces and decay of solutions of wave equations. Duke Math. J. , 44(3):705–714, 1977

  66. [74]

    Lecture notes 8 for 247b

    Terence Tao. Lecture notes 8 for 247b

  67. [75]

    Strichartz estimates for operators with nons mooth coefficients and the nonlinear wave equation

    Daniel Tataru. Strichartz estimates for operators with nons mooth coefficients and the nonlinear wave equation. Amer. J. Math. , 122(2):349–376, 2000

  68. [76]

    Strichartz estimates for second order hyper bolic operators with nonsmooth coefficients

    Daniel Tataru. Strichartz estimates for second order hyper bolic operators with nonsmooth coefficients. II. Amer. J. Math. , 123(3):385–423, 2001

  69. [77]

    Strichartz estimates for second order hyper bolic operators with nonsmooth coefficients

    Daniel Tataru. Strichartz estimates for second order hyper bolic operators with nonsmooth coefficients. III. J. Amer. Math. Soc. , 15(2):419–442, 2002

  70. [78]

    Loc al well-posedness and break-down criterion of the incompressible Euler equations with free boundary

    Chao Wang, Zhifei Zhang, Weiren Zhao, and Yunrui Zheng. Loc al well-posedness and break-down criterion of the incompressible Euler equations with free boundary. Mem. Amer. Math. Soc. , 270(1318):v + 119, 2021

  71. [79]

    Rough solutions of the 3-D compressible Euler equatio ns

    Qian Wang. Rough solutions of the 3-D compressible Euler equatio ns. Ann. of Math. (2) , 195(2):509– 654, 2022

  72. [80]

    Low regularity solutions of two-dimensional compr essible Euler equations with dynamic vorticity

    Huali Zhang. Low regularity solutions of two-dimensional compr essible Euler equations with dynamic vorticity. arXiv e-prints , page arXiv:2012.01060, December 2020

  73. [81]

    On the rough solutions of 3D c ompressible Euler equations: an alternative proof

    Huali Zhang and Lars Andersson. On the rough solutions of 3D c ompressible Euler equations: an alternative proof. arXiv e-prints , page arXiv:2104.12299, April 2021

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.