BZPEER

preprint2026arXiv

Free boundary regularity for a spectral optimal partition problem with volume and inclusion constraints

This paper is devoted to a complete characterization of the free boundary of all solutions to the following spectral $k$ -partition problem with measure and inclusion constraints: \[ \inf \left\{\sum_{i=1}^k λ_1(ω_i)\; : \; ω_i \subset Ω\mbox{ are nonempty open sets for all } i=1,\ldots, k,\; ω_i \cap ω_j = \emptyset \: \text{for all}\: i \not=j \mbox{ and } \sum_{i=1}^{k}|ω_i| = a \right\}, \] where $Ω$ is a bounded domain of $\mathbb{R}^N$ , $a\in (0,|Ω|)$ . In particular, we prove free boundary conditions, classify contact points, characterize the regular and singular part of the free boundary (including branching points), and describe the interaction of the partition with the fixed boundary $\partial Ω$ . The proof is based on a perturbed version of the problem, combined with monotonicity formulas, blowup analysis and classification of blowups, suitable deformations of optimal sets and eigenfunctions, as well as the improvement of flatness of [Russ-Trey-Velichkov, CVPDE 58, 2019] for the one-phase points, and of [De Philippis-Spolaor-Velichkov, Invent. Math. 225, 2021] at two-phase points.

preprint2021arXiv

On the least-energy solutions of the pure Neumann Lane-Emden equation

We study the pure Neumann Lane-Emden problem in a bounded domain $-Δu = |u|^{p-1} u \text{ in }Ω, \qquad \partial_νu=0 \text{ on }\partial Ω,$ in the subcritical, critical, and supercritical regimes. We show existence and convergence of least-energy (nodal) solutions (l.e.n.s.). In particular, we prove that l.e.n.s. converge to a l.e.n.s. of a problem with sign nonlinearity as $p\searrow 0$ ; to a l.e.n.s. of the critical problem as $p\nearrow 2^*$ (in particular, pure Neumann problems exhibit no blowup phenomena at the critical Sobolev exponent $2^*$ ); and we show that the limit as $p\to 1$ depends on the domain. Our proofs rely on different variational characterizations of solutions including a dual approach and a nonlinear eigenvalue problem. Finally, we also provide a qualitative analysis of l.e.n.s., including symmetry, symmetry-breaking, and monotonicity results for radial solutions.

preprint2020arXiv

Nodal Solutions for sublinear-type problems with Dirichlet boundary conditions

We consider nonlinear second order elliptic problems of the type $-Δu=f(u) \text{ in } Ω, \qquad u=0 \text{ on } \partial Ω,$ where $Ω$ is an open $C^{1,1}$ -domain in $\mathbb{R}^N$ , $N\geq 2$ , under some general assumptions on the nonlinearity that include the case of a sublinear pure power $f(s)=|s|^{p-1}s$ with $0<p<1$ and of Allen-Cahn type $f(s)=λ(s-|s|^{p-1}s)$ with $p>1$ and $λ>λ_2(Ω)$ (the second Dirichlet eigenvalue of the Laplacian). We prove the existence of a least energy nodal (i.e. sign changing) solution, and of a nodal solution of mountain-pass type. We then give explicit examples of domains where the associated levels do not coincide. For the case where $Ω$ is a ball or annulus and $f$ is of class $C^1$ , we prove instead that the levels coincide, and that least energy nodal solutions are nonradial but axially symmetric functions. Finally, we provide stronger results for the Allen-Cahn type nonlinearities in case $Ω$ is either a ball or a square. In particular we give a complete description of the solution set for $λ\sim λ_2(Ω)$ , computing the Morse index of the solutions.

preprint2020arXiv

Regularity of all minimizers of a class of spectral partition problems

