BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Susanna Terracini appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove an Alt-Caffarelli-Friedman montonicity formula for pairs of functions solving elliptic equations driven by different ellipticity matrices in their positivity sets. As application, we derive Liouville-type theorems for subsolutions of some elliptic systems, and we analyze segregation phenomena for systems of equations where the diffusion of each density is described by a different operator.
We are concerned with the analysis of finite time collision trajectories for a class of singular anisotropic homogeneous potentials of degree $-α$, with $α\in(0,2)$ and their lower order perturbations. It is well known that, under reasonable generic assumptions, the asymptotic normalized configuration converges to a central configuration. Using McGehee coordinates, the flow can be extended to the collision manifold having central configurations as stationary points, endowed with their stable and unstable manifolds. We focus on the case when the asymptotic central configuration is a global minimizer of the potential on the sphere: our main goal is to show that, in a rather general setting, the local stable manifold coincides with that of the initial data of minimal collision arcs. This characterisation may be extremely useful in building complex trajectories with a broken geodesic method. The proof takes advantage of the generalised Sundman's monotonicity formula.
We investigate the local properties, including the nodal set and the nodal properties of solutions to the following parabolic problem of Muckenhoupt-Neumann type: \begin{equation*} \begin{cases} \partial_t \overline{u} - y^{-a} \nabla \cdot(y^a \nabla \overline{u}) = 0 \quad &\text{ in } \mathbb{B}_1^+ \times (-1,0) \\ -\partial_y^a \overline{u} = q(x,t)u \quad &\text{ on } B_1 \times \{0\} \times (-1,0), \end{cases} \end{equation*} where $a\in(-1,1)$, is a fixed parameter $\mathbb{B}_1^+\subset \mathbb{R}^{N+1}$ is the upper unit half ball and $B_1$ is the unit ball in $\mathbb{R}^N$. Our main motivation comes from its relation with a class of nonlocal parabolic equations involving the fractional power of the heat operator \begin{equation*} H^su(x,t) = \frac{1}{|Γ(-s)|} \int_{-\infty}^t \int_{\mathbb{R}^N} \left[u(x,t) - u(z,τ)\right] \frac{G_N(x-z,t-τ)}{(t-τ)^{1+s}} dzdτ. \end{equation*} We characterise the possible blow-ups and we examine the structure of the nodal set of solutions vanishing with a finite order. More precisely, we prove that the nodal set has at least parabolic Hausdorff codimension one in $\mathbb{R}^N\times\mathbb{R}$, and can be written as the union of a locally smooth part and a singular part, which turns out to possess remarkable stratification properties. Moreover, the asymptotic behaviour of general solutions near their nodal points is classified in terms of a class of explicit polynomials of Hermite and Laguerre type, obtained as eigenfunctions to an Ornstein-Uhlenbeck type operator. Our main results are obtained through a fine blow-up analysis which relies on the monotonicity of an Almgren-Poon type quotient and some new Liouville type results for parabolic equations, combined with more classical results including Federer's reduction principle and the parabolic Whitney's extension.
We prove the existence of half-entire parabolic solutions, asymptotic to a prescribed central configuration, for the equation \begin{equation*} \ddot{x} = \nabla U(x) + \nabla W(t,x), \qquad x \in \mathbb{R}^{d}, \end{equation*} where $d \geq 2$, $U$ is a positive and positively homogeneous potential with homogeneity degree $-α$ with $α\in\mathopen{]}0,2\mathclose{[}$, and $W$ is a (possibly time-dependent) lower order term, for $\vert x \vert \to +\infty$, with respect to $U$. The proof relies on a perturbative argument, after an appropriate formulation of the problem in a suitable functional space. Applications to several problems of Celestial Mechanics (including the $N$-centre problem, the $N$-body problem and the restricted $(N+H)$-body problem) are given.
In this paper we study the regularity of the free boundary for a vector-valued Bernoulli problem, with no sign assumptions on the boundary data. More precisely, given an open, smooth set of finite measure $D\subset \mathbb{R}^d$, $Λ>0$ and $φ_i\in H^{1/2}(\partial D)$, we deal with \[ \min{\left\{\sum_{i=1}^k\int_D|\nabla v_i|^2+Λ\Big|\bigcup_{i=1}^k\{v_i\not=0\}\Big|\;:\;v_i=φ_i\;\mbox{on }\partial D\right\}}. \] We prove that, for any optimal vector $U=(u_1,\dots, u_k)$, the free boundary $\partial (\cup_{i=1}^k\{u_i\not=0\})\cap D$ is made of a regular part, which is relatively open and locally the graph of a $C^\infty$ function, a singular part, which is relatively closed and has Hausdorff dimension at most $d-d^*$, for a $d^*\in\{5,6,7\}$ and by a set of branching (two-phase) points, which is relatively closed and of finite $\mathcal{H}^{d-1}$ measure. Our arguments are based on the NTA structure of the regular part of the free boundary.
We study regularity issues for systems of elliptic equations of the type \[ -Δu_i=f_{i,β}(x)-β\sum_{j\neq i} a_{ij} u_i |u_i|^{p-1}|u_j|^{p+1} \] set in domains $Ω\subset \mathbb{R}^N$, for $N \geq 1$. The paper is devoted to the derivation of $\mathcal{C}^{0,α}$ estimates that are uniform in the competition parameter $β> 0$, as well as to the regularity of the limiting free-boundary problem obtained for $β\to + \infty$. The main novelty of the problem under consideration resides in the non-trivial grouping of the densities: in particular, we assume that the interaction parameters $a_{ij}$ are only non-negative, and thus may vanish for specific couples $(i,j)$. As a main consequence, in the limit $β\to +\infty$, densities do not segregate pairwise in general, but are grouped in classes which, in turn, form a mutually disjoint partition. Moreover, with respect to the literature, we consider more general forcing terms, sign-changing solutions, and an arbitrary $p>0$. In addition, we present a regularity theory of the emerging free-boundary, defined by the interface among different segregated groups. These equations are very common in the study of Bose-Einstein condensates and are of key importance for the analysis of optimal partition problems related to high order eigenvalues.
Let $Ω\subset \mathbb{R}^N$ be an open bounded domain and $m\in \mathbb{N}$. Given $k_1,\ldots,k_m\in \mathbb{N}$, we consider a wide class of optimal partition problems involving Dirichlet eigenvalues of elliptic operators, of the following form \[ \inf\left\{F(λ_{k_1}(ω_1),\ldots, λ_{k_m}(ω_m)):\ (ω_1,\ldots, ω_m)\in \mathcal{P}_m(Ω)\right\}, \] where $λ_{k_i}(ω_i)$ denotes the $k_i$--th eigenvalue of $(-Δ,H^1_0(ω_i))$ counting multiplicities, and $\mathcal{P}_m(Ω)$ is the set of all open partitions of $Ω$, namely \[ \mathcal{P}_m(Ω)=\left\{(ω_1,\ldots,ω_m):\ ω_i\subset Ω\text{ open},\ ω_i\cap ω_j=\emptyset\ \forall i\neq j\right\}. \] While existence of a quasi-open optimal partition $(ω_1,\ldots, ω_m)$ follows from a general result by Bucur, Buttazzo and Henrot [Adv. Math. Sci. Appl. 8, 1998], the aim of this paper is to associate with such minimal partitions and their eigenfunctions some suitable extremality conditions and to exploit them, proving as well the Lipschitz continuity of some eigenfunctions, and regularity of the partition in the sense that the free boundary $\cup_{i=1}^m \partial ω_i\cap Ω$ is, up to a residual set, locally a $C^{1,α}$ hypersurface. This last result extend the ones in the paper by Caffarelli and Lin [J. Sci. Comput. 31, 2007] to the case of higher eigenvalues.
We consider solutions of the competitive elliptic system \[ \left\{ \begin{array}{ll} -Δu_i = - \sum_{j \neq i} u_i u_j^2 & \text{in $\mathbb{R}^N$} \\ u_i >0 & \text{in $\mathbb{R}^N$} \end{array}\right. \qquad i=1,\dots,k. \] We are concerned with the classification of entire solutions, according with their growth rate. The prototype of our main results is the following: there exists a function $δ=δ(k,N) \in \mathbb{N}$, increasing in $k$, such that if $(u_1,\dots,u_k)$ is a solution and \[ u_1(x)+\cdots+u_k(x) \le C(1+|x|^d) \qquad \text{for every $x \in \mathbb{R}^N$}, \] then $d \ge δ$. This means that the number of components $k$ of the solution imposes an increasing in $k$ minimal growth on the solution itself. If $N=2$, the expression of $δ$ is explicit and optimal, while in higher dimension it can be characterized in terms of an optimal partition problem. We discuss the sharpness of our results and, as a further step, for every $N \ge 2$ we can prove the $1$-dimensional symmetry of the solutions satisfying suitable assumptions, extending known results which are available for $k=2$. The proofs rest upon a blow-down analysis and on some monotonicity formulae.
In this paper we study the Neumann problem\begin{equation*}\begin{cases}-Δu+u=u^p \& \text{ in }B\_1 \\u \textgreater{} 0, \& \text{ in }B\_1 \\\partial\_νu=0 \& \text{ on } \partial B\_1,\end{cases}\end{equation*}and we show the existence of multiple-layer radial solutions as $p\rightarrow+\infty$.
In a singular potential setting, we generalize a method which allows to show that minimizers under topological constraints of the action functional (or of the Maupertuis') are collision-free. This methods applies to $3$-dimensional problems of celestial mechanics exhibiting a particular cylindrical symmetry, as well as to planar problems of $N$-centre type, where it gives optimal results.
We continue the analysis started in [Noris,Terracini,Indiana Univ Math J,2010] and [Bonnaillie-Noël,Noris,Nys,Terracini,Analysis & PDE,2014], concerning the behavior of the eigenvalues of a magnetic Schrödinger operator of Aharonov-Bohm type with half-integer circulation. We consider a planar domain with Dirichlet boundary conditions and we concentrate on the case when the singular pole approaches the boundary of the domain. The $k$-th magnetic eigenvalue converges to the $k$-th eigenvalue of the Laplacian. We can predict both the rate of convergence and whether the convergence happens from above or from below, in relation with the number of nodal lines of the $k$-th eigenfunction of the Laplacian. The proof relies on a detailed asymptotic analysis of the eigenfunctions, based on an Almgren-type frequency formula for magnetic eigenfunctions and on the blow-up technique.
We characterize the set of positive harmonic functions with Dirichlet boundary conditions in unbounded domains which are union of several different chambers. We analyze the asymptotic behavior of the solutions in connection with the changes in the domain's geometry. Finally we classify all (possibly sign-changing) infinite energy solutions having minimal frequency at the infinite ends of the domain.
We consider a magnetic operator of Aharonov-Bohm type with Dirichlet boundary conditions in a planar domain. We analyse the behavior of its eigenvalues as the singular pole moves in the domain. For any value of the circulation we prove that the k-th magnetic eigenvalue converges to the k-th eigenvalue of the Laplacian as the pole approaches the boundary. We show that the magnetic eigenvalues depend in a smooth way on the position of the pole, as long as they remain simple. In case of half-integer circulation, we show that the rate of convergence depends on the number of nodal lines of the corresponding magnetic eigenfunction. In addition, we provide several numerical simulations both on the circular sector and on the square, which find a perfect theoretical justification within our main results, together with the ones in [Bonnaillie-Noël, V., Helffer, B., Exp. Math. 20 (2011), no. 3, 304-322; MR2836255 (2012i:35274)].
Consider two domains connected by a thin tube: it can be shown that the resolvent of the Dirichlet Laplacian is continuous with respect to the channel section parameter. This in particular implies the continuity of isolated simple eigenvalues and the corresponding eigenfunctions with respect to domain perturbation. Under an explicit nondegeneracy condition, we improve this information providing a sharp control of the rate of convergence of the eigenvalues and eigenfunctions in the perturbed domain to the relative eigenvalue and eigenfunction in the limit domain. As an application, we prove that, again under an explicit nondegeneracy con- dition, the case of resonant domains features polinomial splitting of the two eigenvalues and a clear bifurcation of eigenfunctions.
In continuation with the paper arXiv:1202.4414, we investigate the asymptotic behavior of weighted eigenfunctions in two half-spaces connected by a thin tube. We provide several improvements about some convergences stated in arXiv:1202.4414; most of all, we provide the exact asymptotic behavior of the implicit normalization for solutions given in arXiv:1202.4414 and thus describe the (N-1)-order singularity developed at a junction of the tube (where N is the space dimension).
Consider two domains connected by a thin tube: it can be shown that, generically, the mass of a given eigenfunction of the Dirichlet Laplacian concentrates in only one of them. The restriction to the other domain, when suitably normalized, develops a singularity at the junction of the tube, as the channel section tends to zero. Our main result states that, under a nondegeneracy condition, the normalized limiting profile has a singularity of order N-1, where N is the space dimension. We give a precise description of the asymptotic behavior of eigenfunctions at the singular junction, which provides us with some important information about its sign near the tunnel entrance. More precisely, the solution is shown to be one-sign in a neighborhood of the singular junction. In other words, we prove that the nodal set does not enter inside the channel.
For a class of competition-diffusion nonlinear systems involving fractional powers of the Laplacian, including as a special case the fractional Gross-Pitaevskii system, we prove that uniform boundedness implies Hölder boundedness for sufficiently small positive exponents, uniformly as the interspecific competition parameter diverges. This implies strong convergence of the family of solutions as the segregation of their support occurs.
This paper aims at completing and clarifying a delicate step in the proof of Theorem 5.3 of our paper \cite{ST}, where it was used the differentiability of a function $F$, which a priori can appear not necessarily differentiable.
We consider a semilinear elliptic equation on a smooth bounded domain $\Om$ in $\R^2$, assuming that both the domain and the equation are invariant under reflections about one of the coordinate axes, say the y-axis. It is known that nonnegative solutions of the Dirichlet problem for such equations are symmetric about the axis, and, if strictly positive, they are also decreasing in $x$ for $x>0$. Our goal is to exhibit examples of equations which admit nonnegative, nonzero solutions for which the second property fails; necessarily, such solutions have a nontrivial nodal set in $\Om$. Previously, such examples were known for nonsmooth domains only.
We study the qualitative properties of a limiting elliptic system arising in phase separation for Bose-Einstein condensates with multiple states: Δu=u v^2 in R^n, Δv= v u^2 in R^n, u, v>0\quad in R^n. When n=1, we prove uniqueness of the one-dimensional profile. In dimension 2, we prove that stable solutions with linear growth must be one-dimensional. Then we construct entire solutions in $\R^2$ with polynomial growth $|x|^d$ for any positive integer $d \geq 1$. For $d\geq 2$, these solutions are not one-dimensional. The construction is also extended to multi-component elliptic systems.
For a class of quasilinear elliptic equations involving the p-Laplace operator, we develop an abstract critical point theory in the presence of sub-supersolutions. Our approach is based upon the proof of the invariance under the gradient flow of enlarged cones in the $W^{1,p}_0$ topology. With this, we prove abstract existence and multiplicity theorems in the presence of variously ordered pairs of sub-supersolutions. As an application, we provide a four solutions theorem, one of the solutions being sign-changing.
We study the nature of the Nonlinear Schrödinger equation ground states on the product spaces $\R^n\times M^k$, where $M^k$ is a compact Riemannian manifold. We prove that for small $L^2$ masses the ground states coincide with the corresponding $\R^n$ ground states. We also prove that above a critical mass the ground states have nontrivial $M^k$ dependence. Finally, we address the Cauchy problem issue which transform the variational analysis to dynamical stability results.
For a class of competition-diffusion nonlinear systems involving the square root of the Laplacian, including the fractional Gross-Pitaevskii system, we prove that uniform boundedness implies Holder boundedness for every exponent less than 1/2, uniformly as the interspecific competition parameter diverges. Moreover we prove that the limiting profile is Holder continuous of exponent 1/2. This system arises, for instance, in the relativistic Hartree-Fock approximation theory for mixtures of Bose-Einstein condensates in different hyperfine states.
This paper completes and partially improves some of the results of [arXiv:0809.5002] about the asymptotic behavior of solutions of linear and nonlinear elliptic equations with singular coefficients via an Almgren type monotonicity formula
Asymptotics of solutions to Schroedinger equations with singular magnetic and electric potentials is investigated. By using a Almgren type monotonicity formula, separation of variables, and an iterative Brezis-Kato type procedure, we describe the exact behavior near the singularity of solutions to linear and semilinear (critical and subcritical) elliptic equations with an inverse square electric potential and a singular magnetic potential with a homogeneity of order -1.
We continue the variational approach to parabolic trajectories introduced in our previous paper [5], which sees parabolic orbits as minimal phase transitions. We deepen and complete the analysis in the planar case for homogeneous singular potentials. We characterize all parabolic orbits connecting two minimal central configurations as free-time Morse minimizers (in a given homotopy class of paths). These may occur for at most one value of the homogeneity exponent. In addition, we link this threshold of existence of parabolic trajectories with the absence of collisions for all the minimizers of fixed-ends problems. Also the existence of action minimizing periodic trajectories with nontrivial homotopy type can be related with the same threshold.
For the class of anisotropic Kepler problems in $\RR^d\setminus\{0\}$ with homogeneous potentials, we seek parabolic trajectories having prescribed asymptotic directions at infinity and which, in addition, are Morse minimizing geodesics for the Jacobi metric. Such trajectories correspond to saddle heteroclinics on the collision manifold, are structurally unstable and appear only for a codimension-one submanifold of such potentials. We give them a variational characterization in terms of the behavior of the parameter-free minimizers of an associated obstacle problem. We then give a full characterization of such a codimension-one manifold of potentials and we show how to parameterize it with respect to the degree of homogeneity.
The asymptotic behavior of solutions to Schrödinger equations with singular homogeneous potentials is investigated. Through an Almgren type monotonicity formula and separation of variables, we describe the exact asymptotics near the singularity of solutions to at most critical semilinear elliptic equations with cylindrical and quantum multi-body singular potentials. Furthermore, by an iterative Brezis-Kato procedure, point-wise upper estimate are derived.
In this paper we prove the existence of infinitely many sign-changing solutions for the system of $m$ Schrödinger equations with competition interactions $$ -Δu_i+a_i u_i^3+βu_i \sum_{j\neq i} u_j^2 =λ_{i,β} u_i \quad u_i\in H^1_0(Ω), \quad i=1,...,m $$ where $Ω$ is a bounded domain, $β>0$ and $a_i\geq 0\ \forall i.$ Moreover, for $a_i=0$, we show a relation between critical energies associated with this system and the optimal partition problem $$ \mathop{\inf_{ω_i\subset Ω\text{open}}}_{ω_i\cap ω_j=\emptyset\forall i\neq j} \sum_{i=1}^{m} λ_{k_i}(ω_i), $$ where $λ_{k_i}(ω)$ denotes the $k_i$--th eigenvalue of $-Δ$ in $H^1_0(ω)$. In the case $k_i\leq 2$ we show that the optimal partition problem appears as a limiting critical value, as the competition parameter $β$ diverges to $+\infty$.
We consider the planar $N$-centre problem, with homogeneous potentials of degree $-\a<0$, $\a \in [1,2)$. We prove the existence of infinitely many collisions-free periodic solutions with negative and small energy, for any distribution of the centres inside a compact set. The proof is based upon topological, variational and geometric arguments. The existence result allows to characterize the associated dynamical system with a symbolic dynamics, where the symbols are the partitions of the $N$ centres in two non-empty sets.
In this paper we deal with the cubic Schrödinger system $ -Δu_i = \sum_{j=1}^n β_{ij}u_j^2 u_i$, $u_1,\dots,u_n \geq 0$ in $\mathbb{R}^N (N\leq 3)$, where $β=(β_{i,j})_{ij}$ is a symmetric matrix with real coefficients and $β_{ii}\geq 0$ for every $i=1,\ldots,n$. We analyse the existence and nonexistence of nontrivial solutions in connection with the properties of the matrix $β$, and provide a complete characterization in dimensions $N=1,2$. Extensions to more general power-type nonlinearities are given.
We deal with a class of Lipschitz vector functions $U=(u_1,...,u_h)$ whose components are non negative, disjointly supported and verify an elliptic equation on each support. Under a weak formulation of a reflection law, related to the Pohouzaev identity, we prove that the nodal set is a collection of $C^{1,α}$ hyper-surfaces (for every $0<α<1$), up to a residual set with small Hausdorff dimension. This result applies to the asymptotic limits of reaction-diffusion systems with strong competition interactions, to optimal partition problems involving eigenvalues, as well as to segregated standing waves for Bose-Einstein condensates in multiple hyperfine spin states.
We investigate existence and qualitative behaviour of solutions to nonlinear Schrödinger equations with critical exponent and singular electromagnetic potentials. We are concerned with magnetic vector potentials which are homogeneous of degree -1, including the Aharonov-Bohm class. In particular, by variational arguments we prove a result of multiplicity of solutions distinguished by symmetry properties.