2025-11-20T03:07:13.884295

Unique continuation and Hardy's uncertainty principle for hyperbolic Schrödinger equations

Jensen
We prove unique continuation properties related to the Hardy uncertainty principle for solutions of the hyperbolic nonlinear Schrödinger equation and the hyperbolic Schrödinger equation with potential. Under suitable conditions on the nonlinearity, or the potential, we show that if $u$ is a solution with Gaussian decay at two different times, then $u\equiv 0$. These results extend to the hyperbolic setting the work of Escauriaza, Kenig, Ponce, and Vega (JEMS, 10, 2008) for the classical Schrödinger equation. The proofs rely on Carleman estimates based on calculus and convexity arguments, with the main challenge being to provide a rigorous justification of these estimates. Although our approach follows the general strategy of Escauriaza, Kenig, Ponce, and Vega, several technical modifications are required to handle the hyperbolic character of the equation.
academic

Unique Continuation and Hardy's Uncertainty Principle for Hyperbolic Schrödinger Equations

Basic Information

  • Paper ID: 2510.09202
  • Title: Unique continuation and Hardy's uncertainty principle for hyperbolic Schrödinger equations
  • Author: Torunn S. Jensen (University of Bergen, Norway)
  • Classification: math.AP (Mathematical Analysis)
  • Publication Date: October 13, 2025
  • Paper Link: https://arxiv.org/abs/2510.09202

Abstract

This paper establishes unique continuation properties for solutions of hyperbolic nonlinear Schrödinger equations and hyperbolic Schrödinger equations with potentials, which are related to Hardy's uncertainty principle. Under appropriate conditions on the nonlinear term or potential function, the paper proves that if a solution u exhibits Gaussian decay at two distinct times, then u ≡ 0. These results extend the work of Escauriaza, Kenig, Ponce, and Vega (JEMS, 10, 2008) on classical Schrödinger equations to the hyperbolic setting. The proofs rely on Carleman estimates based on calculus and convexity arguments, with the main challenge being providing rigorous justification for these estimates.

Research Background and Motivation

Problem Background

  1. Hardy's Uncertainty Principle: The classical Hardy uncertainty principle states that if both a function f(x) and its Fourier transform f̂(ξ) exhibit Gaussian decay with decay parameters satisfying αβ < 4, then f ≡ 0
  2. Unique Continuation for Schrödinger Equations: EKPV in 2008 extended Hardy's uncertainty principle to classical Schrödinger equations, proving that if solutions have Gaussian decay at two times, then the solution is identically zero
  3. Hyperbolic Schrödinger Equations: These equations arise in physical contexts including water waves, plasma waves, electromagnetic waves, and nonlinear optics, where the Laplacian operator has hyperbolic characteristics

Research Motivation

  1. Theoretical Completeness: Extending unique continuation theory from classical Schrödinger equations to the hyperbolic setting
  2. Technical Challenges: Handling hyperbolic operators is more complex than elliptic operators, requiring new techniques
  3. Physical Significance: Providing theoretical foundations for physical applications of hyperbolic Schrödinger equations

Core Contributions

  1. Main Theorem: Establishes unique continuation properties for hyperbolic Schrödinger equations with potentials (Theorem 3)
  2. Nonlinear Case: Extends results to hyperbolic nonlinear Schrödinger equations (Theorem 4)
  3. Technical Innovation: Develops Carleman estimate techniques applicable to hyperbolic operators
  4. Rigorous Proofs: Provides complete mathematical justification for formal Carleman estimates

Detailed Methodology

Problem Formulation

The paper studies hyperbolic Schrödinger equations:

  • With Potential: ∂ₜu = i(Lu + V(x,t)u)
  • Nonlinear Case: ∂ₜu = i(Lu + F(u,ū)) where L = Σⱼ₌₁ᵏ ∂²ₓⱼ - Σⱼ₌ₖ₊₁ⁿ ∂²ₓⱼ is the "hyperbolic" Laplacian operator

Core Methodological Framework

1. Appell/Conformal Transformation

  • Transforms problems with different decay parameters α, β into a unified parameter γ > 1/2
  • The transformation in the hyperbolic case differs slightly from the elliptic case

2. Parabolic Regularization

  • Introduces regularized equation: ∂ₜuₑ = ε∆uₑ + i(Luₑ + Fₑ)
  • The parabolic term ε∆ makes the problem more tractable

3. Energy Estimates

For weight function φ(x,t) = s(t)|x|², where s(t) = γA/(A + 8(A² + B²)γt), the paper proves:

‖e^(s(t)|x|²)u(T)‖² + A‖∇(e^(s(t)|x|²)u)‖² + 2A‖2s(t)|x|e^(s(t)|x|²)u‖²
≤ e^(Mᵥ+|B|)(‖e^(γ|x|²)u₀‖² + ‖e^(s(t)|x|²)F(t)‖²)

4. Carleman Estimates

  • For weight function φₐ(x) = Σⱼ₌₁ⁿ ψₐ(xⱼ), where ψₐ handles the case where mixed partial derivatives vanish
  • Proves logarithmic convexity: ‖e^(γ|x|²)u(t)‖ ≤ C‖e^(γ|x|²)u₀‖^(1-t)‖e^(γ|x|²)u(1)‖^t

Technical Innovations

1. Treatment of Hyperbolic Operators

  • Commutator Calculations: The hyperbolic case introduces new cross terms in S,A requiring special handling
  • Indefinite Orthogonal Groups: Utilizes invariance under O(k,n-k) rather than O(n)

2. Weight Function Design

  • Selects special weight functions φₐ where mixed partial derivatives vanish, ensuring Eⱼ,Hⱼ = 0
  • Avoids technical difficulties that do not appear in the elliptic case