We study a rather broad class of optimal partition problems with respect to monotone and coercive functional costs that involve the Dirichlet eigenvalues of the partitions. We show a sharp regularity result for the entire set of minimizers for a natural relaxed version of the original problem, together with the regularity of eigenfunctions and a universal free boundary condition. Among others, our result covers the cases of the following functional costs $(ω_1, \dots, ω_m) \mapsto \sum_{i=1}^{m} \left( \sum_{j=1}^{k_i} λ_{j}(ω_i)^{p_i}\right)^{1/p_i}, \quad \prod_{i=1}^{m} \left( \prod_{j=1}^{k_i} λ_{j}(ω_i)\right), \quad \prod_{i=1}^{m} \left( \sum_{j=1}^{k_i} λ_{j}(ω_i)\right)$ where $(ω_1, \dots, ω_m)$ are the sets of the partition and $λ_{j}(ω_i)$ is the $j$ -th Laplace eigenvalue of the set $ω_i$ with zero Dirichlet boundary conditions.

preprint2016arXiv

Dividing the circle

There are known constructions for some regular polygons, usually inscribed in a circle, but not for all polygons - the Gauss-Wantzel Theorem states precisely which ones can be constructed. The constructions differ greatly from one polygon to the other. There are, however, general processes for determining the side of the $n$ -gon (approximately, but sometimes with great precision), which we describe in this paper. We present a joint mathematical analysis of the so-called Bion and Tempier approximation methods, comparing the errors and trying to explain why these constructions would work at all.

preprint2016arXiv

Hölder bounds and regularity of emerging free boundaries for strongly competing Schrödinger equations with nontrivial grouping

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.

preprint2016arXiv

Paths to uniqueness of critical points and applications to partial differential equations

We prove a unified and general criterion for the uniqueness of critical points of a functional in the presence of constraints such as positivity, boundedness, or fixed mass. Our method relies on convexity properties along suitable paths and significantly generalizes well-known uniqueness theorems. Due to the flexibility in the construction of the paths, our approach does not depend on the convexity of the domain and can be used to prove uniqueness in subsets, even if it does not hold globally. The results apply to all critical points and not only to minimizers, thus they provide uniqueness of solutions to the corresponding Euler-Lagrange equations. For functionals emerging from elliptic problems, the assumptions of our abstract theorems follow from maximum principles, decay properties, and novel general inequalities. To illustrate our method we present a unified proof of known results, as well as new theorems for mean-curvature type operators, fractional Laplacians, Hamiltonian systems, Schrödinger equations, and Gross-Pitaevski systems.

preprint2016arXiv

Spiked solutions for Schrödinger systems with Sobolev critical exponent: the cases of competitive and weakly cooperative interactions

In this paper we deal with the nonlinear Schrödinger system $-Δu_i =μ_i u_i^3 + βu_i \sum_{j\neq i} u_j^2 + λ_i u_i, \qquad u_1,\ldots, u_m\in H^1_0(Ω)$ in dimension 4, a problem with critical Sobolev exponent. In the competitive case ( $β<0$ fixed or $β\to -\infty$ ) or in the weakly cooperative case ( $β\geq 0$ small), we construct, under suitable assumptions on the Robin function associated to the domain $Ω$ , families of positive solutions which blowup and concentrate at different points as $λ_1,\ldots, λ_m\to 0$ . This problem can be seen as a generalization for systems of a Brezis-Nirenberg type problem.

preprint2015arXiv

Existence and symmetry of least energy nodal solutions for Hamiltonian elliptic systems

