Table of Contents
Fetching ...

Uniform estimates for elliptic equations with Carathéodory nonlinearities at the interior and on the boundary

Edgar Antonio, Martín P. Árciga-Alejandre, Rosa Pardo, Jorge Sánchez Ortiz

TL;DR

This work addresses explicit uniform $L^{\infty}$ bounds for weak solutions of elliptic problems with simultaneous interior and boundary nonlinearities of slightly subcritical Carathéodory type. The authors combine a De Giorgi–Nash–Moser iterative scheme with elliptic regularity and the Gagliardo–Nirenberg interpolation to derive an explicit bound $h_m(\|u\|_{L^{\infty}(\Omega)}) \le C_{\varepsilon} a_M^{A+\varepsilon} (1+\|u\|_{H^1(\Omega)}^{(2^*_{N/r}-2)(A+\varepsilon)})$ for every $\varepsilon>0$, where $h_m$ merges interior and boundary nonlinearities via $h$ and $h_B$, and $a_M$ encodes data regularity. The result provides a priori control from $H^1$-bounds, enabling Leray–Schauder degree arguments for existence and extending known single-domain results to the coupled interior-boundary setting. The analysis delineates two parameter regimes and yields corollaries that bound solutions in terms of $L^{2^*}$ and $L^{2_*}$ norms, ultimately ensuring uniform $L^{\infty}$ control and compactness in $C(\overline{\Omega})$ for sequences of solutions. Overall, the paper advances the theory of elliptic problems with nonlinear boundary conditions by delivering fully explicit, regime-sensitive a priori estimates.

Abstract

We establish an explicit uniform a priori estimate for weak solutions to slightly subcritical elliptic problems with nonlinearities simultaneously at the interior and on the boundary. Our explicit $L^{\infty}(Ω)$ a priori estimates are in terms of powers of their $H^{1}(Ω)$ norms. To prove our result, we combine a De Giorgi-Nash-Moser's iteration scheme together with elliptic regularity and the Gagliardo-Nirenberg's interpolation inequality.

Uniform estimates for elliptic equations with Carathéodory nonlinearities at the interior and on the boundary

TL;DR

This work addresses explicit uniform bounds for weak solutions of elliptic problems with simultaneous interior and boundary nonlinearities of slightly subcritical Carathéodory type. The authors combine a De Giorgi–Nash–Moser iterative scheme with elliptic regularity and the Gagliardo–Nirenberg interpolation to derive an explicit bound for every , where merges interior and boundary nonlinearities via and , and encodes data regularity. The result provides a priori control from -bounds, enabling Leray–Schauder degree arguments for existence and extending known single-domain results to the coupled interior-boundary setting. The analysis delineates two parameter regimes and yields corollaries that bound solutions in terms of and norms, ultimately ensuring uniform control and compactness in for sequences of solutions. Overall, the paper advances the theory of elliptic problems with nonlinear boundary conditions by delivering fully explicit, regime-sensitive a priori estimates.

Abstract

We establish an explicit uniform a priori estimate for weak solutions to slightly subcritical elliptic problems with nonlinearities simultaneously at the interior and on the boundary. Our explicit a priori estimates are in terms of powers of their norms. To prove our result, we combine a De Giorgi-Nash-Moser's iteration scheme together with elliptic regularity and the Gagliardo-Nirenberg's interpolation inequality.

Paper Structure

This paper contains 5 sections, 6 theorems, 110 equations.

Key Result

Theorem 2.2

Let $f:\Omega \times \mathbb{R}\rightarrow \mathbb{R}$ and $f_{B}=\partial \Omega \times \mathbb{R}\rightarrow \mathbb{R}$ be Carathéodory functions, satisfying f1--f2 and fB1--fB2, respectively. Let $u\in H^{\, 1}(\Omega )$ be an arbitrary weak solution to E0.1. Then, for all $\, \varepsilon >0 where $h_{m}$ is defined by def:hm, $a_{M}$ by def:aM, and

Theorems & Definitions (16)

  • Remark 2.1
  • Theorem 2.2
  • Remark 2.3
  • Remark 2.4
  • proof : Proof of Theorem \ref{['th:CotasLinf']}
  • Remark 3.1
  • Corollary 3.2
  • proof
  • Corollary 3.3
  • proof
  • ...and 6 more