[Paper Review] Uniform subellipticity

Tom Ter Elst, Derek W. Robinson|arXiv (Cornell University)|Dec 22, 2006

Advanced Mathematical Physics Problems4 citations

TL;DR

This paper establishes uniform subellipticity for positive symmetric second-order differential operators on L²(Rᵈ), proving that under smoothness conditions on coefficients (e.g., in W^{m+1,∞} or Cᵇ∞), the domain of the α-th power of the self-adjoint operator H is continuously embedded in the Sobolev space D(Δ^{αγ}), with a uniform norm estimate involving Δ^{αγ}ϕ. The result extends to all α ≥ 0 when coefficients are smooth and bounded.

ABSTRACT

We establish two global subellipticity properties of positive symmetric second-order partial differential operators on L2(R d). First, if m ∈ N then we consider operators H0 with coefficients in W m+1, ∞ (R d) and domain D(H0) = W ∞,2 (R d) satisfying the subellipticity property c (ϕ, (I + H0)ϕ) ≥ ‖ ∆ γ/2 ϕ ‖ 2 2 for some c> 0 and γ ∈ 〈0, 1], uniformly for all ϕ ∈ W ∞,2 (R d), where ∆ denotes the usual Laplacian. Then we prove that D(H α) ⊆ D( ∆ αγ) for all α ∈ [0, 2 −1 (m + 1 + γ −1)〉. Hence there is a c> 0 such that the norm estimate c ‖(I + H) α ϕ‖2 ≥ ‖ ∆ αγ ϕ‖2 is valid for all ϕ ∈ D(H α) where H denotes the self-adjoint closure of H0. In particular, if the coefficients of H0 are in C ∞ b (Rd) then the conclusion is valid for all α ≥ 0. Secondly, we prove that if

Motivation & Objective

• To establish global subellipticity properties for positive symmetric second-order differential operators on L²(Rᵈ).
• To determine the precise domain inclusion D(H^α) ⊆ D(Δ^{αγ}) under regularity assumptions on coefficients.
• To derive uniform norm estimates of the form c‖(I + H)^αϕ‖₂ ≥ ‖Δ^{αγ}ϕ‖₂ for all α in a specified range.
• To extend the result to all α ≥ 0 when coefficients are in Cᵇ∞(Rᵈ).

Proposed method

• Consider operators H₀ with coefficients in W^{m+1,∞}(Rᵈ) and domain D(H₀) = W^{∞,2}(Rᵈ).
• Use the subellipticity condition c(ϕ, (I + H₀)ϕ) ≥ ‖Δ^{γ/2}ϕ‖₂² for some c > 0 and γ ∈ (0,1], uniformly over ϕ ∈ W^{∞,2}(Rᵈ).
• Apply functional calculus and self-adjoint extension theory to define the self-adjoint closure H of H₀.
• Establish domain inclusions via interpolation and Sobolev space embeddings, leveraging the γ-subellipticity condition.
• Derive norm estimates by comparing (I + H)^αϕ with Δ^{αγ}ϕ in L²-norm.
• Extend results to Cᵇ∞(Rᵈ) coefficients by taking limits and uniform bounds in the m → ∞ regime.

Experimental results

Research questions

• RQ1 Under what conditions on the coefficients of a second-order differential operator H₀ is the domain of H^α continuously embedded in D(Δ^{αγ})?
• RQ2 How does the regularity of coefficients (e.g., in W^{m+1,∞} or Cᵇ∞) affect the range of α for which the norm estimate c‖(I + H)^αϕ‖₂ ≥ ‖Δ^{αγ}ϕ‖₂ holds?
• RQ3 What is the optimal exponent range for α such that the subellipticity condition γ ∈ (0,1] implies uniform control over Δ^{αγ}ϕ?
• RQ4 Can the domain inclusion and norm estimate be extended to all α ≥ 0 when coefficients are smooth and bounded?
• RQ5 How does the uniform subellipticity constant c depend on the operator's coefficients and the parameter γ?

Key findings

• For H₀ with coefficients in W^{m+1,∞}(Rᵈ), the domain inclusion D(H^α) ⊆ D(Δ^{αγ}) holds for all α ∈ [0, ½(m + 1 + γ⁻¹)).
• There exists a constant c > 0 such that c‖(I + H)^αϕ‖₂ ≥ ‖Δ^{αγ}ϕ‖₂ for all ϕ ∈ D(H^α) and all such α.
• When coefficients are in Cᵇ∞(Rᵈ), the domain inclusion and norm estimate extend to all α ≥ 0.
• The subellipticity condition c(ϕ, (I + H₀)ϕ) ≥ ‖Δ^{γ/2}ϕ‖₂² with γ ∈ (0,1] is sufficient to ensure uniform control over higher-order Sobolev norms.
• The result provides a sharp dependence of the exponent range on the smoothness of coefficients and the subellipticity parameter γ.
• The proof relies on interpolation theory and functional calculus, establishing a bridge between subellipticity and Sobolev regularity of solutions.