-
An asymptotic relationship between Lane-Emden systems and the 1-bilaplacian equation
Authors:
Nicola Abatangelo,
Alberto Saldaña,
Hugo Tavares
Abstract:
Consider the following Lane-Emden system with Dirichlet boundary conditions: \[ -ΔU = |V|^{β-1}V,\ -ΔV = |U|^{α-1}U \text{ in }Ω,\qquad U=V= 0 \text{ on }\partial Ω, \] in a bounded domain $Ω$, for $(α,β)$ subcritical. We study the asymptotic behavior of least-energy solutions when $β\to \infty$, for any fixed $α$ which, in the case $N\geq 3$, is smaller than $2/(N-2)$. We show that these solution…
▽ More
Consider the following Lane-Emden system with Dirichlet boundary conditions: \[ -ΔU = |V|^{β-1}V,\ -ΔV = |U|^{α-1}U \text{ in }Ω,\qquad U=V= 0 \text{ on }\partial Ω, \] in a bounded domain $Ω$, for $(α,β)$ subcritical. We study the asymptotic behavior of least-energy solutions when $β\to \infty$, for any fixed $α$ which, in the case $N\geq 3$, is smaller than $2/(N-2)$. We show that these solutions converge to least-energy solutions of a semilinear equation involving the 1-bilaplacian operator, establishing a new relationship between these objects. As a corollary, we deduce the asymptotic behavior of solutions to $p$-bilaplacian Lane-Emden equations as the power in the nonlinearity goes to infinity.
For the proof, we rely on the reduction by inversion method and on tools from nonsmooth analysis, considering an auxiliary nonlinear eigenvalue problem. We characterize its value in terms of the Green function, and prove a Faber-Krahn type result. In the case of a ball, we can characterize explicitly the eigenvalue, as well as the limit profile of least-energy solutions to the system as $β\to\infty$.
△ Less
Submitted 27 December, 2023;
originally announced December 2023.
-
Topics in elliptic problems: from semilinear equations to shape optimization
Authors:
Hugo Tavares
Abstract:
In this paper, which corresponds to an updated version of the author's Habilitation lecture in Mathematics, we do an overview of several topics in elliptic problems. We review some old and new results regarding the Lane-Emden equation, both under Dirichlet and Neumann boundary conditions, then focus on sign-changing solutions for Lane-Emden systems. We also survey some results regarding fully nont…
▽ More
In this paper, which corresponds to an updated version of the author's Habilitation lecture in Mathematics, we do an overview of several topics in elliptic problems. We review some old and new results regarding the Lane-Emden equation, both under Dirichlet and Neumann boundary conditions, then focus on sign-changing solutions for Lane-Emden systems. We also survey some results regarding fully nontrivial solutions to gradient elliptic systems with mixed cooperative and competitive interactions. We conclude by exhibiting results on optimal partition problems, with cost functions either related to Dirichlet eigenvalues or to the Yamabe equation. Several open problems are referred along the text.
△ Less
Submitted 11 March, 2024; v1 submitted 15 November, 2023;
originally announced November 2023.
-
Classification and stability of positive solutions to the NLS equation on the $\mathcal{T}$-metric graph
Authors:
Francisco Agostinho,
Simão Correia,
Hugo Tavares
Abstract:
Given $λ>0$ and $p>2$, we present a complete classification of the positive $H^1$-solutions of the equation $-u''+λu=|u|^{p-2}u$ on the $\mathcal{T}$-metric graph (consisting of two unbounded edges and a terminal edge of length $\ell>0$, all joined together at a single vertex). This study implies, in particular, the uniqueness of action ground states. Moreover, for $p\sim 6^-$, the notions of acti…
▽ More
Given $λ>0$ and $p>2$, we present a complete classification of the positive $H^1$-solutions of the equation $-u''+λu=|u|^{p-2}u$ on the $\mathcal{T}$-metric graph (consisting of two unbounded edges and a terminal edge of length $\ell>0$, all joined together at a single vertex). This study implies, in particular, the uniqueness of action ground states. Moreover, for $p\sim 6^-$, the notions of action and energy ground states do not coincide and energy ground states are not unique. In the $L^2$-supercritical case $p>6$, we prove that, for $λ\sim 0^+$ and $λ\sim +\infty$, action ground states are orbitally unstable for the flow generated by the associated time-dependent NLS equation $i\partial_tu + \partial^2_{xx} u + |u|^{p-2}u=0$. Finally, we provide numerical evidence of the uniqueness of energy ground states for $p\sim 2^+$ and of the existence of both stable and unstable action ground states for $p\sim6$.
△ Less
Submitted 24 November, 2023; v1 submitted 23 June, 2023;
originally announced June 2023.
-
Spectral partition problems with volume and inclusion constraints
Authors:
Pêdra D. S. Andrade,
Ederson Moreira dos Santos,
Makson S. Santos,
Hugo Tavares
Abstract:
In this paper, we discuss a class of spectral partition problems with a measure constraint, for partitions of a given bounded connected open set. We establish the existence of an optimal open partition, showing that the corresponding eigenfunctions are locally Lipschitz continuous, and obtain some qualitative properties for the partition. The proof uses an equivalent weak formulation that involves…
▽ More
In this paper, we discuss a class of spectral partition problems with a measure constraint, for partitions of a given bounded connected open set. We establish the existence of an optimal open partition, showing that the corresponding eigenfunctions are locally Lipschitz continuous, and obtain some qualitative properties for the partition. The proof uses an equivalent weak formulation that involves a minimization problem of a penalized functional where the variables are functions rather than domains, suitable deformations, blowup techniques, and a monotonicity formula.
△ Less
Submitted 21 June, 2023; v1 submitted 4 May, 2023;
originally announced May 2023.
-
Optimal uniform bounds for competing variational elliptic systems with variable coefficients
Authors:
Manuel Dias,
Hugo Tavares
Abstract:
Let $Ω\subset \mathbb{R}^N$ be an open set. In this work we consider solutions of the following gradient elliptic system \[ -\text{div}(A(x)\nabla u_{i,β}) = f_i(x,u_{i,β}) + a(x)β|u_{i, β}|^{γ-1}u_{i, β}
\mathop{\sum_{j=1}^l}_{j\neq i} |u_{j, β}|^{γ+ 1}, \] for $i=1,\ldots, l$. We work in the competitive case, namely $β<0$. Under suitable assumptions on $A$, $a$, $f_i$ and on the exponent $γ$,…
▽ More
Let $Ω\subset \mathbb{R}^N$ be an open set. In this work we consider solutions of the following gradient elliptic system \[ -\text{div}(A(x)\nabla u_{i,β}) = f_i(x,u_{i,β}) + a(x)β|u_{i, β}|^{γ-1}u_{i, β}
\mathop{\sum_{j=1}^l}_{j\neq i} |u_{j, β}|^{γ+ 1}, \] for $i=1,\ldots, l$. We work in the competitive case, namely $β<0$. Under suitable assumptions on $A$, $a$, $f_i$ and on the exponent $γ$, we prove that uniform $L^\infty$-bounds on families of positive solutions $\{u_β\}_{β<0}=\{(u_{1,β},\ldots, u_{l,β})\}_{β<0}$ imply uniform Lipschitz bounds (which are optimal).
One of the main points in the proof are suitable generalizations of Almgren's and Alt-Caffarelli-Friedman's monotonicity formulas for solutions of such systems. Our work generalizes previous results, where the case $A(x)=Id$ (i.e. the operator is the Laplacian) was treated.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Double Multiple-Relaxation-Time model of Lattice-Boltzmann Magnetohydrodynamics at Low Magnetic Reynolds Numbers
Authors:
Bruno Magacho,
Hugo Saraiva Tavares,
Luca Moriconi,
Juliana Loureiro
Abstract:
We develop an improved lattice-Boltzmann numerical scheme to solve magnetohydrodynamic (MHD) equations in the regime of low magnetic Reynolds numbers, grounded on a manifestly Galilean covariant modeling of the Navier-Stokes equations. The simulation of the magnetic induction equation within the lattice-Boltzmann approach to MHD has been usually devised along the lines of the simplest phenomenolog…
▽ More
We develop an improved lattice-Boltzmann numerical scheme to solve magnetohydrodynamic (MHD) equations in the regime of low magnetic Reynolds numbers, grounded on a manifestly Galilean covariant modeling of the Navier-Stokes equations. The simulation of the magnetic induction equation within the lattice-Boltzmann approach to MHD has been usually devised along the lines of the simplest phenomenological description, the single relaxation time (SRT) model. In order to deal with well-known stability difficulties of the SRT framework, we introduce, alternatively, a multi-relaxation-time technique for the solution of the magnetic induction equation, combined with a novel boundary condition method to cope with the subtleties of magnetic Boltzmann-like distributions on curved boundaries. As an application, we investigate open issues related to the description of transient flow regimes in MHD pipe flows, subject to non-uniform magnetic fields.
△ Less
Submitted 20 November, 2022;
originally announced November 2022.
-
A simplified lattice Boltzmann implementation of the quasi-static approximation in pipe flows under the presence of non-uniform magnetic fields
Authors:
Hugo S. Tavares,
Bruno Magacho,
Luca Moriconi,
Juliana B. R. Loureiro
Abstract:
We propose a single-step simplified lattice Boltzmann algorithm capable of performing magnetohydrodynamic (MHD) flow simulations in pipes for very small values of magnetic Reynolds numbers $R_m$. In some previous works, most lattice Boltzmann simulations are performed with values of $R_m$ close to the Reynolds numbers for flows in simplified rectangular geometries. One of the reasons is the limita…
▽ More
We propose a single-step simplified lattice Boltzmann algorithm capable of performing magnetohydrodynamic (MHD) flow simulations in pipes for very small values of magnetic Reynolds numbers $R_m$. In some previous works, most lattice Boltzmann simulations are performed with values of $R_m$ close to the Reynolds numbers for flows in simplified rectangular geometries. One of the reasons is the limitation of some traditional lattice Boltzmann algorithms in dealing with situations involving very small magnetic diffusion time scales associated with most industrial applications in MHD, which require the use of the so-called quasi-static (QS) approximation. Another reason is related to the significant dependence that many boundary conditions methods for lattice Boltzmann have on the relaxation time parameter. In this work, to overcome the mentioned limitations, we introduce an improved simplified algorithm for velocity and magnetic fields which is able to directly solve the equations of the QS approximation, among other systems, without preconditioning procedures. In these algorithms, the effects of solid insulating boundaries are included by using an improved explicit immersed boundary algorithm, whose accuracy is not affected by the values of $R_m$. Some validations with classic benchmarks and the analysis of the energy balance in examples including uniform and non-uniform magnetic fields are shown in this work. Furthermore, a progressive transition between the scenario described by the QS approximation and the MHD canonical equations in pipe flows is visualized by studying the evolution of the magnetic energy balance in examples with unsteady flows.
△ Less
Submitted 17 January, 2023; v1 submitted 17 November, 2022;
originally announced November 2022.
-
Existence of solutions on the critical hyperbola for a pure Lane-Emden system with Neumann boundary conditions
Authors:
Angela Pistoia,
Delia Schiera,
Hugo Tavares
Abstract:
We study the following Lane-Emden system \[ -Δu=|v|^{q-1}v \quad \text{ in } Ω, \qquad -Δv=|u|^{p-1}u \quad \text{ in } Ω, \qquad u_ν=v_ν=0 \quad \text{ on } \partial Ω, \] with $Ω$ a bounded regular domain of $\mathbb{R}^N$, $N \ge 4$, and exponents $p, q$ belonging to the so-called critical hyperbola $1/(p+1)+1/(q+1)=(N-2)/N$. We show that, under suitable conditions on $p, q$, least-energy (sign…
▽ More
We study the following Lane-Emden system \[ -Δu=|v|^{q-1}v \quad \text{ in } Ω, \qquad -Δv=|u|^{p-1}u \quad \text{ in } Ω, \qquad u_ν=v_ν=0 \quad \text{ on } \partial Ω, \] with $Ω$ a bounded regular domain of $\mathbb{R}^N$, $N \ge 4$, and exponents $p, q$ belonging to the so-called critical hyperbola $1/(p+1)+1/(q+1)=(N-2)/N$. We show that, under suitable conditions on $p, q$, least-energy (sign-changing) solutions exist, and they are classical. In the proof we exploit a dual variational formulation which allows to deal with the strong indefinite character of the problem. We establish a compactness condition which is based on a new Cherrier type inequality. We then prove such condition by using as test functions the solutions to the system in the whole space and performing delicate asymptotic estimates. If $N \ge 5$, $p=1$, the system above reduces to a biharmonic equation, for which we also prove existence of least-energy solutions. Finally, we prove some partial symmetry and symmetry-breaking results in the case $Ω$ is a ball or an annulus.
△ Less
Submitted 20 June, 2023; v1 submitted 9 November, 2022;
originally announced November 2022.
-
Intrinsic polynomial squeezing for Balakrishnan-Taylor beam models
Authors:
E. H. Gomes Tavares,
M. A. Jorge Silva,
V. Narciso,
A. Vicente
Abstract:
We explore the energy decay properties related to a model in extensible beams with the so-called energy dam**. We investigate the influence of the nonloncal dam** coefficient in the stability of the model. We prove, for the first time, that the corresponding energy functional is squeezed by polynomial-like functions involving the power of the dam** coefficient, which arises intrinsically fro…
▽ More
We explore the energy decay properties related to a model in extensible beams with the so-called energy dam**. We investigate the influence of the nonloncal dam** coefficient in the stability of the model. We prove, for the first time, that the corresponding energy functional is squeezed by polynomial-like functions involving the power of the dam** coefficient, which arises intrinsically from the Balakrishnan-Taylor beam models. As a consequence, it is shown that such models with nonlocal energy dam** are never exponentially stable in its essence.
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
Dynamics of a class of extensible beams with degenerate and non-degenerate nonlocal dam**
Authors:
Eduardo H. Gomes Tavares,
Marcio A. Jorge Silva,
Vando Narciso,
André Vicente
Abstract:
This work is concerned with new results on long-time dynamics of a class of hyperbolic evolution equations related to extensible beams with three distinguished nonlocal nonlinear dam** terms. In the first possibly degenerate case, the results feature the existence of a family of compact global attractors and a thickness estimate for their Kolmogorov's $\varepsilon$-entropy. Then, in the non-dege…
▽ More
This work is concerned with new results on long-time dynamics of a class of hyperbolic evolution equations related to extensible beams with three distinguished nonlocal nonlinear dam** terms. In the first possibly degenerate case, the results feature the existence of a family of compact global attractors and a thickness estimate for their Kolmogorov's $\varepsilon$-entropy. Then, in the non-degenerate context, the structure of the helpful nonlocal dam** leads to the existence of finite-dimensional compact global and exponential attractors. Lastly, in a degenerate and critical framework, it is proved the existence of a bounded closed global attractor but not compact. To the proofs, we provide several new technical results by means of refined estimates that open up perspectives for a new branch of nonlinearly damped problems.
△ Less
Submitted 30 October, 2022;
originally announced October 2022.
-
Existence of solutions to a slightly supercritical pure Neumann problem
Authors:
Angela Pistoia,
Alberto Saldaña,
Hugo Tavares
Abstract:
We show the existence and multiplicity of concentrating solutions to a pure Neumann slightly supercritical problem in a ball. This is the first existence result for this kind of problems in the supercritical regime. Since the solutions must satisfy a compatibility condition of zero average, all of them have to change sign. Our proofs are based on a Lyapunov-Schmidt reduction argument which incorpo…
▽ More
We show the existence and multiplicity of concentrating solutions to a pure Neumann slightly supercritical problem in a ball. This is the first existence result for this kind of problems in the supercritical regime. Since the solutions must satisfy a compatibility condition of zero average, all of them have to change sign. Our proofs are based on a Lyapunov-Schmidt reduction argument which incorporates the zero-average condition using suitable symmetries. Our approach also guarantees the existence and multiplicity of solutions to subcritical Neumann problems in annuli. More general symmetric domains (e.g. ellipsoids) are also discussed.
△ Less
Submitted 3 March, 2023; v1 submitted 5 September, 2022;
originally announced September 2022.
-
Least energy positive solutions of critical Schrödinger systems with mixed competition and cooperation terms: the higher dimensional case
Authors:
Hugo Tavares,
Song You,
Wenming Zou
Abstract:
Let $Ω\subset \mathbb{R}^{N}$ be a smooth bounded domain. In this paper we investigate the existence of least energy positive solutions to the following Schrödinger system with $d\geq 2$ equations \begin{equation*} -Δu_{i}+λ_{i}u_{i}=|u_{i}|^{p-2}u_{i}\sum_{j = 1}^{d}β_{ij}|u_{j}|^{p} \text{ in } Ω, \quad u_i=0 \text{ on } \partial Ω, \qquad i=1,...,d, \end{equation*} in the case of a critical exp…
▽ More
Let $Ω\subset \mathbb{R}^{N}$ be a smooth bounded domain. In this paper we investigate the existence of least energy positive solutions to the following Schrödinger system with $d\geq 2$ equations \begin{equation*} -Δu_{i}+λ_{i}u_{i}=|u_{i}|^{p-2}u_{i}\sum_{j = 1}^{d}β_{ij}|u_{j}|^{p} \text{ in } Ω, \quad u_i=0 \text{ on } \partial Ω, \qquad i=1,...,d, \end{equation*} in the case of a critical exponent $2p=2^*=\frac{2N}{N-2}$ in high dimensions $N\geq 5$. We treat the focusing case ($β_{ii}>0$ for every $i$) in the variational setting $β_{ij}=β_{ji}$ for every $i\neq j$, dealing with a Brézis-Nirenberg type problem: $-λ_{1}(Ω)<λ_{i}<0$, where $λ_{1}(Ω)$ is the first eigenvalue of $(-Δ,H^1_0(Ω))$. We provide several sufficient conditions on the coefficients $β_{ij}$ that ensure the existence of least energy positive solutions; these include the situations of pure cooperation ($β_{ij}> 0$ for every $i\neq j$), pure competition ($β_{ij}\leq 0$ for every $i\neq j$) and coexistence of both cooperation and competition coefficients. Some proofs depend heavily on the fact that $1<p<2$, revealing some different phenomena comparing to the special case $N=4$.
Our results provide a rather complete picture in the particular situation where the components are divided in two groups. Besides, based on the results about a phase separation phenomena, we prove the existence of least energy sign-changing solution to the Brézis-Nirenberg problem \[ -Δu+λu=μ|u|^{2^*-2}u,\quad u\in H^1_0(Ω), \] for $μ>0$, $-λ_1(Ω)<λ<0$ for all $N\geq 4$, a result which is new in dimensions $N=4,5$.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Free boundary problems with long-range interactions: uniform Lipschitz estimates in the radius
Authors:
Nicola Soave,
Hugo Tavares,
Alessandro Zilio
Abstract:
Consider the class of optimal partition problems with long range interactions \[ \inf \left\{ \sum_{i=1}^k λ_1(ω_i):\ (ω_1,\ldots, ω_k) \in \mathcal{P}_r(Ω) \right\}, \] where $λ_1(\cdot)$ denotes the first Dirichlet eigenvalue, and $\mathcal{P}_r(Ω)$ is the set of open $k$-partitions of $Ω$ whose elements are at distance at least $r$: $\textrm{dist}(ω_i,ω_j)\geq r$ for every $i\neq j$. In this pa…
▽ More
Consider the class of optimal partition problems with long range interactions \[ \inf \left\{ \sum_{i=1}^k λ_1(ω_i):\ (ω_1,\ldots, ω_k) \in \mathcal{P}_r(Ω) \right\}, \] where $λ_1(\cdot)$ denotes the first Dirichlet eigenvalue, and $\mathcal{P}_r(Ω)$ is the set of open $k$-partitions of $Ω$ whose elements are at distance at least $r$: $\textrm{dist}(ω_i,ω_j)\geq r$ for every $i\neq j$. In this paper we prove optimal uniform bounds (as $r\to 0^+$) in $\mathrm{Lip}$-norm for the associated $L^2$-normalized eigenfunctions, connecting in particular the nonlocal case $r>0$ with the local one $r \to 0^+$.
The proof uses new pointwise estimates for eigenfunctions, a one-phase Alt-Caffarelli-Friedman and the Caffarelli-Jerison-Kenig monotonicity formulas, combined with elliptic and energy estimates. Our result extends to other contexts, such as singularly perturbed harmonic maps with distance constraints.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Yamabe systems, optimal partitions, and nodal solutions to the Yamabe equation
Authors:
Mónica Clapp,
Angela Pistoia,
Hugo Tavares
Abstract:
We give conditions for the existence of regular optimal partitions, with an arbitrary number $\ell\geq 2$ of components, for the Yamabe equation on a closed Riemannian manifold $(M,g)$.
To this aim, we study a weakly coupled competitive elliptic system of $\ell$ equations, related to the Yamabe equation. We show that this system has a least energy solution with nontrivial components if…
▽ More
We give conditions for the existence of regular optimal partitions, with an arbitrary number $\ell\geq 2$ of components, for the Yamabe equation on a closed Riemannian manifold $(M,g)$.
To this aim, we study a weakly coupled competitive elliptic system of $\ell$ equations, related to the Yamabe equation. We show that this system has a least energy solution with nontrivial components if $\dim M\geq 10$, $(M,g)$ is not locally conformally flat and satisfies an additional geometric assumption whenever $\dim M=10$. Moreover, we show that the limit profiles of the components of the solution separate spatially as the competition parameter goes to $-\infty$, giving rise to an optimal partition. We show that this partition exhausts the whole manifold, and we prove the regularity of both the interfaces and the limit profiles, together with a free boundary condition.
For $\ell=2$ the optimal partition obtained yields a least energy sign-changing solution to the Yamabe equation with precisely two nodal domains.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
On the least-energy solutions of the pure Neumann Lane-Emden equation
Authors:
Alberto Saldaña,
Hugo Tavares
Abstract:
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$;…
▽ More
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.
△ Less
Submitted 19 January, 2021;
originally announced January 2021.
-
Validation and application of the lattice Boltzmann algorithm for a turbulent immiscible Rayleigh-Taylor system
Authors:
Hugo S. Tavares,
Luca Biferale,
Mauro Sbragaglia,
Alexei A. Mailybaev
Abstract:
We develop a multicomponent lattice Boltzmann (LB) model for the 2D Rayleigh--Taylor turbulence with a Shan-Chen pseudopotential implemented on GPUs. In the immiscible case this method is able to accurately overcome the inherent numerical complexity caused by the complicated structure of the interface that appears in the fully developed turbulent regime. Accuracy of the LB model is tested both for…
▽ More
We develop a multicomponent lattice Boltzmann (LB) model for the 2D Rayleigh--Taylor turbulence with a Shan-Chen pseudopotential implemented on GPUs. In the immiscible case this method is able to accurately overcome the inherent numerical complexity caused by the complicated structure of the interface that appears in the fully developed turbulent regime. Accuracy of the LB model is tested both for early and late stages of instability. For the developed turbulent motion we analyze the balance between different terms describing variations of the kinetic and potential energies. Then, we analyze the role of interface in the energy balance, and also the effects of the vorticity induced by the interface in the energy dissipation. Statistical properties are compared for miscible and immiscible flows. Our results can also be considered as a first validation step to extend the application of LB model to 3D immiscible Rayleigh-Taylor turbulence.
△ Less
Submitted 9 December, 2021; v1 submitted 12 January, 2021;
originally announced January 2021.
-
Principal spectral curves for Lane-Emden fully nonlinear type systems and applications
Authors:
Ederson Moreira dos Santos,
Gabrielle Nornberg,
Delia Schiera,
Hugo Tavares
Abstract:
In this paper we exploit the phenomenon of two principal half eigenvalues in the context of fully nonlinear Lane-Emden type systems with possibly unbounded coefficients and weights. We show that this gives rise to the existence of two principal spectral curves on the plane. We also construct a possible third spectral curve related to a second eigenvalue and an anti-maximum principle, which are nov…
▽ More
In this paper we exploit the phenomenon of two principal half eigenvalues in the context of fully nonlinear Lane-Emden type systems with possibly unbounded coefficients and weights. We show that this gives rise to the existence of two principal spectral curves on the plane. We also construct a possible third spectral curve related to a second eigenvalue and an anti-maximum principle, which are novelties even for Lane-Emden systems involving linear operators. As applications, we derive a maximum principle in small domains for these systems, as well as existence and uniqueness of positive solutions in the sublinear regime. Most of our results are new even in the scalar case, in particular for a class of Isaac's operators with unbounded coefficients, whose $W^{2,\varrho}$ regularity estimates we also prove.
△ Less
Submitted 23 December, 2021; v1 submitted 14 December, 2020;
originally announced December 2020.
-
Immiscible Rayleigh-Taylor turbulence using mesoscopic lattice Boltzmann algorithms
Authors:
Hugo S. Tavares,
Luca Biferale,
Mauro Sbragaglia,
Alexei A. Mailybaev
Abstract:
We studied turbulence induced by the Rayleigh-Taylor (RT) instability for 2D immiscible two-component flows by using a multicomponent lattice Boltzmann method with a Shan-Chen pseudopotential implemented on GPUs. We compare our results with the extension to the 2D case of the phenomenological theory for immiscible 3D RT studied by Chertkov and collaborators ({\it Physical Review E 71, 055301, 2005…
▽ More
We studied turbulence induced by the Rayleigh-Taylor (RT) instability for 2D immiscible two-component flows by using a multicomponent lattice Boltzmann method with a Shan-Chen pseudopotential implemented on GPUs. We compare our results with the extension to the 2D case of the phenomenological theory for immiscible 3D RT studied by Chertkov and collaborators ({\it Physical Review E 71, 055301, 2005}). Furthermore, we compared the growth of the mixing layer, typical velocity, average density profiles and enstrophy with the equivalent case but for miscible two-component fluid. Both in the miscible and immiscible cases, the expected quadratic growth of the mixing layer and the linear growth of the typical velocity are observed with close long-time asymptotic prefactors but different initial transients. In the immiscible case, the enstrophy shows a tendency to grow like $\propto t^{3/2}$, with the highest values of vorticity concentrated close to the interface. In addition, we investigate the evolution of the typical drop size and the behavior of the total length of the interface in the emulsion-like state, showing the existence of a power law behavior compatible with our phenomenological predictions. Our results can also be considered as a first validation step to extend the application of lattice Boltzmann tool to study the 3D immiscible case.
△ Less
Submitted 31 May, 2021; v1 submitted 31 August, 2020;
originally announced September 2020.
-
Nodal Solutions for sublinear-type problems with Dirichlet boundary conditions
Authors:
Denis Bonheure,
Ederson Moreira dos Santos,
Enea Parini,
Hugo Tavares,
Tobias Weth
Abstract:
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(Ω)$…
▽ More
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.
△ Less
Submitted 30 March, 2020;
originally announced March 2020.
-
Regularity of all minimizers of a class of spectral partition problems
Authors:
Hugo Tavares,
Alessandro Zilio
Abstract:
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…
▽ More
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.
△ Less
Submitted 10 February, 2020;
originally announced February 2020.
-
Existence of least energy positive solutions to Schrödinger systems with mixed competition and cooperation terms: the critical case
Authors:
Hugo Tavares,
Song You
Abstract:
In this paper we investigate the existence of solutions to the following Schrödinger system in the critical case \begin{equation*} -Δu_{i}+λ_{i}u_{i}=u_{i}\sum_{j = 1}^{d}β_{ij}u_{j}^{2} \text{ in } Ω, \quad u_i=0 \text{ on } \partial Ω, \qquad i=1,...,d. \end{equation*} Here, $Ω\subset \mathbb{R}^{4}$ is a smooth bounded domain, $d\geq 2$, $-λ_{1}(Ω)<λ_{i}<0$ and $β_{ii}>0$ for every $i$,…
▽ More
In this paper we investigate the existence of solutions to the following Schrödinger system in the critical case \begin{equation*} -Δu_{i}+λ_{i}u_{i}=u_{i}\sum_{j = 1}^{d}β_{ij}u_{j}^{2} \text{ in } Ω, \quad u_i=0 \text{ on } \partial Ω, \qquad i=1,...,d. \end{equation*} Here, $Ω\subset \mathbb{R}^{4}$ is a smooth bounded domain, $d\geq 2$, $-λ_{1}(Ω)<λ_{i}<0$ and $β_{ii}>0$ for every $i$, $β_{ij}=β_{ji}$ for $i\neq j$, where $λ_{1}(Ω)$ is the first eigenvalue of $-Δ$ with Dirichlet boundary conditions. Under the assumption that the components are divided into $m$ groups, and that $β_{ij}\geq 0$ (cooperation) whenever components $i$ and $j$ belong to the same group, while $β_{ij}<0$ or $β_{ij}$ is positive and small (competition or weak cooperation) for components $i$ and $j$ belonging to different groups, we establish the existence of nonnegative solutions with $m$ nontrivial components, as well as classification results. Moreover, under additional assumptions on $β_{ij}$, we establish existence of least energy positive solutions in the case of mixed cooperation and competition. The proof is done by induction on the number of groups, and requires new estimates comparing energy levels of the system with those of appropriate sub-systems. In the case $Ω=\mathbb{R}^4$ and $λ_1=\ldots=λ_m=0$, we present new nonexistence results. This paper can be seen as the counterpart of [Soave-Tavares, J. Differential Equations 261 (2016), 505-537] in the critical case, while extending and improving some results from [Chen-Zou, Arch. Ration. Mech. Anal. 205 (2012), 515--551], [Guo-Luo-Zou, Nonlinearity 31 (2018), 314--339].
△ Less
Submitted 30 August, 2019; v1 submitted 29 August, 2019;
originally announced August 2019.
-
A fountain of positive Bubbles on a Coron's Problem for a Competitive Weakly Coupled Gradient System
Authors:
Angela Pistoia,
Nicola Soave,
Hugo Tavares
Abstract:
We consider the following critical elliptic system: \begin{equation*} \begin{cases} -Δu_i=μ_i u_i^{3}+βu_i^{ } \sum\limits_{j\neq i} u_j^{2} \quad \hbox{in}\ Ω_\varepsilon \\ u_i=0 \hbox{ on } \partialΩ_\varepsilon , \qquad u_i>0 \hbox{ in } Ω_\varepsilon \end{cases}\qquad i=1,\ldots, m, \end{equation*} in a domain $Ω_\varepsilon \subset \mathbb{R}^4$ with a small shrinking hole…
▽ More
We consider the following critical elliptic system: \begin{equation*} \begin{cases} -Δu_i=μ_i u_i^{3}+βu_i^{ } \sum\limits_{j\neq i} u_j^{2} \quad \hbox{in}\ Ω_\varepsilon \\ u_i=0 \hbox{ on } \partialΩ_\varepsilon , \qquad u_i>0 \hbox{ in } Ω_\varepsilon \end{cases}\qquad i=1,\ldots, m, \end{equation*} in a domain $Ω_\varepsilon \subset \mathbb{R}^4$ with a small shrinking hole $B_\varepsilon(ξ_0)$. For $μ_i>0$, $β<0$, and $\varepsilon>0$ small, we prove the existence of a non-synchronized solution which looks like a fountain of positive bubbles, i.e. each component $u_i$ exhibits a towering blow-up around $ξ_0$ as $\varepsilon \to 0$. The proof is based on the Ljapunov-Schmidt reduction method, and the velocity of concentration of each layer within a given tower is chosen in such a way that the interaction between bubbles of different components balance the interaction of the first bubble of each component with the boundary of the domain, and in addition is dominant when compared with the interaction of two consecutive bubbles of the same component.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
Bose fluids and positive solutions to weakly coupled systems with critical growth in dimension two
Authors:
Daniele Cassani,
Hugo Tavares,
Jianjun Zhang
Abstract:
We prove, using variational methods, the existence in dimension two of positive vector ground states solutions for the Bose-Einstein type systems \begin{equation} \begin{cases} -Δu+λ_1u=μ_1u(e^{u^2}-1)+βv\left(e^{uv}-1\right) \text{ in } Ω, &\\ -Δv+λ_2v=μ_2v(e^{v^2}-1)+βu\left(e^{uv}-1\right)\text{ in } Ω, &\\ u,v\in H^1_0(Ω) \end{cases} \end{equation} where $Ω$ is a bounded smooth domain,…
▽ More
We prove, using variational methods, the existence in dimension two of positive vector ground states solutions for the Bose-Einstein type systems \begin{equation} \begin{cases} -Δu+λ_1u=μ_1u(e^{u^2}-1)+βv\left(e^{uv}-1\right) \text{ in } Ω, &\\ -Δv+λ_2v=μ_2v(e^{v^2}-1)+βu\left(e^{uv}-1\right)\text{ in } Ω, &\\ u,v\in H^1_0(Ω) \end{cases} \end{equation} where $Ω$ is a bounded smooth domain, $λ_1,λ_2>-Λ_1$ (the first eigenvalue of $(-Δ,H^1_0(Ω))$, $μ_1,μ_2>0$ and $β$ is either positive (small or large) or negative (small). The nonlinear interaction between two Bose fluids is assumed to be of critical exponential type in the sense of J. Moser. For `small' solutions the system is asymptotically equivalent to the corresponding one in higher dimensions with power-like nonlinearities.
△ Less
Submitted 10 October, 2018;
originally announced October 2018.
-
Clustering genomic words in human DNA using peaks and trends of distributions
Authors:
Ana Helena Tavares,
Jakob Raymaekers,
Peter J. Rousseeuw,
Paula Brito,
Vera Afreixo
Abstract:
In this work we seek clusters of genomic words in human DNA by studying their inter-word lag distributions. Due to the particularly spiked nature of these histograms, a clustering procedure is proposed that first decomposes each distribution into a baseline and a peak distribution. An outlier-robust fitting method is used to estimate the baseline distribution (the `trend'), and a sparse vector of…
▽ More
In this work we seek clusters of genomic words in human DNA by studying their inter-word lag distributions. Due to the particularly spiked nature of these histograms, a clustering procedure is proposed that first decomposes each distribution into a baseline and a peak distribution. An outlier-robust fitting method is used to estimate the baseline distribution (the `trend'), and a sparse vector of detrended data captures the peak structure. A simulation study demonstrates the effectiveness of the clustering procedure in grou** distributions with similar peak behavior and/or baseline features. The procedure is applied to investigate similarities between the distribution patterns of genomic words of lengths 3 and 5 in the human genome. These experiments demonstrate the potential of the new method for identifying words with similar distance patterns.
△ Less
Submitted 13 August, 2018;
originally announced August 2018.
-
Normalized solutions for Nonlinear Schrödinger systems on bounded domains
Authors:
Benedetta Noris,
Hugo Tavares,
Gianmaria Verzini
Abstract:
We analyze $L^2$-normalized solutions of nonlinear Schrödinger systems of Gross-Pitaevskii type, on bounded domains, with homogeneous Dirichlet boundary conditions. We provide sufficient conditions for the existence of orbitally stable standing waves. Such waves correspond to global minimizers of the associated energy in the $L^2$-subcritical and critical cases, and to local ones in the $L^2$-supe…
▽ More
We analyze $L^2$-normalized solutions of nonlinear Schrödinger systems of Gross-Pitaevskii type, on bounded domains, with homogeneous Dirichlet boundary conditions. We provide sufficient conditions for the existence of orbitally stable standing waves. Such waves correspond to global minimizers of the associated energy in the $L^2$-subcritical and critical cases, and to local ones in the $L^2$-supercritical case. Notably, our study includes also the Sobolev-critical case.
△ Less
Submitted 9 July, 2018;
originally announced July 2018.
-
Sharp concentration estimates near criticality for radial sign-changing solutions of Dirichlet and Neumann problems
Authors:
Massimo Grossi,
Alberto Saldaña,
Hugo Tavares
Abstract:
We consider radial solutions of the slightly subcritical problem $-Δu_\varepsilon = |u_\varepsilon|^{\frac{4}{n-2}-\varepsilon}u_\varepsilon$ either on $\mathbb R^n$ ($n\geq 3$) or in a ball $B$ satisfying Dirichlet or Neumann boundary conditions. In particular, we provide sharp rates and constants describing the asymptotic behavior (as $\varepsilon\to 0$) of all local minima and maxima of…
▽ More
We consider radial solutions of the slightly subcritical problem $-Δu_\varepsilon = |u_\varepsilon|^{\frac{4}{n-2}-\varepsilon}u_\varepsilon$ either on $\mathbb R^n$ ($n\geq 3$) or in a ball $B$ satisfying Dirichlet or Neumann boundary conditions. In particular, we provide sharp rates and constants describing the asymptotic behavior (as $\varepsilon\to 0$) of all local minima and maxima of $u_\varepsilon$ as well as its derivative at roots. Our proof is done by induction and uses energy estimates, blow-up/normalization techniques, a radial pointwise Pohozaev identity, and some ODE arguments. As corollaries, we complement a known asymptotic approximation of the Dirichlet nodal solution in terms of a tower of bubbles and present a similar formula for the Neumann problem.
△ Less
Submitted 25 June, 2018;
originally announced June 2018.
-
Comparing reverse complementary genomic words based on their distance distributions and frequencies
Authors:
Ana Helena Tavares,
Jakob Raymaekers,
Peter Rousseeuw,
Raquel M. Silva,
Carlos A. C. Bastos,
Armando Pinho,
Paula Brito,
Vera Afreixo
Abstract:
In this work we study reverse complementary genomic word pairs in the human DNA, by comparing both the distance distribution and the frequency of a word to those of its reverse complement. Several measures of dissimilarity between distance distributions are considered, and it is found that the peak dissimilarity works best in this setting. We report the existence of reverse complementary word pair…
▽ More
In this work we study reverse complementary genomic word pairs in the human DNA, by comparing both the distance distribution and the frequency of a word to those of its reverse complement. Several measures of dissimilarity between distance distributions are considered, and it is found that the peak dissimilarity works best in this setting. We report the existence of reverse complementary word pairs with very dissimilar distance distributions, as well as word pairs with very similar distance distributions even when both distributions are irregular and contain strong peaks. The association between distribution dissimilarity and frequency discrepancy is explored also, and it is speculated that symmetric pairs combining low and high values of each measure may uncover features of interest. Taken together, our results suggest that some asymmetries in the human genome go far beyond Chargaff's rules. This study uses both the complete human genome and its repeat-masked version.
△ Less
Submitted 6 October, 2017;
originally announced October 2017.
-
Least energy nodal solutions of Hamiltonian elliptic systems with Neumann boundary conditions
Authors:
Alberto Saldaña,
Hugo Tavares
Abstract:
We study existence, regularity, and qualitative properties of solutions to the system \[
-Δu = |v|^{q-1} v\quad \text{ in }Ω,\qquad -Δv = |u|^{p-1} u\quad \text{ in }Ω,\qquad \partial_νu=\partial_νv=0\quad \text{ on }\partialΩ, \] with $Ω\subset \mathbb R^N$ bounded; in this setting, all nontrivial solutions are sign changing. Our proofs use a variational formulation in dual spaces, considering…
▽ More
We study existence, regularity, and qualitative properties of solutions to the system \[
-Δu = |v|^{q-1} v\quad \text{ in }Ω,\qquad -Δv = |u|^{p-1} u\quad \text{ in }Ω,\qquad \partial_νu=\partial_νv=0\quad \text{ on }\partialΩ, \] with $Ω\subset \mathbb R^N$ bounded; in this setting, all nontrivial solutions are sign changing. Our proofs use a variational formulation in dual spaces, considering sublinear $pq< 1$ and superlinear $pq>1$ problems in the subcritical regime. In balls and annuli we show that least energy solutions (l.e.s.) are foliated Schwarz symmetric and, due to a symmetry-breaking phenomenon, l.e.s. are not radial functions; a key element in the proof is a new $L^t$-norm-preserving transformation, which combines a suitable flip** with a decreasing rearrangement. This combination allows us to treat annular domains, sign-changing functions, and Neumann problems, which are non-standard settings to use rearrangements and symmetrizations. In particular, we show that our transformation diminishes the (dual) energy and, as a consequence, radial l.e.s. are strictly monotone. We also study unique continuation properties and simplicity of zeros. Our theorems also apply to the scalar associated model, where our approach provides new results as well as alternative proofs of known facts.
△ Less
Submitted 2 May, 2018; v1 submitted 26 June, 2017;
originally announced June 2017.
-
Dissimilar Symmetric Word Pairs in the Human Genome
Authors:
Ana Helena Tavares,
Jakob Raymaekers,
Peter J. Rousseeuw,
Raquel M. Silva,
Carlos A. C. Bastos,
Armando Pinho,
Paula Brito,
Vera Afreixo
Abstract:
In this work we explore the dissimilarity between symmetric word pairs, by comparing the inter-word distance distribution of a word to that of its reversed complement. We propose a new measure of dissimilarity between such distributions. Since symmetric pairs with different patterns could point to evolutionary features, we search for the pairs with the most dissimilar behaviour. We focus our study…
▽ More
In this work we explore the dissimilarity between symmetric word pairs, by comparing the inter-word distance distribution of a word to that of its reversed complement. We propose a new measure of dissimilarity between such distributions. Since symmetric pairs with different patterns could point to evolutionary features, we search for the pairs with the most dissimilar behaviour. We focus our study on the complete human genome and its repeat-masked version.
△ Less
Submitted 5 July, 2017; v1 submitted 14 February, 2017;
originally announced February 2017.
-
Variational problems with long-range interaction
Authors:
Nicola Soave,
Hugo Tavares,
Susanna Terracini,
Alessandro Zilio
Abstract:
We consider a class of variational problems for densities that repel each other at distance. Typical examples are given by the Dirichlet functional and the Rayleigh functional \[
D(\mathbf{u}) = \sum_{i=1}^k \int_Ω |\nabla u_i|^2 \quad \text{or} \quad R(\mathbf{u}) = \sum_{i=1}^k \frac{\int_Ω |\nabla u_i|^2}{\int_Ω u_i^2} \] minimized in the class of $H^1(Ω,\mathbb{R}^k)$ functions attaining som…
▽ More
We consider a class of variational problems for densities that repel each other at distance. Typical examples are given by the Dirichlet functional and the Rayleigh functional \[
D(\mathbf{u}) = \sum_{i=1}^k \int_Ω |\nabla u_i|^2 \quad \text{or} \quad R(\mathbf{u}) = \sum_{i=1}^k \frac{\int_Ω |\nabla u_i|^2}{\int_Ω u_i^2} \] minimized in the class of $H^1(Ω,\mathbb{R}^k)$ functions attaining some boundary conditions on $\partial Ω$, and subjected to the constraint \[
\mathrm{dist} (\{u_i > 0\}, \{u_j > 0\}) \ge 1 \qquad \forall i \neq j. \] For these problems, we investigate the optimal regularity of the solutions, prove a free-boundary condition, and derive some preliminary results characterizing the free boundary $\partial \{\sum_{i=1}^k u_i > 0\}$.
△ Less
Submitted 18 January, 2017;
originally announced January 2017.
-
Paths to uniqueness of critical points and applications to partial differential equations
Authors:
Denis Bonheure,
Juraj Földes,
Ederson Moreira dos Santos,
Alberto Saldaña,
Hugo Tavares
Abstract:
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 convexit…
▽ More
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.
△ Less
Submitted 19 July, 2016;
originally announced July 2016.
-
On a coupled system of a Ginzburg-Landau equation with a quasilinear conservation law
Authors:
João-Paulo Dias,
Filipe Oliveira,
Hugo Tavares
Abstract:
We study the Cauchy problem for a coupled system of a complex Ginzburg-Landau equation with a quasilinear conservation law $$ \left\{\begin{array}{rlll} e^{-iθ}u_t&=&u_{xx}-|u|^2u-αg(v)u& v_t+(f(v))_x&=&α(g'(v)|u|^2)_x& \end{array}\right. \qquad x\in\mathbb{R},\, t \geq 0, $$ which can describe the interaction between a laser beam and a fluid flow (see [Aranson, Kramer, Rev. Med. Phys. 74 (2002)])…
▽ More
We study the Cauchy problem for a coupled system of a complex Ginzburg-Landau equation with a quasilinear conservation law $$ \left\{\begin{array}{rlll} e^{-iθ}u_t&=&u_{xx}-|u|^2u-αg(v)u& v_t+(f(v))_x&=&α(g'(v)|u|^2)_x& \end{array}\right. \qquad x\in\mathbb{R},\, t \geq 0, $$ which can describe the interaction between a laser beam and a fluid flow (see [Aranson, Kramer, Rev. Med. Phys. 74 (2002)]). We prove the existence of a local in time strong solution for the associated Cauchy problem and, for a certain class of flux functions, the existence of global weak solutions. Furthermore we prove the existence of standing waves of the form $(u(t,x),v(t,x))=(U(x),V(x))$ in several cases.
△ Less
Submitted 6 May, 2018; v1 submitted 8 June, 2016;
originally announced June 2016.
-
Spiked solutions for Schrödinger systems with Sobolev critical exponent: the cases of competitive and weakly cooperative interactions
Authors:
Angela Pistoia,
Hugo Tavares
Abstract:
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…
▽ More
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.
△ Less
Submitted 12 May, 2016;
originally announced May 2016.
-
Semitrivial vs. fully nontrivial ground states in cooperative cubic Schrödinger systems with $d\ge3$ equations
Authors:
Simão Correia,
Filipe Oliveira,
Hugo Tavares
Abstract:
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)$ wi…
▽ More
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.
△ Less
Submitted 7 August, 2015;
originally announced August 2015.
-
Dividing the circle
Authors:
Pedro J. Freitas,
Hugo Tavares
Abstract:
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 descr…
▽ More
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.
△ Less
Submitted 22 March, 2016; v1 submitted 23 July, 2015;
originally announced July 2015.
-
Hölder bounds and regularity of emerging free boundaries for strongly competing Schrödinger equations with nontrivial grou**
Authors:
Nicola Soave,
Hugo Tavares,
Susanna Terracini,
Alessandro Zilio
Abstract:
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 obt…
▽ More
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 grou** 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.
△ Less
Submitted 25 October, 2016; v1 submitted 2 June, 2015;
originally announced June 2015.
-
Ground States for a nonlinear Schrödinger system with sublinear coupling terms
Authors:
Filipe Oliveira,
Hugo Tavares
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 April, 2015;
originally announced April 2015.
-
New existence and symmetry results for least energy positive solutions of Schrödinger systems with mixed competition and cooperation terms
Authors:
Nicola Soave,
Hugo Tavares
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 December, 2014;
originally announced December 2014.
-
Existence and symmetry of least energy nodal solutions for Hamiltonian elliptic systems
Authors:
Denis Bonheure,
Ederson Moreira dos Santos,
Miguel Ramos,
Hugo Tavares
Abstract:
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}…
▽ More
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.
△ Less
Submitted 25 February, 2015; v1 submitted 19 September, 2014;
originally announced September 2014.
-
Stable solitary waves with prescribed $L^2$-mass for the cubic Schrödinger system with trap** potentials
Authors:
Benedetta Noris,
Hugo Tavares,
Gianmaria Verzini
Abstract:
For the cubic Schrödinger system with trap** 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 applic…
▽ More
For the cubic Schrödinger system with trap** 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.
△ Less
Submitted 21 May, 2014;
originally announced May 2014.
-
Extremality conditions and regularity of solutions to optimal partition problems involving Laplacian eigenvalues
Authors:
Miguel Ramos,
Hugo Tavares,
Susanna Terracini
Abstract:
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 eigenva…
▽ More
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.
△ Less
Submitted 22 September, 2015; v1 submitted 25 March, 2014;
originally announced March 2014.
-
Hamiltonian elliptic systems: a guide to variational frameworks
Authors:
Denis Bonheure,
Ederson Moreira dos Santos,
Hugo Tavares
Abstract:
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 tr…
▽ More
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.
△ Less
Submitted 20 July, 2014; v1 submitted 14 February, 2014;
originally announced February 2014.
-
Existence and orbital stability of the ground states with prescribed mass for the L^2-critical and supercritical NLS on bounded domains
Authors:
Benedetta Noris,
Hugo Tavares,
Gianmaria Verzini
Abstract:
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. Moreov…
▽ More
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.
△ Less
Submitted 15 July, 2013;
originally announced July 2013.
-
Increasing powers in a degenerate parabolic logistic equation
Authors:
José Francisco Rodrigues,
Hugo Tavares
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 June, 2012;
originally announced June 2012.
-
Existence and symmetry results for competing variational systems
Authors:
Hugo Tavares,
Tobias Weth
Abstract:
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…
▽ More
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.
△ Less
Submitted 25 January, 2012;
originally announced January 2012.
-
Sign-changing solutions of competition-diffusion elliptic systems and optimal partition problems
Authors:
Hugo Tavares,
Susanna Terracini
Abstract:
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 associate…
▽ More
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$.
△ Less
Submitted 27 May, 2011;
originally announced May 2011.
-
Existence and nonexistence of entire solutions for non-cooperative cubic elliptic systems
Authors:
Hugo Tavares,
Susanna Terracini,
Gianmaria Verzini,
Tobias Weth
Abstract:
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 com…
▽ More
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.
△ Less
Submitted 18 July, 2010;
originally announced July 2010.
-
A tool stack for implementing Behaviour-Driven Development in Python Language
Authors:
Hugo Lopes Tavares,
Gustavo Guimaraes Rezende,
Vanderson Mota dos Santos,
Rodrigo Soares Manhaes,
Rogerio Atem de Carvalho
Abstract:
This paper presents a tool stack for the implementation, specification and test of software following the practices of Behavior Driven Development (BDD) in Python language. The usage of this stack highlights the specification and validation of the software's expected behavior, reducing the error rate and improving documentation. Therefore, it is possible to produce code with much less defects at b…
▽ More
This paper presents a tool stack for the implementation, specification and test of software following the practices of Behavior Driven Development (BDD) in Python language. The usage of this stack highlights the specification and validation of the software's expected behavior, reducing the error rate and improving documentation. Therefore, it is possible to produce code with much less defects at both functional and unit levels, in addition to better serving to stakeholders' expectations.
△ Less
Submitted 10 July, 2010;
originally announced July 2010.
-
Regularity of the nodal set of segregated critical configurations under a weak reflection law
Authors:
Hugo Tavares,
Susanna Terracini
Abstract:
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 dimensio…
▽ More
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.
△ Less
Submitted 22 February, 2010;
originally announced February 2010.
-
Convergence of minimax and continuation of critical points for singularly perturbed systems
Authors:
Benedetta Noris,
Hugo Tavares,
Susanna Terracini,
Gianmaria Verzini
Abstract:
We consider a competitive system of two stationary Gross-Pitaevskii equations arising in the theory of Bose-Einstein condensation, and the corresponding scalar equation. We address the question: "Is it true that every bounded family of solutions of the system converges, as the competition parameter goes to infinity, to a pair which difference solves the scalar equation?". We discuss this questio…
▽ More
We consider a competitive system of two stationary Gross-Pitaevskii equations arising in the theory of Bose-Einstein condensation, and the corresponding scalar equation. We address the question: "Is it true that every bounded family of solutions of the system converges, as the competition parameter goes to infinity, to a pair which difference solves the scalar equation?". We discuss this question in the case when the solutions to the system are obtained as minimax critical points via (weak) L^2 Krasnoselskii genus theory. Our results, though still partial, give a strong indication of a positive answer.
△ Less
Submitted 28 October, 2009;
originally announced October 2009.