Showing 1–25 of 25 results for author: Araújo, D

Interacting free boundaries in obstacle problems

Authors: Damião J. Araújo, Rafayel Teymurazyan

Abstract: We study obstacle problems governed by two distinct types of diffusion operators involving interacting free boundaries. We obtain a somewhat surprising coupling property, leading to a comprehensive analysis of the free boundary. More precisely, we show that near regular points of a coordinate function, the free boundary is analytic, whereas singular points lie on a smooth manifold. Additionally, w… ▽ More We study obstacle problems governed by two distinct types of diffusion operators involving interacting free boundaries. We obtain a somewhat surprising coupling property, leading to a comprehensive analysis of the free boundary. More precisely, we show that near regular points of a coordinate function, the free boundary is analytic, whereas singular points lie on a smooth manifold. Additionally, we prove that uncoupled free boundary points are singular, indicating that regular points lie exclusively on the coupled free boundary. Furthermore, optimal regularity, non-degeneracy, and lower dimensional Hausdorff measure estimates are obtained. Explicit examples illustrate the sharpness of assumptions. △ Less

Submitted 5 February, 2025; v1 submitted 8 January, 2025; originally announced January 2025.

Comments: 19

MSC Class: 35J47; 35R35; 60J60

Fully nonlinear free boundary problems: optimal boundary regularity beyond convexity

Authors: Damião J. Araújo, Andreas Minne, Edgard A. Pimentel

Abstract: We study a general class of elliptic free boundary problems equipped with a Dirichlet boundary condition. Our primary result establishes an optimal $C^{1,1}$-regularity estimate for $L^p$-strong solutions at points where the free and fixed boundaries intersect. A key novelty is that no convexity or concavity assumptions are imposed on the fully nonlinear operator governing the system. Our analysis… ▽ More We study a general class of elliptic free boundary problems equipped with a Dirichlet boundary condition. Our primary result establishes an optimal $C^{1,1}$-regularity estimate for $L^p$-strong solutions at points where the free and fixed boundaries intersect. A key novelty is that no convexity or concavity assumptions are imposed on the fully nonlinear operator governing the system. Our analysis derives BMO estimates in a universal neighbourhood of the fixed boundary. It relies solely on a differentiability assumption. Once those estimates are available, applying by now standard methods yields the optimal regularity. △ Less

Submitted 22 December, 2024; originally announced December 2024.

MSC Class: 35R35; 35B65; 35D40

Oscillatory free boundary problems in stochastic materials

Authors: Damião J. Araújo, Ginaldo S. Sá, Eduardo V. Teixeira, José Miguel Urbano

Abstract: We investigate a class of free boundary problems with oscillatory singularities within stochastic materials. Our main result yields sharp regularity estimates along the free boundary, provided the power of the singularity varies in a Dini-continuous fashion below a certain threshold. We also reveal an interesting repelling estimate preventing the free boundary from touching the region where the si… ▽ More We investigate a class of free boundary problems with oscillatory singularities within stochastic materials. Our main result yields sharp regularity estimates along the free boundary, provided the power of the singularity varies in a Dini-continuous fashion below a certain threshold. We also reveal an interesting repelling estimate preventing the free boundary from touching the region where the singularity power oscillates above the threshold. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Geometric properties of free boundaries in degenerate quenching problems

Authors: Damião J. Araújo, Rafayel Teymurazyan, José Miguel Urbano

Abstract: We investigate minimizers of non-differentiable functionals epitomizing the degenerate quenching problem. The main result establishes the finiteness of the $(n-1)-$dimensional Hausdorff measure of the free boundary. Our approach hinges on optimal gradient decay estimates, derived via an intrinsic Harnack-type inequality, combined with a fine analysis in a flatness regime, where minimizers exhibit… ▽ More We investigate minimizers of non-differentiable functionals epitomizing the degenerate quenching problem. The main result establishes the finiteness of the $(n-1)-$dimensional Hausdorff measure of the free boundary. Our approach hinges on optimal gradient decay estimates, derived via an intrinsic Harnack-type inequality, combined with a fine analysis in a flatness regime, where minimizers exhibit enhanced regularity. While the results are formulated for the degenerate setting, they also provide insights applicable to the singular case. Additionally, the findings offer an alternative proof of classical results by Phillips, further demonstrating their robustness and potential for broader applicability in the analysis of free boundary problems. △ Less

