Abstract:In this paper, we mainly discuss the local regularity of the solution to the following problem \begin{align*} \begin{cases} -\dive({\bf{A}}(x)\nabla u(x))=f(x),&~x\in\Omega,\\ u(x)=0,&~x\in\partial\Omega, \end{cases} \end{align*} where $\Omega$ is a bounded domain in $\mathbb{R}^{n}$. In particular, we are concerned with the connection between the regularity of the solution $u$ and the integrability of the coefficient matrix ${\bf{A}}(x)$ as well as the nonhomogeneous term $f$. To be more precise, our first result is to prove that the maximum norm of $u$ can be controlled by $\|f\|_{s}$ with $f\in L^s(\Omega),~s>\frac{nq}{2q-n},~q>\frac{n}{2}$. Meanwhile, we construct some counterexamples to illustrate the index $\frac{nq}{2q-n}$ being sharp. Subsequently, we give an improved upper bound for the maximum norm of $u$. Namely, there exists a positive constant $C$ such that $$\|u\|_{\infty}\leq C\|f\|_{\frac{nq}{2q-n}}\left[\log\left(\frac{\|f\|_{s}}{~~~~~\|f\|_{\frac{nq}{2q-n}}}+1\right)+1\right].$$ Specially, the main difference of our approach compared to the arguments of [\ref{CUR}, \ref{XU}] is to construct two classes of truncation functions to remove the assumption of the boundedness of $u$. Finally, based on the previous results and Moser iteration argument, we derive the Harnack inequality of $u$ from which the Hölder continuity of the solution follows. In addition, we also find that the Lebesgue space $L^{\frac{n}{2}}(\Omega)$ to which the inverse of the smallest eigenvalue $\lambda(x) $ of the matrix {\bf{A}}(x) belongs is essentially sharp in order to establish local boundedness and the Hölder continuity of the solution.

Semi-continuité Inférieure D'intégrales Multiples Et D'intégrandes Convergentes

Lower semicontinuity of multiple integrals and convergent integrands

A Theorem on Lower Semicontinuity of Integral Functionals

Absolute Continuity of Vitali–Hahn–Saks Measure Convergence Theorems

On the convergence of double integrals and a generalized version of Fubini’s theorem on successive integration

Convergence Analysis of a Method for Variational Inclusions

Computation of the Lower Semicontinuous Envelope of Integral Functionals and Non-Homogeneous Microstructures

CONVERGENCE CRITERION OF INEXACT METHODS FOR OPERATORS WITH H¨OLDER CONTINUOUS DERIVATIVES

Local Regularity for Minimizers of Integral Functionals

A closure theorem for $Γ$-convergence and H-convergence with applications to non-periodic homogenization

A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory

The dependence of local regularity of solutions on the summability of coefficients and nonhomogenous term

Strong Solutions and Mild Solutions for Sturm-Liouville Differential Inclusions

Liouville results for semilinear integral equations with conical diffusion

Approximations of Laplace Transforms and Integrated Semigroups

Lower semicontinuity and relaxation of nonlocal $L^\infty$-functionals

Convergence and Computation of a Class of Generalized Integrals

On the Lipschitz continuity of the heat kernel

Γ-CONVERGENCE OF INTEGRAL FUNCTIONALS DEPENDING ON VECTOR-VALUED FUNCTIONS OVER PARABOLIC DOMAINS

Existence of Extremal Functions for a Family of Caffarelli-Kohn-Nirenberg Inequalities

Upper semicontinuity for a class of nonlocal evolution equations with Neumann condition