Source author record

Rolando Magnanini

Rolando Magnanini appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

23works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2026arXiv

Critical points of solutions of elliptic equations in divergence form in planar non simply connected domains with smooth or nonsmooth boundary

We study the critical points of the solution of second elliptic equations in divergence and diagonal form with a bounded and positive definite coefficient, under the assumption that the statement of the Hopf lemma holds (sign assumptions on its normal derivatives) along the boundary. The proof combines the argument principle introduced in [1] for elliptic equations with the representation formula (using quasi-conformal mappings) for operators in divergence form in simply connected domains [2]. The case of a degenerate coefficient is also treated where we combine the level lines technique and the maximum principle with the argument principle. Finally, some numerical experiments on illustrative examples are presented. [1] G. Alessandrini and R. Magnanini. The index of isolated critical points and solutions of elliptic equations in the plane. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 19(4):567-589, 1992 [2] G. Alessandrini and R. Magnanini. Elliptic equations in divergence form, geometric critical points of solutions, and Stekloff eigenfunctions. SIAM J. Math. Anal., 25(5):1259-1268, 1994

preprint2021arXiv

Variational $p$-harmonious functions: existence and convergence to $p$-harmonic functions

In a recent paper, the last three authors showed that a game-theoretic $p$-harmonic function $v$ is characterized by an asymptotic mean value property with respect to a kind of mean value $ν_p^r[v](x)$ defined variationally on balls $B_r(x)$. In this paper, in a domain $\Om\subset\RR^N$, $N\ge 2$, we consider the operator $μ_p^\ve$, acting on continuous functions on $\ol{\Om}$, defined by the formula $μ_p^\ve[v](x)=ν^{r_\ve(x)}_p[v](x)$, where $r_\ve(x)=\min[\ve,\dist(x,\Ga)]$ and $\Ga$ denotes the boundary of $Ω$. We first derive various properties of $μ^\ve_p$ such as continuity and monotonicity. Then, we prove the existence and uniqueness of a function $u^\ve\in C(\ol{\Om})$ satisfying the Dirichlet-type problem: $$ u(x)=μ_p^\ve[u](x) \ \mbox{ for every } \ x\in\Om,\quad u=g \ \mbox{ on } \ \Ga, $$ for any given function $g\in C(\Ga)$. This result holds, if we assume the existence of a suitable notion of barrier for all points in $\Ga$. That $u^\ve$ is what we call the \textit{variational} $p$-harmonious function with Dirichlet boundary data $g$, and is obtained by means of a Perron-type method based on a comparison principle. \par We then show that the family $\{ u^\ve\}_{\ve>0}$ gives an approximation scheme for the viscosity solution $u\in C(\ol{\Om})$ of $$ \De_p^G u=0 \ \mbox{ in }\Om, \quad u=g \ \mbox{ on } \ \Ga, $$ where $\De_p^G$ is the so-called game-theoretic (or homogeneous) $p$-Laplace operator. In fact, we prove that $u^\ve$ converges to $u$, uniformly on $\ol{\Om}$ as $\ve\to 0$.

preprint2020arXiv

Small diffusion and short-time asymptotics for Pucci operators