Submitted 15 April, 2025; v1 submitted 18 February, 2024; originally announced February 2024.

Comments: 25 pages

On free boundary problems shaped by oscillatory singularities

Authors: Damião Araújo, Aelson Sobral, Eduardo V. Teixeira, José Miguel Urbano

Abstract: We start the investigation of free boundary variational models featuring oscillatory singularities. The theory varies widely depending upon the nature of the singular power $γ(x)$ and how it oscillates. Under a mild continuity assumption on $γ(x)$, we prove the optimal regularity of minimizers. Such estimates vary point-by-point, leading to a continuum of free boundary geometries. We also conduct… ▽ More We start the investigation of free boundary variational models featuring oscillatory singularities. The theory varies widely depending upon the nature of the singular power $γ(x)$ and how it oscillates. Under a mild continuity assumption on $γ(x)$, we prove the optimal regularity of minimizers. Such estimates vary point-by-point, leading to a continuum of free boundary geometries. We also conduct an extensive analysis of the free boundary shaped by the singularities. Utilizing a new monotonicity formula, we show that if the singular power $γ(x)$ varies in a $W^{1,n^{+}}$ fashion, then the free boundary is locally a $C^{1,δ}$ surface, up to a negligible singular set of Hausdorff co-dimension at least $2$. △ Less

Submitted 15 January, 2024; originally announced January 2024.

MSC Class: 35R35 (Primary); 35J75 (Secondary)

Regularity in diffusion models with gradient activation

Authors: Damião Araújo, Aelson Sobral, Eduardo V. Teixeira

Abstract: We prove sharp regularity estimates for solutions of highly degenerate fully nonlinear elliptic equations. These are free boundary models in which a nonlinear diffusion process drives the system only in the region where the gradient surpasses a given threshold. Our main result concerns the existence of a universal modulus of continuity for $Du$, up to the free boundary. Gradient bounds for the… ▽ More We prove sharp regularity estimates for solutions of highly degenerate fully nonlinear elliptic equations. These are free boundary models in which a nonlinear diffusion process drives the system only in the region where the gradient surpasses a given threshold. Our main result concerns the existence of a universal modulus of continuity for $Du$, up to the free boundary. Gradient bounds for the $L^\infty$ norm are proven to be uniform with respect to the degree of degeneracy. Several new ingredients are needed and among the tools introduced in this paper is an improvement of regularity lemma designed to measure the oscillation decay concerning the gradient level-set distance. Applications of the methods are discussed at the end of the paper. △ Less

Submitted 15 January, 2024; originally announced January 2024.

MSC Class: 35B65; 35J60

On splitting complete manifolds via infinity harmonic functions

Authors: Damião J. Araújo, Marco Magliaro, Luciano Mari, Leandro F. Pessoa

Abstract: In this paper, we prove some splitting results for manifolds supporting a non-constant infinity harmonic function which has at most linear growth on one side. Manifolds with non-negative Ricci or sectional curvature are considered. In dimension 2, we extend Savin's theorem on Lipschitz infinity harmonic functions in the plane to every surface with non-negative sectional curvature. In this paper, we prove some splitting results for manifolds supporting a non-constant infinity harmonic function which has at most linear growth on one side. Manifolds with non-negative Ricci or sectional curvature are considered. In dimension 2, we extend Savin's theorem on Lipschitz infinity harmonic functions in the plane to every surface with non-negative sectional curvature. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: Comments and suggestions are welcome

Journal ref: Int. Math. Res. Notices IMRN (2024), no. 18, 12620-12644

On fractional quasilinear equations with elliptic degeneracy

Authors: Damião J. Araújo, Disson dos Prazeres, Erwin Topp

Abstract: In this work, we present a systematic approach to investigate the existence, multiplicity, and local gradient regularity of solutions for nonlocal quasilinear equations with local gradient degeneracy. Our method involves an interactive geometric argument that interplays with uniqueness property for the corresponding homogeneous problem, leading with gradient Hölder regularity estimates. This appro… ▽ More In this work, we present a systematic approach to investigate the existence, multiplicity, and local gradient regularity of solutions for nonlocal quasilinear equations with local gradient degeneracy. Our method involves an interactive geometric argument that interplays with uniqueness property for the corresponding homogeneous problem, leading with gradient Hölder regularity estimates. This approach is intrinsically developed for nonlocal scenarios, where uniqueness holds for the local homogeneous problem. We illustrate our results by showing classes of exterior data that exhibit multiple solutions, while also highlighting relevant cases where uniqueness is confirmed. △ Less