In this paper we prove existence of least energy nodal solutions for the Hamiltonian elliptic system with Hénon-type weights $-Δu = |x|^β |v|^{q-1}v, \quad -Δv =|x|^α|u|^{p-1}u\quad { in } Ω, \qquad u=v=0 { on } \partial Ω,$ where $Ω$ is a bounded smooth domain in $\mathbb{R}^N$ , $N\geq 1$ , $α, β\geq 0$ and the nonlinearities are superlinear and subcritical, namely $1> \frac{1}{p+1}+\frac{1}{q+1}> \frac{N-2}{N}.$ When $Ω$ is either a ball or an annulus centred at the origin and $N \geq 2$ , we show that these solutions display the so-called foliated Schwarz symmetry. It is natural to conjecture that these solutions are not radially symmetric. We provide such a symmetry breaking in a range of parameters where the solutions of the system behave like the solutions of a single equation. Our results on the above system are new even in the case of the Lane-Emden system (i.e. without weights). As far as we know, this is the first paper that contains results about least energy nodal solutions for strongly coupled elliptic systems and their symmetry properties.

preprint2015arXiv

Extremality conditions and regularity of solutions to optimal partition problems involving Laplacian 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.

preprint2015arXiv

Ground States for a nonlinear Schrödinger system with sublinear coupling terms

We study the existence of ground states for the coupled Schrödinger system \begin{equation} \left\{\begin{array}{lll} \displaystyle -Δu_i+λ_i u_i= μ_i |u_i|^{2q-2}u_i+\sum_{j\neq i}b_{ij} |u_j|^q|u_i|^{q-2}u_i \\ u_i\in H^1(\mathbb{R}^n), \quad i=1,\ldots, d, \end{array}\right. \end{equation} $n\geq 1$ , for $λ_i,μ_i >0$ , $b_{ij}=b_{ji}>0$ (the so-called "symmetric attractive case") and $1<q<n/(n-2)^+$ . We prove the existence of a nonnegative ground state $(u_1^*,\ldots,u_d^*)$ with $u_i^*$ radially decreasing. Moreover we show that, for $1<q<2$ , such ground states are positive in all dimensions and for all values of the parameters.

preprint2015arXiv

Semitrivial vs. fully nontrivial ground states in cooperative cubic Schrödinger systems with $d\ge3$ equations

In this work we consider the weakly coupled Schrödinger cubic system $\begin{cases} \displaystyle -Δu_i+λ_i u_i= μ_i u_i^{3}+ u_i\sum_{j\neq i}b_{ij} u_j^2 \\ u_i\in H^1(\mathbb{R}^N;\mathbb{R}), \quad i=1,\ldots, d, \end{cases}$ where $1\leq N\leq 3$ , $λ_i,μ_i >0$ and $b_{ij}=b_{ji}>0$ for $i\neq j$ . This system admits semitrivial solutions, that is solutions $\mathbf{u}=(u_1,\ldots, u_d)$ with null components. We provide optimal qualitative conditions on the parameters $λ_i,μ_i$ and $b_{ij}$ under which the ground state solutions have all components nontrivial, or, conversely, are semitrivial. This question had been clarified only in the $d=2$ equations case. For $d\geq 3$ equations, prior to the present paper, only very restrictive results were known, namely when the above system was a small perturbation of the super-symmetrical case $λ_i\equiv λ$ and $b_{ij}\equiv b$ . We treat the general case, uncovering in particular a much more complex and richer structure with respect to the $d=2$ case.

preprint2014arXiv

Hamiltonian elliptic systems: a guide to variational frameworks

Consider a Hamiltonian system of type $-Δu=H_{v}(u,v),\ -Δv=H_{u}(u,v) \ \ \text{ in } Ω, \qquad u,v=0 \text{ on } \partial Ω$ where $H$ is a power-type nonlinearity, for instance $H(u,v)= |u|^p/p+|v|^q/q$ , having subcritical growth, and $Ω$ is a bounded domain of $\mathbb{R}^N$ , $N\geq 1$ . The aim of this paper is to give an overview of the several variational frameworks that can be used to treat such a system. Within each approach, we address existence of solutions, and in particular of ground state solutions. Some of the available frameworks are more adequate to derive certain qualitative properties; we illustrate this in the second half of this survey, where we also review some of the most recent literature dealing mainly with symmetry, concentration, and multiplicity results. This paper contains some original results as well as new proofs and approaches to known facts.

preprint2014arXiv

New existence and symmetry results for least energy positive solutions of Schrödinger systems with mixed competition and cooperation terms

In this paper we focus on existence and symmetry properties of solutions to the cubic Schrödinger system $-Δu_i +λ_i u_i = \sum_{j=1}^d β_{ij} u_j^2 u_i \quad \text{in $Ω\subset \mathbb{R}^N$},\qquad i=1,\dots d$ where $d\geq 2$ , $λ_i,β_{ii}>0$ , $β_{ij}=β_{ji}\in \mathbb{R}$ for $j\neq i$ , $N=2,3$ . The underlying domain $Ω$ is either bounded or the whole space, and $u_i\in H^1_0(Ω)$ or $u_i\in H^1_{rad}(\mathbb{R}^N)$ respectively. We establish new existence and symmetry results for least energy positive solutions in the case of mixed cooperation and competition coefficients, as well as in the purely cooperative case.

preprint2014arXiv

Stable solitary waves with prescribed $L^2$ -mass for the cubic Schrödinger system with trapping potentials

For the cubic Schrödinger system with trapping potentials in $\mathbb{R}^N$ , $N\leq3$ , or in bounded domains, we investigate the existence and the orbital stability of standing waves having components with prescribed $L^2$ -mass. We provide a variational characterization of such solutions, which gives information on the stability through of a condition of Grillakis-Shatah-Strauss type. As an application, we show existence of conditionally orbitally stable solitary waves when: a) the masses are small, for almost every scattering lengths, and b) in the defocusing, weakly interacting case, for any masses.

