Table of Contents
Fetching ...

A uniqueness theorem for nonvariational solutions of the Helmholtz equation

M. Lanza de Cristoforis

TL;DR

This work advances the theory of the Helmholtz equation in exterior domains by developing a nonvariational framework that accommodates Hölder continuous solutions with potentially infinite Dirichlet energy near the boundary. It introduces a distributional outward normal derivative in this setting and proves a Schauder boundary regularity result for solutions whose Laplacian lies in a negative exponent Schauder space. The paper then establishes uniqueness results for exterior Dirichlet and impedance problems under the Sommerfeld radiation condition, without relying on classical variational energy finiteness. By combining a carefully constructed extension/trace theory with boundary integral–type operators, the results extend classical variational theory to nonvariational regimes relevant for exterior scattering problems.

Abstract

We consider a bounded open subset $Ω$ of ${\mathbb{R}}^n$ of class $C^{1,α}$ for some $α\in]0,1[$, and we define a distributional outward unit normal derivative for $α$-Hölder continuous solutions of the Helmholtz equation in the exterior of $Ω$ that may not have a classical outward unit normal derivative at the boundary points of $Ω$ and that may have an infinite Dirichlet integral around the boundary of $Ω$. Namely for solutions that do not belong to the classical variational setting. Then we show a Schauder boundary regularity result for $α$-Hölder continuous functions that have the Laplace operator in a Schauder space of negative exponent and we prove a uniqueness theorem for $α$-Hölder continuous solutions of the exterior Dirichlet and impedance boundary value problems for the Helmholtz equation that satisfy the Sommerfeld radiation condition at infinity in the above mentioned nonvariational setting.

A uniqueness theorem for nonvariational solutions of the Helmholtz equation

TL;DR

This work advances the theory of the Helmholtz equation in exterior domains by developing a nonvariational framework that accommodates Hölder continuous solutions with potentially infinite Dirichlet energy near the boundary. It introduces a distributional outward normal derivative in this setting and proves a Schauder boundary regularity result for solutions whose Laplacian lies in a negative exponent Schauder space. The paper then establishes uniqueness results for exterior Dirichlet and impedance problems under the Sommerfeld radiation condition, without relying on classical variational energy finiteness. By combining a carefully constructed extension/trace theory with boundary integral–type operators, the results extend classical variational theory to nonvariational regimes relevant for exterior scattering problems.

Abstract

We consider a bounded open subset of of class for some , and we define a distributional outward unit normal derivative for -Hölder continuous solutions of the Helmholtz equation in the exterior of that may not have a classical outward unit normal derivative at the boundary points of and that may have an infinite Dirichlet integral around the boundary of . Namely for solutions that do not belong to the classical variational setting. Then we show a Schauder boundary regularity result for -Hölder continuous functions that have the Laplace operator in a Schauder space of negative exponent and we prove a uniqueness theorem for -Hölder continuous solutions of the exterior Dirichlet and impedance boundary value problems for the Helmholtz equation that satisfy the Sommerfeld radiation condition at infinity in the above mentioned nonvariational setting.

Paper Structure

This paper contains 6 sections, 24 theorems, 125 equations.

Key Result

Proposition 2.3

Let $\alpha\in]0,1]$. Let $\Omega$ be a bounded open Lipschitz subset of ${\mathbb{R}}^{n}$. There exists one and only one linear and continuous extension operator $E^\sharp_\Omega$ from $C^{-1,\alpha}(\overline{\Omega})$ to $\left(C^{1,\alpha}(\overline{\Omega})\right)'$ such that for all $f= f_{0}+\sum_{j=1}^{n}\frac{\partial}{\partial x_{j}}f_{j}\in C^{-1,\alpha}(\overline{\Omega})$. Moreover

Theorems & Definitions (35)

  • Definition 2.1
  • Proposition 2.3
  • Lemma 2.7
  • Definition 2.9
  • Lemma 2.11
  • Lemma 2.14
  • Lemma 2.18
  • Lemma 2.21
  • Definition 2.22
  • Theorem 2.25
  • ...and 25 more