Submitted 25 July, 2023; v1 submitted 27 June, 2023; originally announced June 2023.

Sharp regularity for a singular fully nonlinear parabolic free boundary problem

Authors: Damião J. Araújo, Ginaldo S. Sá, José Miguel Urbano

Abstract: This paper establishes sharp local regularity estimates for viscosity solutions of fully nonlinear parabolic free boundary problems with singular absorption terms. The main difficulties are due to the blow-up of the source along the free boundary and the lack of a variational structure. The proof combines the power of the Ishii-Lions method with intrinsically parabolic oscillation estimates. The r… ▽ More This paper establishes sharp local regularity estimates for viscosity solutions of fully nonlinear parabolic free boundary problems with singular absorption terms. The main difficulties are due to the blow-up of the source along the free boundary and the lack of a variational structure. The proof combines the power of the Ishii-Lions method with intrinsically parabolic oscillation estimates. The results are new, even for second-order linear operators in nondivergence form. △ Less

Submitted 25 March, 2023; originally announced March 2023.

MSC Class: 35B65; 35K67; 35D40; 35R35

Sharp regularity for singular obstacle problems

Authors: Damião J. Araújo, Rafayel Teymurazyan, Vardan Voskanyan

Abstract: We obtain sharp local $C^{1,α}$ regularity of solutions for singular obstacle problems, Euler-Lagrange equation of which is given by $$ Δ_p u=γ(u-\varphi)^{γ-1}\,\text{ in }\,\{u>\varphi\}, $$ for $0<γ<1$ and $p\ge2$. At the free boundary $\partial\{u>\varphi\}$, we prove optimal $C^{1,τ}$ regularity of solutions, with $τ$ given explicitly in terms of $p$, $γ$ and smoothness of $\varphi$,… ▽ More We obtain sharp local $C^{1,α}$ regularity of solutions for singular obstacle problems, Euler-Lagrange equation of which is given by $$ Δ_p u=γ(u-\varphi)^{γ-1}\,\text{ in }\,\{u>\varphi\}, $$ for $0<γ<1$ and $p\ge2$. At the free boundary $\partial\{u>\varphi\}$, we prove optimal $C^{1,τ}$ regularity of solutions, with $τ$ given explicitly in terms of $p$, $γ$ and smoothness of $\varphi$, which is new even in the linear setting. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: 29 pages, 2 figures

MSC Class: 35B65; 35J60; 35J75; 35B33; 49Q20; 49Q05

A two-phase rank-based algorithm for low-rank matrix completion

Authors: Tacildo de Souza Araújo, Douglas S. Gonçalves, Cristiano Torezzan

Abstract: Matrix completion aims to recover an unknown low-rank matrix from a small subset of its entries. In many applications, the rank of the unknown target matrix is known in advance. In this paper, first we revisit a recently proposed rank-based heuristic for "known-rank" matrix completion and establish a condition under which the generated sequence is quasi-Fejér convergent to the solution set. Then,… ▽ More Matrix completion aims to recover an unknown low-rank matrix from a small subset of its entries. In many applications, the rank of the unknown target matrix is known in advance. In this paper, first we revisit a recently proposed rank-based heuristic for "known-rank" matrix completion and establish a condition under which the generated sequence is quasi-Fejér convergent to the solution set. Then, by including an acceleration mechanism similar to Nesterov's acceleration, we obtain a new heuristic. Even though the convergence of such heuristic cannot be granted in general, it turns out that it can be very useful as a warm-start phase, providing a suitable estimate for the regularization parameter and a good starting-point, to an accelerated Soft-Impute algorithm. Numerical experiments with both synthetic and real data show that the resulting two-phase rank-based algorithm can recover low-rank matrices, with relatively high precision, faster than other well-established matrix completion algorithms. △ Less

Submitted 11 April, 2022; v1 submitted 18 February, 2022; originally announced February 2022.

An optimal Liouville theorem for the porous medium equation

Authors: Damião J. Araújo, Rafayel Teymurazyan