preprint2013arXiv

Existence and orbital stability of the ground states with prescribed mass for the L^2-critical and supercritical NLS on bounded domains

We study solutions of a semilinear elliptic equation with prescribed mass and Dirichlet homogeneous boundary conditions in the unitary ball. Such problem arises in the search of solitary wave solutions for nonlinear Schrödinger equations (NLS) with Sobolev subcritical power nonlinearity on bounded domains. Necessary and sufficient conditions are provided for the existence of such solutions. Moreover, we show that standing waves associated to least energy solutions are always orbitally stable when the nonlinearity is L^2-critical and subcritical, while they are almost always stable in the L^2-supercritical regime. The proofs are obtained in connection with the study of a variational problem with two constraints, of independent interest: to maximize the L^{p+1}-norm among functions having prescribed L^2 and H^1_0-norm.

preprint2012arXiv

Existence and symmetry results for competing variational systems

In this paper we consider a class of gradient systems of type $-c_i Δu_i + V_i(x)u_i=P_{u_i}(u),\quad u_1,..., u_k>0 \text{in}Ω, \qquad u_1=...=u_k=0 \text{on} \partial Ω,$ in a bounded domain $Ω\subseteq \R^N$ . Under suitable assumptions on $V_i$ and $P$ , we prove the existence of ground-state solutions for this problem. Moreover, for $k=2$ , assuming that the domain $Ω$ and the potentials $V_i$ are radially symmetric, we prove that the ground state solutions are foliated Schwarz symmetric with respect to antipodal points. We provide several examples for our abstract framework.

preprint2012arXiv

Increasing powers in a degenerate parabolic logistic equation

The purpose of this paper is to study the asymptotic behavior of the positive solutions of the problem $\partial_t u-Δu=a u-b(x) u^p \text{in} Ω\times \R^+, u(0)=u_0, u(t)|_{\partial Ω}=0$ as $p\to +\infty$ , where $Ω$ is a bounded domain and $b(x)$ is a nonnegative function. We deduce that the limiting configuration solves a parabolic obstacle problem, and afterwards we fully describe its long time behavior.

preprint2011arXiv

Sign-changing solutions of competition-diffusion elliptic systems and optimal partition problems

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$ .

preprint2010arXiv

Existence and nonexistence of entire solutions for non-cooperative cubic elliptic systems

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.