3. Exponential Decay Estimates

  • For potentials V satisfying ‖V‖_{L¹ₜL^∞_x} ≤ ε₀ under smallness conditions, proves exponential decay estimates
  • Requires simultaneous treatment of both 1 ≤ j ≤ k and k < j ≤ n cases

Experimental Setup

Theoretical Framework

This is pure mathematical theory research with no numerical experiments; results are verified through mathematical proofs.

Proof Strategy

  1. Step One: Appell transformation unifies parameters
  2. Step Two: Heuristic arguments establish framework
  3. Step Three: Parabolic regularization rigorously handles the problem
  4. Steps Four-Six: Energy estimates and Carleman estimates
  5. Step Seven: Application to original equations and limit taking

Main Results

Theorem 3 (Hyperbolic Schrödinger Equation with Potential)

Let u ∈ C(0,1, L²(ℝⁿ)) be a solution to ∂ₜu = i(Lu + V(x,t)u), where V is bounded and satisfies:

  • Condition 1: sup_{t∈0,1} ‖e^(|x|²/(αt+β(1-t))²)V(t)‖_{L^∞} < ∞
  • Or Condition 2: lim_{R→∞} ∫₀¹ ‖V(t)‖_{L^∞(ℝⁿ\B_R)} dt = 0

If there exist α,β > 0 such that αβ < 2 and ‖e^(|x|²/β²)u₀‖{L²} and ‖e^(|x|²/α²)u(1)‖{L²} are finite, then u ≡ 0.

Theorem 4 (Hyperbolic Nonlinear Schrödinger Equation)

Let u₁,u₂ ∈ C(0,1, Hᵏ(ℝⁿ)) be solutions to ∂ₜu = i(Lu + F(u,ū)), where k > n/2, F ∈ Cᵏ, and F(0) = ∂ᵤF(0) = ∂ᵤ̄F(0) = 0.

If αβ < 2 and ‖e^(|x|²/β²)(u₁(0) - u₂(0))‖{L²} and ‖e^(|x|²/α²)(u₁(1) - u₂(1))‖{L²} are finite, then u₁ = u₂.

Theorem 5 (Persistence of Weighted Norms)

Under the conditions of Theorem 3, for all t ∈ 0,1:

‖e^(γ|x|²)u(t)‖_{L²} ≤ N(V)(‖e^(γ|x|²)u₀‖_{L²} + ‖e^(γ|x|²)u(1)‖_{L²} + sup_t ‖u(t)‖_{L²})

Historical Development

  1. Hardy's Uncertainty Principle (Classical): Fundamental result in Fourier analysis
  2. EKPV Work (2008): Extended Hardy's principle to elliptic Schrödinger equations
  3. Electromagnetic Schrödinger Equations (Barceló et al., 2012): Extended to ∆_A = (∇ - iA)² case
  4. Hyperbolic Electromagnetic Case (Barceló, Cassano, Fanelli, 2024): Unique continuation from single-time decay

Contributions of This Paper

  • First treatment of two-time Gaussian decay unique continuation for hyperbolic Schrödinger equations
  • Develops Carleman estimate techniques applicable to hyperbolic operators
  • Provides rigorous justification for formal calculations

Conclusions and Discussion

Main Conclusions

  1. Successfully extends EKPV's classical results to the hyperbolic setting
  2. Establishes Hardy-type uncertainty principles for hyperbolic Schrödinger equations
  3. Develops new techniques for handling hyperbolic operators

Limitations

  1. Decay Conditions: Still requires αβ < 2, not achieving the optimal free case condition αβ < 4
  2. Potential Function Restrictions: Conditions on potential V are more stringent than in the elliptic case
  3. Technical Complexity: Proofs are more complex than the elliptic case, requiring additional technical assumptions

Future Directions

  1. Improve decay conditions to optimal αβ < 4
  2. Relax restrictions on potential functions
  3. Extend to more general hyperbolic equations

In-Depth Evaluation

Strengths

  1. Significant Theoretical Value: Fills a gap in unique continuation theory for hyperbolic Schrödinger equations
  2. Technical Innovation: Skillfully handles technical difficulties arising from hyperbolic operators
  3. Rigorous Proofs: Provides complete rigorous justification for formal Carleman estimates
  4. Broad Applicability: Results apply to physical models including water waves and plasma waves

Weaknesses

  1. Restrictive Conditions: Compared to the elliptic case, conditions on potentials and decay parameters are more stringent
  2. Technical Complexity: Proof is complex with room for improved readability
  3. Optimality: Does not achieve theoretically optimal decay conditions

Impact

  1. Academic Value: Makes important contributions to hyperbolic PDE theory
  2. Technical Advancement: Developed Carleman estimate techniques may apply to other hyperbolic problems
  3. Physical Applications: Provides theoretical foundations for related physical models

Applicable Scenarios

  1. Envelope wave models in water wave dynamics
  2. Electromagnetic field evolution in nonlinear optics
  3. Wave propagation phenomena in plasma physics
  4. More general hyperbolic Schrödinger systems

References

This paper is primarily based on the following important works:

  1. Escauriaza, L., Kenig, C. E., Ponce, G., and Vega, L. "Hardy's uncertainty principle, convexity and Schrödinger evolutions." JEMS 10 (2008), 883–907.
  2. Barceló, J. A., Cassano, B., and Fanelli, L. "Unique continuation properties from one time for hyperbolic Schrödinger equations." SIAM J. Math. Anal. 56 (2024), 7417–7438.

Overall Assessment: This is a high-quality mathematical analysis paper that successfully extends the classical Hardy uncertainty principle to hyperbolic Schrödinger equations. While technical conditions are more restrictive than in the elliptic case, the paper makes important theoretical and technical innovations, contributing valuable results to hyperbolic PDE theory.