SearcharxivSearch

arXiv subjects

Andres Contreras

Publications and source records attributed to Andres Contreras.

At least 19 recordsLinked to original sources

A symmetry breaking phenomenon for anisotropic harmonic maps from a 2D annulus into $\mathbb S^1$

In a two dimensional annulus $A_\rho=\{x\in \mathbb R^2: \rho<|x|<1\}$, $\rho\in (0,1)$, we characterize $0$-homogeneous minimizers, in $H^1(A_\rho;\mathbb S^1)$ with respect to their own boundary conditions, of the anisotropic energy \begin{equation*} E_\delta(u)=\int_{A_\rho} |\nabla u|^2 +\delta \left( (\nabla\cdot u)^2-(\nabla\times u)^2\right) \, dx,\quad \delta\in (-1,1). \end{equation*} Even for a small anisotropy $0<|\delta|\ll 1$, we exhibit qualitative properties very different from the isotropic case $\delta=0$. In particular, $0$-homogeneous critical points of degree $d\notin \lbrace 0,1,2\rbrace$ are always local minimizers, but in thick annuli ($\rho\ll 1$) they are not minimizers: the $0$-homogeneous symmetry is broken. One corollary is that entire solutions to the anisotropic Ginzburg-Landau system have a far-field behavior very different from the isotropic case studied by Brezis, Merle and Rivi\`ere. The tools we use include: ODE and variational arguments; asymptotic expansions, interpolation inequalities and explicit computations involving near-optimizers of these inequalities for proving that $0$-homogeneous critical points are not minimizers in thick annuli.

math.AP

Domain walls in the coupled Gross-Pitaevskii equations with the harmonic potential

We study the existence and variational characterization of steady states in a coupled system of Gross--Pitaevskii equations modeling two-component Bose-Einstein condensates with the magnetic field trapping. The limit with no trapping has been the subject of recent works where domain walls have been constructed and several properties, including their orbital stability have been derived. Here we focus on the full model with the harmonic trapping potential and characterize minimizers according to the value of the coupling parameter $γ$. We first establish a rigorous connection between the two problems in the Thomas-Fermi limit via $Γ$-convergence. Then, we identify the ranges of $γ$ for which either the symmetric states $(γ< 1)$ or the uncoupled states $(γ> 1)$ are minimizers. Domain walls arise as minimizers in a subspace of the energy space with a certain symmetry for some $γ> 1$. We study bifurcation of the domain walls and furthermore give numerical illustrations of our results.

math.AP

Forward-backward approximation of evolution equations in finite and infinite horizon

This research is concerned with evolution equations and their forward-backward discretizations. Our first contribution is an estimation for the distance between iterates of sequences generated by forward-backward schemes, useful in the convergence and robustness analysis of iterative algorithms of widespread use in variational analysis and optimization. Our second contribution is the approximation, on a bounded time frame, of the solutions of evolution equations governed by accretive (monotone) operators with an additive structure, by trajectories defined using forward-backward sequences. This provides a short, simple and self-contained proof of existence and regularity for such solutions; unifies and extends a number of classical results; and offers a guide for the development of numerical methods. Finally, our third contribution is a mathematical methodology that allows us to deduce the behavior, as the number of iterations tends to $+\infty$, of sequences generated by forward-backward algorithms, based solely on the knowledge of the behavior, as time goes to $+\infty$, of the solutions of differential inclusions, and viceversa.

math.OC

Local minimizers with unbounded vorticity for the $2$d Ginzburg-Landau functional

A central focus of Ginzburg-Landau theory is the understanding and characterization of vortex configurations. On a bounded domain $Ω\subseteq \mathbb{R}^2,$ global minimizers, and critical states in general, of the corresponding energy functional have been studied thoroughly in the limit $ε\to 0,$ where $ε>0$ is the inverse of the Ginzburg-Landau parameter. The presence of an applied magnetic field of strength $h_{ex}\gg 1$ makes possible the existence of stable vortex states. A notable open problem is whether there are solutions of the Ginzburg-Landau equation for any number of vortices below $ h_{ex} |Ω| /2 π,$ for external fields of up to super-heating field strength. The best earlier partial results give, for every $0 0,$ the existence of local minimizers of the Ginzburg-Landau functional with a prescribed number of vortices in the range $1 \leq N \leq \min \{ K | \log ε|, c ( h_{ex} |Ω| /2 π) \}$ and for values of $1\ll_εh_{ex}$ smaller than a power of the Ginzburg-Landau parameter. In this paper, we prove that there are constants $K_1, α>0$ such that given natural numbers satisfying \[1\leq N \leq \frac{h_{ex}}{2π}(|Ω|-h_{ex}^{-1/4}),\] local minimizers of the Ginzburg-Landau functional with this many vortices exist, for fields such that $K_1\leq h_{ex} \leq 1/ε^α.$ Our strategy consists in combining: the minimization over a subset of configurations for which we can obtain a very precise localization of vortices; expansion of the energy in terms of a modified vortex interaction energy that allows for a reduction to a potential theory problem; and a quantitative vortex separation result for admissible configurations. Our results provide detailed information about the vorticity and refined asymptotics of the local minimizers that we construct.

math.AP

Classifying Signals Under a Finite Abelian Group Action: The Finite Dimensional Setting

Let $G$ be a finite group acting on $\mathbb{C}^N$. We study the problem of identifyng the class in $\mathbb{C}^N / G$ of a given signal: this encompasses several types of problems in signal processing. Some instances include certain generalizations of phase retrieval, image recognition, the analysis of textures, etc. In our previous work \cite{prev}, based on an algebraic approach, we constructed a Lipschitz translation invariant transform -- the case when $G$ is cyclic. Here, we extend our results to include all finite Abelian groups. Moreover, we show the existence of a new transform that avoids computing high powers of the moduli of the signal entries--which can be computationally taxing. The new transform does not enjoy the algebraic structure imposed in our earlier work and is thus more flexible. Other (even lower) dimensional representations are explored, however they only provide an almost everywhere (actually generic) recovery which is not a significant drawback for applications. Our constructions are locally robust and provide alternatives to other statistical and neural networks based methods.

math.FA

Singular perturbation of manifold-valued maps with anisotropic energy

We establish small energy Hölder bounds for minimizers $u_\varepsilon$ of \[E_\varepsilon (u):=\int_ΩW(\nabla u)+ \frac{1}{\varepsilon^2} \int_Ωf(u),\] where $W$ is a positive definite quadratic form and the potential $f$ constrains $u$ to be close to a given manifold $\mathcal N$. This implies that, up to subsequence, $u_\varepsilon$ converges locally uniformly to an $\mathcal N$-valued $W$-harmonic map, away from its singular set. We treat general energies, covering in particular the 3D Landau-de Gennes model for liquid crystals, with three distinct elastic constants. Similar results are known in the isotropic case $W(\nabla u)=\vert \nabla u\vert^2$ and rely on three ingredients: a monotonicity formula for the scale-invariant energy on small balls, a uniform pointwise bound, and a Bochner equation for the energy density. In the level of generality we consider, all of these ingredients are absent. In particular, the lack of monotonicity formula is an important reason why optimal estimates on the singular set of $W$-harmonic maps constitute an open problem. Our novel argument relies on showing appropriate decay for the energy on small balls, separately at scales smaller and larger than $\varepsilon$: the former is obtained from the regularity of solutions to elliptic systems while the latter is inherited from the regularity of $W$-harmonic maps. This also allows us to handle physically relevant boundary conditions for which, even in the isotropic case, uniform convergence up to the boundary was open.

math.AP

Complete set of translation invariant measurements with Lipschitz bounds

In image and audio signal classification, a major problem is to build stable representations that are invariant under rigid motions and, more generally, to small diffeomorphisms. Translation invariant representations of signals in $\mathbb{C}^n$ are of particular importance. The existence of such representations is intimately related to classical invariant theory, inverse problems in compressed sensing and deep learning. Despite an impressive body of litereature on the subject, most representations available are either: i) not stable due to the presence of high frequencies; ii) non discriminative; iii) non invariant when projected to finite dimensional subspaces. In the present paper, we construct low dimensional representations of signals in $\mathbb{C}^n$ that are invariant under finite unitary group actions, as a special case we establish the existence of low-dimensional and complete $\mathbb{Z}_m$-invariant representations for any $m\in\mathbb{N}$. Our construction yields a stable, discriminative transform with semi-explicit Lipschitz bounds on the dimension; this is particularly relevant for applications. Using some tools from Algebraic Geometry, we define a high dimensional homogeneous function that is injective. We then exploit the projective character of this embedding and see that the target space can be reduced significantly by using a generic linear transformation. Finally, we introduce the notion of {\it non-parallel} map, which is enjoyed by our function and employ this to construct a Lipschitz modification of it.

math.FA

First critical field of highly anisotropic three-dimensional superconductors via a vortex density model

We analyze a mean field model for $3$d anisotropic superconductors with a layered structure, in the presence of a strong magnetic field. The mean field model arises as the $Gamma$-limit of the Lawrence-Doniach energy in certain regimes. A reformulation of the problem based on convex duality allows us to characterize the first critical field $H_{c_1}$ of the layered superconductor, up to leading order. In previous work, Alama-Bronsard-Sandier \cite{ABS} have derived the asymptotic value of $H_{c_1}$ for configurations satisfying periodic boundary conditions; in that setting describing minimizers of the Lawrence-Doniach energy reduces to a $2$d problem. In this work, we treat the physical case without any periodicity assumptions, and are thus led to studying a delicate and essentially $3$d non-local obstacle problem first derived by Baldo-Jerrard-Orlandi-Soner \cite{BJOS2} for the isotropic Ginzburg-Landau energy. We obtain a characterization of $H_{c_1}$ using the special anisotropic structure of the mean field model.

math.AP

An elementary proof of eigenvalue preservation for the co-rotational Beris-Edwards system

We study the co-rotational Beris-Edwards system modeling nematic liquid crystals and revisit the eigenvalue preservation property discussed in \cite{XZ16}. We give an alternative but direct proof to the eigenvalue preservation of the initial data for the $Q$-tensor. It is noted that our proof is not only valid in the whole space case, but in the bounded domain case as well.

math.AP

On the convergence of minimizers of singular perturbation functionals

The study of singular perturbations of the Dirichlet energy is at the core of the phenomenological-description paradigm in soft condensed matter. Being able to pass to the limit plays a crucial role in the understanding of the geometric-driven profile of ground states. In this work we study, under very general assumptions, the convergence of minimizers towards harmonic maps. We show that the convergence is locally uniform up to the boundary, away from the lower dimensional singular set. Our results generalize related findings, most notably in the theory of liquid-crystals, to all dimensions $n\geq 3$, and to general nonlinearities. Our proof follows a well-known scheme, relying on small energy estimate and monotonicity formula. It departs substantially from previous studies in the treatment of the small energy estimate at the boundary, since we do not rely on the specific form of the potential. In particular this extends existing results in 3-dimensional settings. In higher dimensions we also deal with additional difficulties concerning the boundary monotonicity formula.

math.AP

Nearly Parallel Vortex Filaments in the 3D Ginzburg-Landau Equations

We introduce a framework to study the occurrence of vortex filament concentration in $3D$ Ginzburg-Landau theory. We derive a functional that describes the free-energy of a collection of nearly-parallel quantized vortex filaments in a cylindrical $3$-dimensional domain, in certain scaling limits; it is shown to arise as the $Γ$-limit of a sequence of scaled Ginzburg-Landau functionals. Our main result establishes for the first time a long believed connection between the Ginzburg-Landau functional and the energy of nearly parallel filaments that applies to many mathematically and physically relevant situations where clustering of filaments is expected. In this setting it also constitutes a higher-order asymptotic expansion of the Ginzburg-Landau energy, a refinement over the arclength functional approximation. Our description of the vorticity region significantly improves on previous studies and enables us to rigorously distinguish a collection of multiplicity one vortex filaments from an ensemble of fewer higher multiplicity ones. As an application, we prove the existence of solutions of the Ginzburg-Landau equation that exhibit clusters of vortex filaments whose small-scale structure is governed by the limiting free-energy functional.

math.AP

Orbital Stability of Domain Walls in Coupled Gross-Pitaevskii Systems

Domain walls are minimizers of energy for coupled one-dimensional Gross--Pitaevskii systems with nontrivial boundary conditions at infinity. It has been shown that these solutions are orbitally stable in the space of complex $\dot{H}^1$ functions with the same limits at infinity. In the present work we adopt a new weighted $H^1$ space to control perturbations of the domain walls and thus to obtain an improved orbital stability result. A major difficulty arises from the degeneracy of linearized operators at the domain walls and the lack of coercivity.

math.AP

Global bifurcation of vortex and dipole solutions in Bose-Einstein condensates

The Gross-Pitaevskii equation for a Bose-Einstein condensate (BEC) with symmetric harmonic trap is given in (1). Periodic solutions of (1) play an important role in the understanding of the long term behavior of its solutions. In this note we prove the existence of several global branches of solutions to (1) among which there are vortex solutions and dipole solutions.

math.AP

Boundary regularity of weakly anchored harmonic maps

In this note we study the boundary regularity of minimizers of a family of weak anchoring energies that model the states of liquid crystals. We establish optimal boundary regularity in all dimensions $n\geq 3 .$ In dimension $n=3,$ this yields full regularity at the boundary which stands in sharp contrast with the observation of boundary defects in physics works. We also show that, in the cases of weak and strong anchoring, regularity of minimizers is inherited from that of their corresponding limit problems.The analysis rests in a crucial manner on the fact that the surface and Dirichlet energies scale differently; we take advantage of this fact to reduce the problem to the known regularity of tangent maps with zero Neumann conditions.

math.AP

A Degenerate Isoperimetric Problem and Traveling Waves to a Bi-stable Hamiltonian System

We analyze a non-standard isoperimetric problem in the plane associated with a metric having degenerate conformal factor at two points. Under certain assumptions on the conformal factor, we establish the existence of curves of least length under a constraint associated with enclosed Euclidean area. As a motivation for and application of this isoperimetric problem, we identify these isoperimetric curves, appropriately parametrized, as traveling wave solutions to a bi-stable Hamiltonian system of PDE's. We also determine the existence of a maximal propagation speed for these traveling waves through an explicit upper bound depending on the conformal factor.

math.AP

Biaxial escape in nematics at low temperature

In the present work, we study minimizers of the Landau-de Gennes free energy in a bounded domain $Ω\subset \mathbb{R}^3$. We prove that at low temperature minimizers do not vanish, even for topologically non-trivial boundary conditions. This is in contrast with a simplified Ginzburg-Landau model for superconductivity studied by Bethuel, Brezis and Hélein. Merging this with an observation of Canevari we obtain, as a corollary, the occurence of biaxial escape: the tensorial order parameter must become strongly biaxial at some point in $Ω$. In particular, while it is known that minimizers cannot be purely uniaxial, we prove the much stronger and physically relevant fact that they lie in a different homotopy class.

math.AP

Persistence of superconductivity in thin shells beyond $H_{c1}$

In Ginzburg-Landau theory, a strong magnetic field is responsible for the breakdown of superconductivity. This work is concerned with the identification of the region where superconductivity persists, in a thin shell superconductor modeled by a compact surface $\mathcal M\subset\mathbb R^3$, as the intensity $h$ of the external magnetic field is raised above $H_{c1}$. Using a mean field reduction approach devised by Sandier and Serfaty as the Ginzburg-Landau parameter $κ$ goes to infinity, we are led to studying a two-sided obstacle problem. We show that superconductivity survives in a neighborhood of size $(H_{c1}/h)^{1/3}$ of the zero locus of the normal component $H$ of the field. We also describe intermediate regimes, focusing first on a symmetric model problem. In the general case, we prove that a striking phenomenon we call freezing of the boundary takes place: one component of the superconductivity region is insensitive to small changes in the field.

math.AP

$L^2$ orbital stability of Dirac solitons in the massive Thirring model

We prove $L^2$ orbital stability of Dirac solitons in the massive Thirring model. Our analysis uses local well posedness of the massive Thirring model in $L^2$, conservation of the charge functional, and the auto--Bäcklund transformation. The latter transformation exists because the massive Thirring model is integrable via the inverse scattering transform method.

math.AP