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.

A usufel lemma for Lagrange multiplier rules in infinite dimension

Rank Theorem in Infinite Dimension and Lagrange Multipliers

Spaces of λ-multiplier convergent series

Lagrange Multipliers in locally convex spaces

Constraint Qualifications for Optimality Conditions and Total Lagrange Dualities in Convex Infinite Programming

Constraint Qualifications for Extended Farkas'S Lemmas and Lagrangian Dualities in Convex Infinite Programming

A simple proof of existence of Lagrange multipliers

The Perturbation Method and Regularization of the Lagrange Multiplier Rule in Convex Constrained Optimization Problems

On the behavior of Lagrange multipliers in convex and non-convex infeasible interior point methods

Infinite Dimensional Multipliers and Pontryagin Principles for Discrete-Time Problems

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

Optimality conditions and subdifferential calculus for infinite sums of functions

On infinite matrices

An Infinite-Dimensional Linking Theorem and Applications

Some variants of the classical Aubin–Lions Lemma

Avoidance of the Lavrentiev gap for one-dimensional non-autonomous functionals with constraints

On the multiplier rules

Fuzzy multiplier, sum and intersection rules in non-Lipschitzian settings: decoupling approach revisited

Pontryagin Principles in Infinite Horizon in Presence of Asymptotical Constraints

Stability Criteria and Calculus Rules via Conic Contingent Coderivatives in Banach Spaces