Abstract: Under a sharp asymptotic growth condition at infinity, we prove a Liouville type theorem for the inhomogeneous porous medium equation, provided it stays universally close to the heat equation. Additionally, for the homogeneous equation, we show that for the conclusion to hold, it is enough to assume the sharp asymptotic growth at infinity only in the space variable. The results are optimal, meanin… ▽ More Under a sharp asymptotic growth condition at infinity, we prove a Liouville type theorem for the inhomogeneous porous medium equation, provided it stays universally close to the heat equation. Additionally, for the homogeneous equation, we show that for the conclusion to hold, it is enough to assume the sharp asymptotic growth at infinity only in the space variable. The results are optimal, meaning that the growth condition at infinity cannot be weakened. △ Less

Submitted 6 January, 2022; originally announced January 2022.

Comments: 7 pages

MSC Class: 35B53; 35K55; 35K65; 76S05

Sharp boundary and global regularity for degenerate fully nonlinear elliptic equations

Authors: Damião Araújo, Boyan Sirakov

Abstract: We obtain optimal boundary and global regularity estimates for viscosity solutions of fully nonlinear elliptic equations whose ellipticity degenerates at the critical points of a given solution. We show that any solution is $C^{1,α}$ on the boundary of the domain, for an optimal and explicit $α$ given only in terms of the regularity of the boundary datum and the elliptic degeneracy degree, no matt… ▽ More We obtain optimal boundary and global regularity estimates for viscosity solutions of fully nonlinear elliptic equations whose ellipticity degenerates at the critical points of a given solution. We show that any solution is $C^{1,α}$ on the boundary of the domain, for an optimal and explicit $α$ given only in terms of the regularity of the boundary datum and the elliptic degeneracy degree, no matter how possibly low is the interior regularity for that class of equations. We also obtain sharp global estimates. Our findings are new even for model equations, involving only a degenerate Laplacian; all previous results of global nature give $C^{1,α}$ regularity only for some small $α>0$. △ Less

Submitted 19 August, 2021; v1 submitted 2 August, 2021; originally announced August 2021.

Comments: 19 pages

Infinity Laplacian equations with singular absorptions

Authors: Damião J. Araújo, Ginaldo de Santana Sá

Abstract: In this work, we study regularity properties for nonvariational singular elliptic equations ruled by the infinity Laplacian. We obtain optimal $C^{1,α}$ regularity along the free boundary. We also show existence of solutions, nondegeneracy properties and fine geometric estimates for the free boundary. In this work, we study regularity properties for nonvariational singular elliptic equations ruled by the infinity Laplacian. We obtain optimal $C^{1,α}$ regularity along the free boundary. We also show existence of solutions, nondegeneracy properties and fine geometric estimates for the free boundary. △ Less

Submitted 17 May, 2022; v1 submitted 14 January, 2021; originally announced January 2021.

MSC Class: 35B65; 35J70; 35J75; 35D40; 35R35

Journal ref: Calc. Var. 61, 132 (2022)

Fully nonlinear dead-core systems

Authors: Damião J. Araújo, Rafayel Teymurazyan

Abstract: We study fully nonlinear dead-core systems coupled with strong absorption terms. We discover a chain reaction, exploiting properties of an equation along the system and obtain higher sharp regularity across the free boundary. Additionally, we prove geometric measure estimates and obtain coincidence of the free boundaries. We also derive Liouville type theorems for entire solutions. These results a… ▽ More We study fully nonlinear dead-core systems coupled with strong absorption terms. We discover a chain reaction, exploiting properties of an equation along the system and obtain higher sharp regularity across the free boundary. Additionally, we prove geometric measure estimates and obtain coincidence of the free boundaries. We also derive Liouville type theorems for entire solutions. These results are new even for linear systems. △ Less

Submitted 17 July, 2024; v1 submitted 18 August, 2020; originally announced August 2020.

Comments: 20 pages, 2 figures

MSC Class: 35J57; 35J47; 35J67; 35B53; 35J60; 35B65

Sharp regularity for the inhomogeneous porous medium equation

Authors: Damião J. Araújo, Anderson F. Maia, José Miguel Urbano

