Source author record

Rolando Magnanini

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

23works
4topics
4close collaborators

Published work

23 publications

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 pp-harmonious functions: existence and convergence to pp-harmonic functions

In a recent paper, the last three authors showed that a game-theoretic pp-harmonic function vv is characterized by an asymptotic mean value property with respect to a kind of mean value νpr[v](x)ν_p^r[v](x) defined variationally on balls Br(x)B_r(x). In this paper, in a domain $\Om\subset\RR^N$, N≥2N\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} pp-harmonious function with Dirichlet boundary data gg, 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) pp-Laplace operator. In fact, we prove that $u^\ve$ converges to uu, 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} M±\mathcal{M}^\pm. It is considered the solution uε(x)u^\varepsilon(x) of −ε2M±(∇2uε)+uε=0-\varepsilon^2 \mathcal{M}^\pm\left(\nabla ^2 u^\varepsilon\right)+u^\varepsilon=0 in ΩΩ such that uε=1u^\varepsilon=1 on ΓΓ. Here, Ω⊂RNΩ\subset \mathbb{R}^N is a domain (not necessarily bounded) and ΓΓ is its boundary. It is also considered v(x,t)v(x,t) the solution of vt−M±(∇2v)=0v_t - \mathcal{M}^\pm\left(\nabla^2 v\right)=0 in Ω×(0,∞)Ω\times (0,\infty), v=1v=1 on Γ×(0,∞)Γ\times(0,\infty) and v=0v=0 on Ω×{0}Ω\times \{0\}. In the spirit of their previous works, the authors establish the profiles as ε\varepsilon or t→0+t\to 0^+ of the values of uε(x)u^\varepsilon(x) and v(x,t)v(x,t) as well as of those of their qq-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 RN\mathbb R^N with N≥2N \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 00 and outside temperature 11. We then show that a quite similar symmetry result holds true.

preprint2016arXiv

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

Let 1≤p≤∞1\le p\le\infty. We show that a function u∈C(RN)u\in C(\mathbb R^N) is a viscosity solution to the normalized pp-Laplace equation Δpnu(x)=0Δ_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 pp-mean value of uu 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=1p=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 uu. These two properties help to establish a fairly general proof of (AMVP), that can also be extended to the (normalized) parabolic pp-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Δu+f(u)=0 in ΩΩ, u=0u=0 on ∂Ω\partialΩ, where f:R→Rf:\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 ri<rer_i<r_e, where re−ri≤C [uν]∂Ωαr_e-r_i\leq C\,[u_ν]_{\partialΩ}^α for some constants C>0C>0 and α∈(0,1]α\in (0,1]. Here, [uν]∂Ω[u_ν]_{\partialΩ} is the Lipschitz seminorm on ∂Ω\partialΩ of the normal derivative of uu. 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≡1f\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 R3\mathbb R^3 with ∂Ω=∂(R3∖Ω‾)\partialΩ= \partial\left(\mathbb R^3\setminus \overlineΩ\right), where ∂Ω\partialΩ is unbounded and connected, and let uu be the solution of the Cauchy problem for the heat equation ∂tu=Δu\partial_t u= Δu over R3,\mathbb R^3, where the initial data is the characteristic function of the set Ωc=R3∖ΩΩ^c = \mathbb R^3\setminus Ω. We show that, if there exists a stationary isothermic surface ΓΓ of uu 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 R3\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 RN\mathbb{R}^N with boundary ΓΓ of class C2,τC^{2,τ}, 0<τ<10<τ<1, and ff is a locally Lipschitz continuous non-linearity. Serrin's celebrated symmetry theorem states that, if the normal derivative uν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 uu prove the estimate re−ri≤Cδ [u]Γδ r_e-r_i\le C_δ\,[u]_{Γ^δ} for some constant CδC_δ depending on δ>0δ>0, where rer_e and rir_i are the radii of a spherical annulus containing ΓΓ, ΓδΓ^δ is a surface parallel to ΓΓ at distance δδ and sufficiently close to ΓΓ, and [u]Γδ[u]_{Γ^δ} is the Lipschitz semi-norm of uu on ΓδΓ^δ; secondly, if in addition uν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 C2,τ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-Δu=1 in ΩΩ and u=0u=0 on ∂Ω\partial Ω. Serrin's celebrated symmetry theorem states that, if the normal derivative uν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 uu of the torsion problem prove the estimate re−ri≤Ct (max⁡Γtu−min⁡Γtu) r_e-r_i\leq C_t\,\Bigl(\max_{Γ_t} u-\min_{Γ_t} u\Bigr) for some constant CtC_t depending on tt, where rer_e and rir_i are the radii of an annulus containing ∂Ω\partialΩ and ΓtΓ_t is a surface parallel to ∂Ω\partialΩ at distance tt and sufficiently close to ∂Ω\partialΩ; secondly, if in addition uν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)=∫Ω[f(∣Dv∣)−v]dx,I_Ω(v) = \int_Ω[f(|Dv|) - v] dx, where ΩΩ is a bounded domain and ff is a convex function. Under general assumptions on ff, G. Crasta [Cr1] has shown that if IΩI_Ω admits a minimizer in W01,1(Ω)W_0^{1,1}(Ω) depending only on the distance from the boundary of ΩΩ, then ΩΩ must be a ball. With some restrictions on ff, 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} ♡(K)\heartsuit(\mathcal{K}) of a convex set K.\mathcal{K}. It is a subset of K,\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 ♡(K)\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 ♡(K)\heartsuit(\mathcal{K}) and the mirror symmetries of K;\mathcal{K}; we show that ♡(K)\heartsuit(\mathcal{K}) contains many (geometrically and phisically) relevant points of K;\mathcal{K}; we prove a simple geometrical lower estimate for the diameter of ♡(K);\heartsuit(\mathcal{K}); we also prove an upper estimate for the area of ♡(K),\heartsuit(\mathcal{K}), when K\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 BreB_{r_e} and BriB_{r_i}, with the difference re−rir_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 RN\mathbb R^N, where N≥2N \ge 2 and ∂Ω\partialΩ is not necessarily bounded. We consider nonlinear diffusion equations of the form ∂tu=Δϕ(u)\partial_t u= Δϕ(u). Let u=u(x,t)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 RN∖Ω\mathbb R^N\setminus Ω. We consider an open ball BB in ΩΩ whose closure intersects ∂Ω\partialΩ only at one point, and we derive asymptotic estimates for the content of substance in BB for short times in terms of geometry of ΩΩ. Also, we obtain a characterization of the hyperplane involving a stationary level surface of uu 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 ∂tu=Δϕ(u)\partial_t u= Δϕ(u) in RN\mathbb R^N with N≥2.N \ge 2. When ϕ(s)≡sϕ(s) \equiv s, this is just the heat equation. Let ΩΩ be a domain in RN\mathbb R^N, where ∂Ω\partialΩ is bounded and ∂Ω=∂(RN∖Ωˉ)\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=RN∖ΩΩ^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: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.

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.