preprint2010arXiv

Regularity of the nodal set of segregated critical configurations under a weak reflection law

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.

Hugo Tavares

Research overview

Is this your work?

21 publications

Free boundary regularity for a spectral optimal partition problem with volume and inclusion constraints

On the least-energy solutions of the pure Neumann Lane-Emden equation

Nodal Solutions for sublinear-type problems with Dirichlet boundary conditions

Regularity of all minimizers of a class of spectral partition problems

Dividing the circle

Hölder bounds and regularity of emerging free boundaries for strongly competing Schrödinger equations with nontrivial grouping

Paths to uniqueness of critical points and applications to partial differential equations

Spiked solutions for Schrödinger systems with Sobolev critical exponent: the cases of competitive and weakly cooperative interactions

Existence and symmetry of least energy nodal solutions for Hamiltonian elliptic systems

Extremality conditions and regularity of solutions to optimal partition problems involving Laplacian eigenvalues

Ground States for a nonlinear Schrödinger system with sublinear coupling terms

Semitrivial vs. fully nontrivial ground states in cooperative cubic Schrödinger systems with $d\ge3$ equations

Hamiltonian elliptic systems: a guide to variational frameworks

New existence and symmetry results for least energy positive solutions of Schrödinger systems with mixed competition and cooperation terms

Stable solitary waves with prescribed $L^2$ -mass for the cubic Schrödinger system with trapping potentials

Existence and orbital stability of the ground states with prescribed mass for the L^2-critical and supercritical NLS on bounded domains

Existence and symmetry results for competing variational systems

Increasing powers in a degenerate parabolic logistic equation

Sign-changing solutions of competition-diffusion elliptic systems and optimal partition problems

Existence and nonexistence of entire solutions for non-cooperative cubic elliptic systems

Regularity of the nodal set of segregated critical configurations under a weak reflection law

See the researcher in context

Building this map preview

Hugo Tavares

Research overview

Is this your work?

21 publications

Free boundary regularity for a spectral optimal partition problem with volume and inclusion constraints

On the least-energy solutions of the pure Neumann Lane-Emden equation

Nodal Solutions for sublinear-type problems with Dirichlet boundary conditions

Regularity of all minimizers of a class of spectral partition problems

Dividing the circle

Hölder bounds and regularity of emerging free boundaries for strongly competing Schrödinger equations with nontrivial grouping

Paths to uniqueness of critical points and applications to partial differential equations

Spiked solutions for Schrödinger systems with Sobolev critical exponent: the cases of competitive and weakly cooperative interactions

Existence and symmetry of least energy nodal solutions for Hamiltonian elliptic systems

Extremality conditions and regularity of solutions to optimal partition problems involving Laplacian eigenvalues

Ground States for a nonlinear Schrödinger system with sublinear coupling terms

Semitrivial vs. fully nontrivial ground states in cooperative cubic Schrödinger systems with d≥3d\ge3d≥3 equations

Hamiltonian elliptic systems: a guide to variational frameworks

New existence and symmetry results for least energy positive solutions of Schrödinger systems with mixed competition and cooperation terms

Stable solitary waves with prescribed L2L^2L2-mass for the cubic Schrödinger system with trapping potentials

Existence and orbital stability of the ground states with prescribed mass for the L^2-critical and supercritical NLS on bounded domains

Existence and symmetry results for competing variational systems

Increasing powers in a degenerate parabolic logistic equation

Sign-changing solutions of competition-diffusion elliptic systems and optimal partition problems

Existence and nonexistence of entire solutions for non-cooperative cubic elliptic systems

Regularity of the nodal set of segregated critical configurations under a weak reflection law

See the researcher in context

Building this map preview

Semitrivial vs. fully nontrivial ground states in cooperative cubic Schrödinger systems with $d\ge3$ equations

Stable solitary waves with prescribed $L^2$ -mass for the cubic Schrödinger system with trapping potentials