Théophile Chaumont-Frelet,Andrea Moiola,Euan A. Spence
Abstract:We consider the time-harmonic Maxwell equations posed in $\mathbb{R}^3$. We prove a priori bounds on the solution for $L^\infty$ coefficients $\epsilon$ and $\mu$ satisfying certain monotonicity properties, with these bounds valid for arbitrarily-large frequency, and explicit in the frequency and properties of $\epsilon$ and $\mu$. The class of coefficients covered includes (i) certain $\epsilon$ and $\mu$ for which well-posedness of the time-harmonic Maxwell equations had not previously been proved, and (ii) scattering by a penetrable $C^0$ star-shaped obstacle where $\epsilon$ and $\mu$ are smaller inside the obstacle than outside. In this latter setting, the bounds are uniform across all such obstacles, and the first sharp frequency-explicit bounds for this problem at high-frequency.
What problem does this paper attempt to address?
This paper aims to solve the explicit boundary problem of the time - harmonic Maxwell equations in inhomogeneous media. Specifically, the paper focuses on proving a priori bounds for solutions in three - dimensional space for \(L^\infty\) coefficients \(\epsilon\) and \(\mu\) that satisfy certain monotonic properties, in the case of arbitrarily large frequencies. These bounds depend explicitly not only on the frequency but also on the properties of the coefficients \(\epsilon\) and \(\mu\).
### Main Contributions
1. **Explicit Bounds**:
- The paper provides explicit bounds for solutions of the time - harmonic Maxwell equations at high frequencies, which are explicit in terms of the frequency and the properties of the coefficients \(\epsilon\) and \(\mu\).
- These bounds are applicable to two types of coefficients: one is the coefficients for which the well - posedness of the time - harmonic Maxwell equations has not been proven before; the other is the scattering problem of penetrable \(C^0\) star - shaped obstacles, where \(\epsilon\) and \(\mu\) are smaller inside the obstacle than outside.
2. **Well - Posedness Results**:
- For certain specific coefficient configurations, the paper proves for the first time the existence and uniqueness of solutions to the time - harmonic Maxwell equations, especially for cases where the sub - domain boundaries can be concentrated on a bounded surface.
3. **Uniformity**:
- For the scattering problem of penetrable \(C^0\) obstacles, the bounds provided by the paper are uniform over all such obstacles, and this property has important applications in uncertainty quantification theory.
4. **Applications**:
- The results of the paper can be used for frequency - explicit analysis in uncertainty quantification and for scattering problems at high frequencies.
- These bounds can also be used to analyze domain decomposition methods for the Maxwell equations, especially when using impedance boundary conditions.
### Key Techniques
- **Morawetz - type Identities**:
- The paper uses Morawetz - type identities to handle the contributions on the boundary, especially using the Silver - Müller radiation condition at infinity.
- By choosing appropriate test functions and methods of integrating parts, the paper proves the required bounds.
### Mathematical Representations
- **Main Theorems**:
- Theorems 1.1 and 1.2 respectively give explicit bounds for solutions under different conditions. For example, the bound in Theorem 1.1 is:
\[
\gamma_\epsilon \|E\|^2_{L^2(B_R; \epsilon)} + \gamma_\mu \|H\|^2_{L^2(B_R; \mu)} \leq 2 \max \left\{ \frac{8R^2 (\epsilon_{\max} \mu_{\max})}{\gamma_\mu} + \frac{\epsilon_0 \mu_0}{\gamma_\epsilon}, \frac{\gamma_\epsilon}{\omega^2} \right\} \|J\|^2_{L^2(B_R; \epsilon^{-1})}
+ 2 \max \left\{ \frac{8R^2 (\epsilon_{\max} \mu_{\max})}{\gamma_\epsilon} + \frac{\epsilon_0 \mu_0}{\gamma_\mu}, \frac{\gamma_\mu}{\omega^2} \right\} \|K\|^2_{L^2(B_R; \mu^{-1})}
\]
- **Morawetz - type Identities**:
- A key identity is:
\[
2 \Re \left\{ (\nabla \times E - i\omega \mu H) \cdot (\epsilon E \times x + \beta H) + (\nabla \times H + i\omega \