[Paper Review] Observation estimate for the heat equations with Neumann boundary condition via logarithmic convexity

Rémi Buffe, Kim Dang Phung|arXiv (Cornell University)|May 27, 2021

Stability and Controllability of Differential Equations18 references4 citations

TL;DR

This paper establishes a Hölder-type observation estimate for the heat equation with a potential and Neumann boundary conditions using a global parabolic frequency function method based on logarithmic convexity. The key result provides explicit dependence of the observability constant on the potential norm and time, proving unique continuation at a single time via a refined Carleman commutator estimate.

ABSTRACT

We prove an inequality of H\\"older type traducing the unique continuation property at one time for the heat equation with a potential and Neumann boundary condition. The main feature of the proof is to overcome the propagation of smallness by a global approach using a refined parabolic frequency function method. It relies with a Carleman commutator estimate to obtain the logarithmic convexity property of the frequency function.

Motivation & Objective

• To establish an observation inequality at a single time for the heat equation with potential and Neumann boundary conditions.
• To prove the unique continuation property at a single time using a global approach based on logarithmic convexity of a frequency function.
• To derive explicit dependence of the observability constant on the potential norm and time horizon.
• To adapt the parabolic frequency function method to Neumann boundary conditions and the global Carleman estimate framework.

Proposed method

• A new parabolic frequency function is constructed, tailored for the global approach and Neumann boundary conditions.
• The method relies on a refined Carleman commutator estimate to establish logarithmic convexity of the frequency function.
• The proof uses a global integration by parts technique over Ω×(0,T), avoiding local propagation of smallness.
• A family of smooth Morse functions with isolated, nondegenerate critical points is constructed in Ω, with values zero on the boundary and positive in the interior.
• The frequency function is defined using these functions and used to control the L² norm of the solution at time T via its restriction to a subdomain ω.
• The final estimate is derived by balancing exponential weights and choosing a suitable parameter h to optimize the dependence on the potential and time.

Experimental results

Research questions

• RQ1 Can a global approach based on logarithmic convexity yield sharp observation estimates for the heat equation with Neumann boundary conditions?
• RQ2 How does the observability constant depend on the potential norm and time horizon T?
• RQ3 Can the unique continuation property at a single time be quantified without relying on propagation of smallness?
• RQ4 What is the precise dependence of the frequency function on the potential and geometry of the domain?

Key findings

• An observation estimate is established at a single time t ∈ (0,T), showing that the L² norm of the solution on Ω is controlled by its L² norm on a subdomain ω and the initial data.
• The estimate is of Hölder type: ||u(·,T)||_{L²(Ω)} ≤ exp[K(1 + 1/T + T||a||_{L∞} + ||a||_{L∞}^{2/3})] ||u(·,T)||_{L²(ω)}^β ||u(·,0)||_{L²(Ω)}^{1−β} for some β ∈ (0,1).
• The constant K depends only on the domain Ω and the observation subdomain ω, and the estimate implies unique continuation at a single time.
• The proof avoids propagation of smallness by using a global Carleman estimate and a new frequency function with logarithmic convexity.
• The dependence on the potential ||a||_{L∞} is explicitly quantified as ||a||_{L∞} and ||a||_{L∞}^{2/3}, improving on previous results.
• The method yields a quantitative unique continuation estimate with explicit constants, applicable to control theory and stabilization problems.