This paper presents asymptotic formulas in the case of the following two problems for the {\it Pucci's extremal operators} $\mathcal{M}^\pm$. It is considered the solution $u^\varepsilon(x)$ of $-\varepsilon^2 \mathcal{M}^\pm\left(\nabla ^2 u^\varepsilon\right)+u^\varepsilon=0$ in $Ω$ such that $u^\varepsilon=1$ on $Γ$. Here, $Ω\subset \mathbb{R}^N$ is a domain (not necessarily bounded) and $Γ$ is its boundary. It is also considered $v(x,t)$ the solution of $v_t - \mathcal{M}^\pm\left(\nabla^2 v\right)=0$ in $Ω\times (0,\infty)$, $v=1$ on $Γ\times(0,\infty)$ and $v=0$ on $Ω\times \{0\}$. In the spirit of their previous works, the authors establish the profiles as $\varepsilon$ or $t\to 0^+$ of the values of $u^\varepsilon(x)$ and $v(x,t)$ as well as of those of their $q$-means on balls touching $Γ$. The results represent a further step in the extensions of those obtained by Varadhan and by Magnanini-Sakaguchi in the linear regime.

preprint2020arXiv

The location of hot spots and other extremal points

In a domain of the Euclidean space, we estimate from below the distance to the boundary of global maximum points of solutions of elliptic and parabolic equations with homogeneous Dirichlet boundary values. As reference cases, we first consider the torsional rigidity function of a bar, the first mode of a vibrating membrane, and the temperature of a heat conductor grounded to zero at the boundary. Our main results are presented for domains with a mean convex boundary and compare that distance to the inradius of the relevant domain. For the torsional rigidity function, the obtained bound only depends on the space dimension. The more general case of a boundary which is not mean convex is also considered. However, the estimates also depend on some geometrical quantities such as the diameter and the radius of the largest exterior osculating ball to the relevant domain, or the minimum of the mean curvature of the boundary. Also in the case of the first mode, the relevant bound only depends on the space dimension. Moreover, it largely improves on an earlier estimate obtained by the first author and co-authors, for convex domains. The bound related to the temperature depends on time and the initial distribution of temperature. Such a bound is substantially consistent with what one obtains in the stationary situation. The methods employed are based on elementary arguments and existing literature, and can be extended to other situations that entail quasilinear equations, isotropic and anisotropic, and also certain classes of semilinear equations.

preprint2019arXiv

Two-phase heat conductors with a surface of the constant flow property

We consider a two-phase heat conductor in $\mathbb R^N$ with $N \geq 2$ consisting of a core and a shell with different constant conductivities. We study the role played by radial symmetry for overdetermined problems of elliptic and parabolic type. First of all, with the aid of the implicit function theorem, we give a counterexample to radial symmetry for some two-phase elliptic overdetermined boundary value problems of Serrin-type. Afterwards, we consider the following setting for a two-phase parabolic overdetermined problem. We suppose that, initially, the conductor has temperature 0 and, at all times, its boundary is kept at temperature 1. A hypersurface in the domain has the constant flow property if at every of its points the heat flux across surface only depends on time. It is shown that the structure of the conductor must be spherical, if either there is a surface of the constant flow property in the shell near the boundary or a connected component of the boundary of the heat conductor is a surface of the constant flow property. Also, by assuming that the medium outside the conductor has a possibly different conductivity, we consider a Cauchy problem in which the conductor has initial inside temperature $0$ and outside temperature $1$. We then show that a quite similar symmetry result holds true.

preprint2016arXiv

A natural approach to the asymptotic mean value property for the $p$-Laplacian

Let $1\le p\le\infty$. We show that a function $u\in C(\mathbb R^N)$ is a viscosity solution to the normalized $p$-Laplace equation $Δ_p^n u(x)=0$ if and only if the asymptotic formula $$ u(x)=μ_p(\ve,u)(x)+o(\ve^2) $$ holds as $\ve\to 0$ in the viscosity sense. Here, $μ_p(\ve,u)(x)$ is the $p$-mean value of $u$ on $B_\ve(x)$ characterized as a unique minimizer of $$ \inf_{\la\in\RR}\nr u-\la\nr_{L^p(B_\ve(x))}. $$ This kind of asymptotic mean value property (AMVP) extends to the case $p=1$ previous (AMVP)'s obtained when $μ_p(\ve,u)(x)$ is replaced by other kinds of mean values. The natural definition of $μ_p(\ve,u)(x)$ makes sure that this is a monotonic and continuous (in the appropriate topology) functional of $u$. These two properties help to establish a fairly general proof of (AMVP), that can also be extended to the (normalized) parabolic $p$-Laplace equation.

preprint2016arXiv

An introduction to the study of critical points of solutions of elliptic and parabolic equations

We give a survey at an introductory level of old and recent results in the study of critical points of solutions of elliptic and parabolic partial differential equations. To keep the presentation simple, we mainly consider four exemplary boundary value problems: the Dirichlet problem for the Laplace's equation; the torsional creep problem; the case of Dirichlet eigenfunctions for the Laplace's equation; the initial-boundary value problem for the heat equation. We shall mostly address three issues: the estimation of the local size of the critical set; the dependence of the number of critical points on the boundary values and the geometry of the domain; the location of critical points in the domain.

preprint2015arXiv

Hölder stability for Serrin's overdetermined problem

In a bounded domain $Ω$, we consider a positive solution of the problem $Δu+f(u)=0$ in $Ω$, $u=0$ on $\partialΩ$, where $f:\mathbb{R}\to\mathbb{R}$ is a locally Lipschitz continuous function. Under sufficient conditions on $Ω$ (for instance, if $Ω$ is convex), we show that $\partialΩ$ is contained in a spherical annulus of radii $r_i<r_e$, where $r_e-r_i\leq C\,[u_ν]_{\partialΩ}^α$ for some constants $C>0$ and $α\in (0,1]$. Here, $[u_ν]_{\partialΩ}$ is the Lipschitz seminorm on $\partialΩ$ of the normal derivative of $u$. This result improves to Hölder stability the logarithmic estimate obtained in [1] for Serrin's overdetermined problem. It also extends to a large class of semilinear equations the Hölder estimate obtained in [6] for the case of torsional rigidity ($f\equiv 1$) by means of integral identities. The proof hinges on ideas contained in [1] and uses Carleson-type estimates and improved Harnack inequalities in cones.

preprint2015arXiv

Stationary isothermic surfaces in Euclidean 3-space

Let $Ω$ be a domain in $\mathbb R^3$ with $\partialΩ= \partial\left(\mathbb R^3\setminus \overlineΩ\right)$, where $\partialΩ$ is unbounded and connected, and let $u$ be the solution of the Cauchy problem for the heat equation $\partial_t u= Δu$ over $\mathbb R^3,$ where the initial data is the characteristic function of the set $Ω^c = \mathbb R^3\setminus Ω$. We show that, if there exists a stationary isothermic surface $Γ$ of $u$ with $Γ\cap \partialΩ= \varnothing$, then both $\partialΩ$ and $Γ$ must be either parallel planes or co-axial circular cylinders . This theorem completes the classification of stationary isothermic surfaces in the case that $Γ\cap\partialΩ=\varnothing$ and $\partialΩ$ is unbounded. To prove this result, we establish a similar theorem for {\it uniformly dense domains } in $\mathbb R^3$, a notion that was introduced by Magnanini, Prajapat \& Sakaguchi in \cite{MPS2006tams}. In the proof, we use methods from the theory of surfaces with constant mean curvature, combined with a careful analysis of certain asymptotic expansions and a surprising connection with the theory of transnormal functions.

preprint2015arXiv

Symmetry and linear stability in Serrin's overdetermined problem via the stability of the parallel surface problem

We consider the solution of the problem $$ -Δu=f(u) \ \mbox{ and } \ u>0 \ \ \mbox{ in } \ Ω, \ \ u=0 \ \mbox{ on } \ Γ, $$ where $Ω$ is a bounded domain in $\mathbb{R}^N$ with boundary $Γ$ of class $C^{2,τ}$, $0<τ<1$, and $f$ is a locally Lipschitz continuous non-linearity. Serrin's celebrated symmetry theorem states that, if the normal derivative $u_ν$ is constant on $Γ$, then $Ω$ must be a ball. In [CMS2], it has been conjectured that Serrin's theorem may be obtained by stability in the following way: first, for a solution $u$ prove the estimate $$ r_e-r_i\le C_δ\,[u]_{Γ^δ} $$ for some constant $C_δ$ depending on $δ>0$, where $r_e$ and $r_i$ are the radii of a spherical annulus containing $Γ$, $Γ^δ$ is a surface parallel to $Γ$ at distance $δ$ and sufficiently close to $Γ$, and $[u]_{Γ^δ}$ is the Lipschitz semi-norm of $u$ on $Γ^δ$; secondly, if in addition $u_ν$ is constant on $Γ$, show that $$ [u]_{Γ^δ}=o(C_δ)\ \mbox{ as } \ δ\to 0^+. $$ In this paper, we prove that this strategy is successful. As a by-product of this method, for $C^{2,τ}$-regular domains, we also obtain a linear stability estimate for Serrin's symmetry result. Our result is optimal and greatly improves the similar logarithmic-type estimate of [ABR] and the Hölder estimate of [CMV] that was restricted to convex domains.

preprint2015arXiv

The Matzoh Ball Soup Problem: a complete characterization

We characterize all the solutions of the heat equation that have their (spatial) equipotential surfaces which do not vary with the time. Such solutions are either isoparametric or split in space-time. The result gives a final answer to a problem raised by M. S. Klamkin, extended by G. Alessandrini, and that was named the Matzoh Ball Soup Problem by L. Zalcman. Similar results can also be drawn for a class of quasi-linear parabolic partial differential equations with coefficients which are homogeneous functions of the gradient variable. This class contains the (isotropic or anisotropic) evolution p-Laplace and normalized p-Laplace equations.

preprint2014arXiv

A note on Serrin's overdetermined problem

We consider the solution of the torsion problem $-Δu=1$ in $Ω$ and $u=0$ on $\partial Ω$. Serrin's celebrated symmetry theorem states that, if the normal derivative $u_ν$ is constant on $\partial Ω$, then $Ω$ must be a ball. In a recent paper, it has been conjectured that Serrin's theorem may be obtained {\it by stability} in the following way: first, for the solution $u$ of the torsion problem prove the estimate $$ r_e-r_i\leq C_t\,\Bigl(\max_{Γ_t} u-\min_{Γ_t} u\Bigr) $$ for some constant $C_t$ depending on $t$, where $r_e$ and $r_i$ are the radii of an annulus containing $\partialΩ$ and $Γ_t$ is a surface parallel to $\partialΩ$ at distance $t$ and sufficiently close to $\partialΩ$; secondly, if in addition $u_ν$ is constant on $\partialΩ$, show that $$ \max_{Γ_t} u-\min_{Γ_t} u=o(C_t)\ \mbox{as} \ t\to 0^+. $$ In this paper, we analyse a simple case study and show that the scheme is successful if the admissible domains $Ω$ are ellipses.

preprint2014arXiv

Littlewood's fourth principle

In Real Analysis, Littlewood's three principles are known as heuristics that help teach the essentials of measure theory and reveal the analogies between the concepts of topological space and continuos function on one side and those of measurable space and measurable function on the other one. They are based on important and rigorous statements, such as Lusin's and Egoroff-Severini's theorems, and have ingenious and elegant proofs. We shall comment on those theorems and show how their proofs can possibly be made simpler by introducing a \textit{fourth principle}. These alternative proofs make even more manifest those analogies and show that Egoroff-Severini's theorem can be considered the natural generalization of the classical Dini's monotone convergence theorem.

preprint2014arXiv

Symmetry of minimizers with a level surface parallel to the boundary

We consider the functional $$I_Ω(v) = \int_Ω[f(|Dv|) - v] dx,$$ where $Ω$ is a bounded domain and $f$ is a convex function. Under general assumptions on $f$, G. Crasta [Cr1] has shown that if $I_Ω$ admits a minimizer in $W_0^{1,1}(Ω)$ depending only on the distance from the boundary of $Ω$, then $Ω$ must be a ball. With some restrictions on $f$, we prove that spherical symmetry can be obtained only by assuming that the minimizer has one level surface parallel to the boundary (i.e. it has only a level surface in common with the distance). We then discuss how these results extend to more general settings, in particular to functionals that are not differentiable and to solutions of fully nonlinear elliptic and parabolic equations.

preprint2014arXiv

The heart of a convex body

We investigate some basic properties of the {\it heart} $\heartsuit(\mathcal{K})$ of a convex set $\mathcal{K}.$ It is a subset of $\mathcal{K},$ whose definition is based on mirror reflections of euclidean space, and is a non-local object. The main motivation of our interest for $\heartsuit(\mathcal{K})$ is that this gives an estimate of the location of the hot spot in a convex heat conductor with boundary temperature grounded at zero. Here, we investigate on the relation between $\heartsuit(\mathcal{K})$ and the mirror symmetries of $\mathcal{K};$ we show that $\heartsuit(\mathcal{K})$ contains many (geometrically and phisically) relevant points of $\mathcal{K};$ we prove a simple geometrical lower estimate for the diameter of $\heartsuit(\mathcal{K});$ we also prove an upper estimate for the area of $\heartsuit(\mathcal{K}),$ when $\mathcal{K}$ is a triangle.

preprint2013arXiv

Characterization of ellipses as uniformly dense sets with respect to a family of convex bodies

Let K \subset R^N be a convex body containing the origin. A measurable set G \subset R^N with positive Lebesgue measure is said to be uniformly K-dense if, for any fixed r > 0, the measure of G \cap (x + rK) is constant when x varies on the boundary of G (here, x + rK denotes a translation of a dilation of K). We first prove that G must always be strictly convex and at least C1,1-regular; also, if K is centrally symmetric, K must be strictly convex, C1,1-regular and such that K = G - G up to homotheties; this implies in turn that G must be C2,1- regular. Then for N = 2, we prove that G is uniformly K-dense if and only if K and G are homothetic to the same ellipse. This result was already proven by Amar, Berrone and Gianni in [3]. However, our proof removes their regularity assumptions on K and G and, more importantly, it is susceptible to be generalized to higher dimension since, by the use of Minkowski's inequality and an affine inequality, avoids the delicate computations of the higher-order terms in the Taylor expansion near r = 0 for the measure of G\cap(x+rK) (needed in [3]).

preprint2013arXiv

Characterization of ellipsoids as K-dense sets

Let K\subset R^N be any convex body containing the origin. A measurable set G\subset R^N with finite and positive Lebesgue measure is said to be K-dense if, for any fixed r>0, the measure of G\cap (x+r K) is constant when x varies on the boundary of G (here, x+r K denotes a translation of a dilation of K). In [6], we proved for the case in which N=2 that if G is K-dense, then both G and K must be homothetic to the same ellipse. Here, we completely characterize K-dense sets in R^N: if G is K-dense, then both G and K must be homothetic to the same ellipsoid. Our proof, by building upon results obtained in [6], relies on an asymptotic formula for the measure of G\cap (x+r K) for large values of the parameter r and a classical characterization of ellipsoids due to C.M. Petty [9].

preprint2013arXiv

Solutions of elliptic equations with a level surface parallel to the boundary: stability of the radial configuration

Positive solutions of homogeneous Dirichlet boundary value problems or initial-value problems for certain elliptic or parabolic equations must be radially symmetric and monotone in the radial direction if just one of their level surfaces is parallel to the boundary of the domain. Here, for the elliptic case, we prove the stability counterpart of that result. In fact, we show that if the solution is almost constant on a surface at a fixed distance from the boundary, then the domain is almost radially symmetric, in the sense that is contained in and contains two concentric balls $B_{r_e}$ and $B_{r_i}$, with the difference $r_e-r_i$ (linearly) controlled by a suitable norm of the deviation of the solution from a constant. The proof relies on and enhances arguments developed in a paper by Aftalion, Busca and Reichel.

preprint2011arXiv

Interaction between nonlinear diffusion and geometry of domain

Let $Ω$ be a domain in $\mathbb R^N$, where $N \ge 2$ and $\partialΩ$ is not necessarily bounded. We consider nonlinear diffusion equations of the form $\partial_t u= Δϕ(u)$. Let $u=u(x,t)$ be the solution of either the initial-boundary value problem over $Ω$, where the initial value equals zero and the boundary value equals 1, or the Cauchy problem where the initial data is the characteristic function of the set $\mathbb R^N\setminus Ω$. We consider an open ball $B$ in $Ω$ whose closure intersects $\partialΩ$ only at one point, and we derive asymptotic estimates for the content of substance in $B$ for short times in terms of geometry of $Ω$. Also, we obtain a characterization of the hyperplane involving a stationary level surface of $u$ by using the sliding method due to Berestycki, Caffarelli, and Nirenberg. These results tell us about interactions between nonlinear diffusion and geometry of domain.

preprint2011arXiv

Matzoh ball soup revisited: the boundary regularity issue

We consider nonlinear diffusion equations of the form $\partial_t u= Δϕ(u)$ in $\mathbb R^N$ with $N \ge 2.$ When $ϕ(s) \equiv s$, this is just the heat equation. Let $Ω$ be a domain in $\mathbb R^N$, where $\partialΩ$ is bounded and $\partialΩ= \partial (\mathbb R^N\setminus \bar Ω)$. We consider the initial-boundary value problem, where the initial value equals zero and the boundary value equals 1, and the Cauchy problem where the initial data is the characteristic function of the set $Ω^c = \mathbb R^N\setminus Ω$. We settle the boundary regularity issue for the characterization of the sphere as a stationary level surface of the solution $u:$ no regularity assumption is needed for $\partialΩ.$

preprint2010arXiv

The location of the hot spot in a grounded convex conductor

We investigate the location of the (unique) hot spot in a convex heat conductor with unitary initial temperature and with boundary grounded at zero temperature. We present two methods to locate the hot spot: the former is based on ideas related to the Alexandrov-Bakelmann-Pucci maximum principle and Monge-Ampère equations; the latter relies on Alexandrov's reflection principle. We then show how such a problem can be simplified in case the conductor is a polyhedron. Finally, we present some numerical computations.

preprint2009arXiv

Nonlinear diffusion with a bounded stationary level surface

We consider nonlinear diffusion of some substance in a container (not necessarily bounded) with bounded boundary of class C^2. Suppose that, initially, the container is empty and, at all times, the substance at its boundary is kept at density 1. We show that, if the container contains a proper C^2-subdomain on whose boundary the substance has constant density at each given time, then the boundary of the container must be a sphere. We also consider nonlinear diffusion in the whole R^N of some substance whose density is initially a characteristic function of the complement of a domain with bounded C^2 boundary, and obtain similar results. These results are also extended to the heat flow in the sphere S^N and the hyperbolic space H^N.