Abstract: We show that locally bounded solutions of the inhomogeneous porous medium equation $$u_{t} - {\rm div} \left( m |u|^{m-1} \nabla u \right) = f \in L^{q,r}, \quad m >1 ,$$ are locally Hölder continuous, with exponent $$γ=\min \left\{ \frac{α_{0}^-}{m}, \frac{[(2q - n)r -2q]}{q[(mr - (m-1)]} \right\},$$ where $α_{0}$ denotes the optimal Hölder exponent for solutions of the homogeneous case. The proo… ▽ More We show that locally bounded solutions of the inhomogeneous porous medium equation $$u_{t} - {\rm div} \left( m |u|^{m-1} \nabla u \right) = f \in L^{q,r}, \quad m >1 ,$$ are locally Hölder continuous, with exponent $$γ=\min \left\{ \frac{α_{0}^-}{m}, \frac{[(2q - n)r -2q]}{q[(mr - (m-1)]} \right\},$$ where $α_{0}$ denotes the optimal Hölder exponent for solutions of the homogeneous case. The proof relies on an approximation lemma and geometric iteration in the appropriate intrinsic scaling. △ Less

Submitted 6 June, 2020; originally announced June 2020.

Comments: 8 pages, LaTeX;

MSC Class: Primary 35B65. Secondary 35K65; 76S05

Journal ref: Journal d'Analyse Mathématique volume 140, pages 395-407 (2020)

Detecting the completeness of a Finsler manifold via potential theory for its infinity Laplacian

Authors: Damião J. Araújo, Luciano Mari, Leandro F. Pessoa

Abstract: In this paper, we study some potential theoretic aspects of the eikonal and infinity Laplace operator on a Finsler manifold $M$. Our main result shows that the forward completeness of $M$ can be detected in terms of Liouville properties and maximum principles at infinity for subsolutions of suitable inequalities, including $Δ^N_\infty u \ge g(u)$. Also, an $\infty$-capacity criterion and a viscosi… ▽ More In this paper, we study some potential theoretic aspects of the eikonal and infinity Laplace operator on a Finsler manifold $M$. Our main result shows that the forward completeness of $M$ can be detected in terms of Liouville properties and maximum principles at infinity for subsolutions of suitable inequalities, including $Δ^N_\infty u \ge g(u)$. Also, an $\infty$-capacity criterion and a viscosity version of Ekeland principle are proved to be equivalent to the forward completeness of $M$. Part of the proof hinges on a new boundary-to-interior Lipschitz estimate for solutions of $Δ^N_\infty u = g(u)$ on relatively compact sets, that implies a uniform Lipschitz estimate for certain entire, bounded solutions without requiring the completeness of $M$. △ Less

Submitted 9 May, 2020; originally announced May 2020.

Journal ref: J. Diff. Equations 281 (2021), 550-587

Higher regularity estimates for the porous medium equation near the Heat equation

Authors: Damião J. Araújo

Abstract: In this paper we investigate regularity aspects for solutions of the nonlinear parabolic equation $$ u_t= Δu^m, \quad m > 1 $$ usually called the porous medium equation. More precisely, we provide sharp regularity estimates for bounded nonnegative weak solutions along the free boundary $\partial\{u>0\}$, when the equation is universally close to the heat equation. As a consequence, local Lipschitz… ▽ More In this paper we investigate regularity aspects for solutions of the nonlinear parabolic equation $$ u_t= Δu^m, \quad m > 1 $$ usually called the porous medium equation. More precisely, we provide sharp regularity estimates for bounded nonnegative weak solutions along the free boundary $\partial\{u>0\}$, when the equation is universally close to the heat equation. As a consequence, local Lipschitz estimates are also established for this scenario. △ Less

Submitted 2 January, 2020; originally announced January 2020.

Comments: Rev. Mat. Iberoam., to appear

MSC Class: 35B65 (Primary) 35K65; 76S05 (Secondary)

A mean-field limit for certain deep neural networks

Authors: Dyego Araújo, Roberto I. Oliveira, Daniel Yukimura

Abstract: Understanding deep neural networks (DNNs) is a key challenge in the theory of machine learning, with potential applications to the many fields where DNNs have been successfully used. This article presents a scaling limit for a DNN being trained by stochastic gradient descent. Our networks have a fixed (but arbitrary) number $L\geq 2$ of inner layers; $N\gg 1$ neurons per layer; full connections be… ▽ More Understanding deep neural networks (DNNs) is a key challenge in the theory of machine learning, with potential applications to the many fields where DNNs have been successfully used. This article presents a scaling limit for a DNN being trained by stochastic gradient descent. Our networks have a fixed (but arbitrary) number $L\geq 2$ of inner layers; $N\gg 1$ neurons per layer; full connections between layers; and fixed weights (or "random features" that are not trained) near the input and output. Our results describe the evolution of the DNN during training in the limit when $N\to +\infty$, which we relate to a mean field model of McKean-Vlasov type. Specifically, we show that network weights are approximated by certain "ideal particles" whose distribution and dependencies are described by the mean-field model. A key part of the proof is to show existence and uniqueness for our McKean-Vlasov problem, which does not seem to be amenable to existing theory. Our paper extends previous work on the $L=1$ case by Mei, Montanari and Nguyen; Rotskoff and Vanden-Eijnden; and Sirignano and Spiliopoulos. We also complement recent independent work on $L>1$ by Sirignano and Spiliopoulos (who consider a less natural scaling limit) and Nguyen (who nonrigorously derives similar results). △ Less

Submitted 1 June, 2019; originally announced June 2019.

Comments: 79 pages and 2 figures

MSC Class: 60K35; 92B20

A proof of the $C^{p^\prime}$-regularity conjecture in the plane

Authors: Damião J. Araújo, Eduardo V. Teixeira, José Miguel Urbano

Abstract: We establish a new oscillation estimate for solutions of nonlinear partial differential equations of elliptic, degenerate type. This new tool yields a precise control on the growth rate of solutions near their set of critical points, where ellipticity degenerates. As a consequence, we are able to prove the planar counterpart of the longstanding conjecture that solutions of the degenerate $p$-Poiss… ▽ More We establish a new oscillation estimate for solutions of nonlinear partial differential equations of elliptic, degenerate type. This new tool yields a precise control on the growth rate of solutions near their set of critical points, where ellipticity degenerates. As a consequence, we are able to prove the planar counterpart of the longstanding conjecture that solutions of the degenerate $p$-Poisson equation with a bounded source are locally of class $C^{p^\prime}=C^{1,\frac{1}{p-1}}$; this regularity is optimal. △ Less

Submitted 12 January, 2019; originally announced January 2019.

Comments: The proof of Theorem 6 has been slightly amended with respect to the published version; some minor typos were also corrected

MSC Class: Primary 35B65. Secondary 35J60; 35J70

Journal ref: Adv. Math. 316 (2017), 541-553

On a two-phase free boundary problem ruled by the infinity Laplacian

Authors: Damião J. Araújo, Eduardo Teixeira, José Miguel Urbano

Abstract: In this paper we consider a two-phase free boundary problem ruled by the infinity Laplacian. Our main result states that bounded viscosity solutions in $B_1$ are universally Lipschitz continuous in $B_{1/2}$, which is the optimal regularity for the problem. We make a new use of the Ishii-Lions' method, which works as a surrogate for the lack of a monotonicity formula and is bound to be applicable… ▽ More In this paper we consider a two-phase free boundary problem ruled by the infinity Laplacian. Our main result states that bounded viscosity solutions in $B_1$ are universally Lipschitz continuous in $B_{1/2}$, which is the optimal regularity for the problem. We make a new use of the Ishii-Lions' method, which works as a surrogate for the lack of a monotonicity formula and is bound to be applicable in related problems. △ Less

Submitted 6 June, 2020; v1 submitted 11 December, 2018; originally announced December 2018.

Comments: 11 pages, 1 figure, LaTeX;

Infinity Laplacian equation with strong absorptions

Authors: Damião J. Araújo, Raimundo Leitão, Eduardo V. Teixeira

Abstract: We study regularity properties of solutions to reaction-diffusion equations ruled by the infinity laplacian operator. We focus our analysis in models presenting plateaus, i.e. regions where a non-negative solution vanishes identically. We obtain sharp geometric regularity estimates for solutions along the boundary of plateaus sets. In particular we show that the $(n-ε)$-Hausdorff measure of the pl… ▽ More We study regularity properties of solutions to reaction-diffusion equations ruled by the infinity laplacian operator. We focus our analysis in models presenting plateaus, i.e. regions where a non-negative solution vanishes identically. We obtain sharp geometric regularity estimates for solutions along the boundary of plateaus sets. In particular we show that the $(n-ε)$-Hausdorff measure of the plateaus boundary is finite, for a universal number $ε>0$. △ Less

Submitted 5 January, 2016; originally announced January 2016.

Optimal $C^{1,α}$ estimates for a class of elliptic quasilinear equations

Authors: Damiao Araujo, Lei Zhang

Abstract: In this article we establish sharp $C^{1,α}$ estimates for weak solutions of singular and degenerate quasilinear elliptic equation $$-\,div\, a(x, \nabla u) = f,$$ which includes the standard $p$-laplacean equation with varying coefficients as a special case. The sharp exponent $α$ is asymptotically optimal and is determined by the Hölder regularity of the coefficients, the exponent $p$ and the… ▽ More In this article we establish sharp $C^{1,α}$ estimates for weak solutions of singular and degenerate quasilinear elliptic equation $$-\,div\, a(x, \nabla u) = f,$$ which includes the standard $p$-laplacean equation with varying coefficients as a special case. The sharp exponent $α$ is asymptotically optimal and is determined by the Hölder regularity of the coefficients, the exponent $p$ and the $q$-integrability of the source term $f$. △ Less

Submitted 19 December, 2018; v1 submitted 24 July, 2015; originally announced July 2015.

Comments: 18 pages

MSC Class: 35B65; 35J62

Optimal gradient continuity for degenerate elliptic equations

Authors: Damião J. Araújo, Gleydson C. Ricarte, Eduardo V. Teixeira

Abstract: We establish new, optimal gradient continuity estimates for solutions to a class of 2nd order partial differential equations, $\mathscr{L}(X, \nabla u, D^2 u) = f$, whose diffusion properties (ellipticity) degenerate along the \textit{a priori} unknown singular set of an existing solution, $\mathscr{S}(u) := \{X : \nabla u(X) = 0 \}$. The innovative feature of our main result concerns its optimali… ▽ More We establish new, optimal gradient continuity estimates for solutions to a class of 2nd order partial differential equations, $\mathscr{L}(X, \nabla u, D^2 u) = f$, whose diffusion properties (ellipticity) degenerate along the \textit{a priori} unknown singular set of an existing solution, $\mathscr{S}(u) := \{X : \nabla u(X) = 0 \}$. The innovative feature of our main result concerns its optimality -- the sharp, encoded smoothness aftereffects of the operator. Such a quantitative information usually plays a decisive role in the analysis of a number of analytic and geometric problems. Our result is new even for the classical equation $|\nabla u | \cdot Δu = 1$. We further apply these new estimates in the study of some well known problems in the theory of elliptic PDEs. △ Less

Submitted 21 August, 2013; v1 submitted 18 June, 2012; originally announced June 2012.

Comments: Fixed few typos

MSC Class: 35J60; 35J70; 35B45; 35B65

Geometric approach to nonvariational singular elliptic equations

Authors: Damião Araújo, Eduardo V. Teixeira

Abstract: In this work we develop a systematic geometric approach to study fully nonlinear elliptic equations with singular absorption terms as well as their related free boundary problems. The magnitude of the singularity is measured by a negative parameter $(γ-1)$, for $0 < γ< 1$, which reflects on lack of smoothness for an existing solution along the singular interface between its positive and zero phase… ▽ More In this work we develop a systematic geometric approach to study fully nonlinear elliptic equations with singular absorption terms as well as their related free boundary problems. The magnitude of the singularity is measured by a negative parameter $(γ-1)$, for $0 < γ< 1$, which reflects on lack of smoothness for an existing solution along the singular interface between its positive and zero phases. We establish existence as well sharp regularity properties of solutions. We further prove that minimal solutions are non-degenerate and obtain fine geometric-measure properties of the free boundary $\mathfrak{F} = \partial \{u > 0 \}$. In particular we show sharp Hausdorff estimates which imply local finiteness of the perimeter of the region $\{u > 0 \}$ and $\mathcal{H}^{n-1}$ a.e. weak differentiability property of $\mathfrak{F}$. △ Less

Submitted 6 October, 2015; v1 submitted 19 January, 2012; originally announced January 2012.

Comments: Paper from D. Araujo's Ph.D. thesis, distinguished at the 2013 Carlos Gutierrez prize for best thesis, Archive for Rational Mechanics and Analysis 2013

MSC Class: 35R35; 35B65; 35J60

Journal ref: Arc. for Rat. Mech. and Anal., Vol.209, Issue 3, pp 1019-1054, (2013)