RECORD
Partial Regularity of Solutions to $\bm{p(x)}$-Laplacian PDEs with Discontinuous Coefficients
Analysis of PDEs · Submitted 12 May 2020
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim This implies that the coefficient in the PDE can be highly irregular, and yet in spite of this we still recover that \begin{equation} u\in\mathscr{C}_{\text{loc}}^{0,\alpha}\big(\Omega_0\big),\notag \end{equation} for each $0<\alpha<1$, where $\Omega_0\subseteq\Omega$ is a set of full measure.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
For $\Omega\subseteq\mathbb{R}^{n}$ an open and bounded region we consider solutions $u\in W_{\text{loc}}^{1,p(x)}\big(\Omega;\mathbb{R}^{N}\big)$, with $N>1$, of the $p(x)$-Laplacian system \begin{equation} \nabla\cdot\left(a(x)|Du|^{p(x)-2}Du\right)=0\text{, a.e. }x\in\Omega,\notag \end{equation} where concerning the coefficient function $x\mapsto a(x)$ we assume only that \begin{equation} a\in W^{1,q}(\Omega)\cap L^{\infty}(\Omega),\notag \end{equation} where $q>1$ is essentially arbitrary. This implies that the coefficient in the PDE can be highly irregular, and yet in spite of this we still recover that \begin{equation} u\in\mathscr{C}_{\text{loc}}^{0,\alpha}\big(\Omega_0\big),\notag \end{equation} for each $0<\alpha<1$, where $\Omega_0\subseteq\Omega$ is a set of full measure. Due to the variational methodology that we employ, our results apply to the more general question of the regularity of the integral functional \begin{equation} \int_{\Omega}a(x)|Du|^{p(x)}\ dx.\notag \end{equation}
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | For $\Omega\subseteq\mathbb{R}^{n}$ an open and bounded region we consider solutions $u\in W_{\text{loc}}^{1,p(x)}\big(\Omega;\mathbb{R}^{N}\big)$, with $N>1$, of the $p(x)$-Laplacian system \begin{equation} \nabla\cdot\left(a(x)|Du|^{p(x)-2}Du\right)=0\text{, a.e. }x\in\Omega,\notag \end{equation} where concerning the coefficient function $x\mapsto a(x)$ we assume only that \begin{equation} a\in W^{1,q}(\Omega)\cap L^{\infty}(\Omega),\notag \end{equation} where $q>1$ is essentially arbitrary. | background 0.68 | 0.55 | 0.04 | asserted 0.88 |
| s1 | This implies that the coefficient in the PDE can be highly irregular, and yet in spite of this we still recover that \begin{equation} u\in\mathscr{C}_{\text{loc}}^{0,\alpha}\big(\Omega_0\big),\notag \end{equation} for each $0<\alpha<1$, where $\Omega_0\subseteq\Omega$ is a set of full measure. | result 0.95 | 0.89 | 0.88 | asserted 1.00 |
| s2 | Due to the variational methodology that we employ, our results apply to the more general question of the regularity of the integral functional \begin{equation} \int_{\Omega}a(x)|Du|^{p(x)}\ dx.\notag \end{equation} | interpretation 0.73 | 0.84 | 0.05 | asserted 0.99 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
For $\Omega\subseteq\mathbb{R}^{n}$ an open and bounded region we consider solutions $u\in W_{\text{loc}}^{1,p(x)}\big(\Omega;\mathbb{R}^{N}\big)$, with $N>1$, of the $p(x)$-Laplacian system \begin{equation} \nabla\cdot\left(a(x)|Du|^{p(x)-2}Du\right)=0\text{, a.e. }x\in\Omega,\notag \end{equation} where concerning the coefficient function $x\mapsto a(x)$ we assume only that \begin{equation} a\in W^{1,q}(\Omega)\cap L^{\infty}(\Omega),\notag \end{equation} where $q>1$ is essentially arbitrary. This implies that the coefficient in the PDE can be highly irregular, and yet in spite of this we still recover that \begin{equation} u\in\mathscr{C}_{\text{loc}}^{0,\alpha}\big(\Omega_0\big),\notag \end{equation} for each $0<\alpha<1$, where $\Omega_0\subseteq\Omega$ is a set of full measure. Due to the variational methodology that we employ, our results apply to the more general question of the regularity of the integral functional \begin{equation} \int_{\Omega}a(x)|Du|^{p(x)}\ dx.\notag \end{equation}
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.