Researcher profile

Daniel Peralta-Salas

Daniel Peralta-Salas contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

Inverse localization and global approximation for some Schrödinger operators on hyperbolic spaces

We consider the question of whether the high-energy eigenfunctions of certain Schrödinger operators on the $d$-dimensional hyperbolic space of constant curvature $-κ^2$ are flexible enough to approximate an arbitrary solution of the Helmholtz equation $Δh+h=0$ on $\mathbf{R}^d$, over the natural length scale $O(λ^{-1/2})$ determined by the eigenvalue $λ\gg 1$. This problem is motivated by the fact that, by the asymptotics of the local Weyl law, approximate Laplace eigenfunctions do have this approximation property on any compact Riemannian manifold. In this paper we are specifically interested in the Coulomb and harmonic oscillator operators on the hyperbolic spaces $\mathbf{H}^d(κ)$. As the dimension of the space of bound states of these operators tends to infinity as $κ$ tends to 0, one can hope to approximate solutions to the Helmholtz equation by eigenfunctions for some $κ> 0$ that is not fixed a priori. Our main result shows that this is indeed the case, under suitable hypotheses. We also prove a global approximation theorem with decay for the Helmholtz equation on manifolds that are isometric to the hyperbolic space outside a compact set, and consider an application to the study of the heat equation on $\mathbf{H}^d(κ)$. Although global approximation and inverse approximation results are heuristically related in that both theorems explore flexibility properties of solutions to elliptic equations on hyperbolic spaces, we will see that the underlying ideas behind these theorems are very different.

preprint2022arXiv

Limiting measures and energy growth for sequences of solutions to Taubes's Seiberg-Witten equations

We consider sequences of solutions $(ψ_n,A_n)_{n=1}^\infty$ to Taubes's modified Seiberg-Witten equations, associated with a fixed volume-preserving vector field $X$ on a 3-manifold and corresponding to arbitrarily large values of the strength parameter $r_n \to \infty$. In Taubes's work, the asymptotic behavior of these solutions is related to the dynamics of $X$. We consider the rather unexplored case of sequences of solutions whose energy is not uniformly bounded as $n\to\infty$. Our first main result shows that when the energy grows more slowly than $r_n^{1/2}$, the limiting nodal set of the solutions converges to an invariant set of the vector field $X$. The main tool we use is a novel maximum principle for the solutions with the key property that it remains valid in the unbounded energy case. As a byproduct, in the usual case of sequences of solutions with bounded energy, we obtain a new, more straightforward proof of Taubes's result on the existence of periodic orbits that does not involve a local analysis or the vortex equations. Our second main result proves that, contrary to what happens in the bounded energy case, when the energy is unbounded there are no local restrictions to the limiting measures that may arise in the modified Seiberg-Witten equations. Furthermore, we obtain a connection about the dimension of the support of the limiting measure (as expressed through a $d$-Frostman property) and the energy growth of the sequence of local solutions we construct.

preprint2022arXiv

MHD equilibria with nonconstant pressure in nondegenerate toroidal domains

We prove the existence of piecewise smooth MHD equilibria in three-dimensional toroidal domains of $\mathbf{R}^3$ where the pressure is constant on the boundary but not in the interior. The pressure is piecewise constant and the plasma current exhibits an arbitrary number of current sheets. We also establish the existence of free boundary steady states surrounded by vacuum with an external surface current. The toroidal domains where these equilibria are shown to exist do not need to be small perturbations of an axisymmetric domain, and in fact they can have any knotted topology. The building blocks we use in our construction are analytic toroidal domains satisfying a certain nondegeneracy condition, which roughly states that there exists a force-free field that is ergodic on the surface of the domain. The proof involves three main ingredients: a gluing construction of piecewise smooth MHD equilibria, a Hamilton-Jacobi equation on the two-dimensional torus that can be understood as a nonlinear deformation of the cohomological equation (so the nondegeneracy assumption plays a major role in the corresponding analysis), and a new KAM theorem tailored for the study of divergence-free fields in three dimensions whose Poincaré map cannot be computed explicitly.

preprint2022arXiv

Non-integrability and chaos for natural Hamiltonian systems with a random potential

Consider the ensemble of Gaussian random potentials $\{V^L(q)\}_{L=1}^\infty$ on the $d$-dimensional torus where, essentially, $V^L(q)$ is a real-valued trigonometric polynomial of degree $L$ whose coefficients are independent standard normal variables. Our main result ensures that, with a probability tending to 1 as $L\to\infty$, the dynamical system associated with the natural Hamiltonian function defined by this random potential, $H^L:=\frac12|p|^2+ V^L(q)$, exhibits a number of chaotic regions which coexist with a positive-volume set of invariant tori. In particular, these systems are typically neither integrable with non-degenerate first integrals nor ergodic. An analogous result for random natural Hamiltonian systems defined on the cotangent bundle of an arbitrary compact Riemannian manifold is presented too.

preprint2020arXiv

A characterization of 3D steady Euler flows using commuting zero-flux homologies

We characterize, using commuting zero-flux homologies, those volume-preserving vector fields on a $3$-manifold that are steady solutions of the Euler equations for some Riemannian metric. This result extends Sullivan's homological characterization of geodesible flows in the volume-preserving case. As an application, we show that the steady Euler flows cannot be constructed using plugs (as in Wilson's or Kuperberg's constructions). Analogous results in higher dimensions are also proved.

preprint2020arXiv

Beltrami fields exhibit knots and chaos almost surely

In this paper we show that, with probability 1, a random Beltrami field exhibits chaotic regions that coexist with invariant tori of complicated topologies. The motivation to consider this question, which arises in the study of stationary Euler flows in dimension 3, is V.I. Arnold's 1965 conjecture that a typical Beltrami field exhibits the same complexity as the restriction to an energy hypersurface of a generic Hamiltonian system with two degrees of freedom. The proof hinges on the obtention of asymptotic bounds for the number of horseshoes, zeros, and knotted invariant tori and periodic trajectories that a Gaussian random Beltrami field exhibits, which we obtain through a nontrivial extension of the Nazarov--Sodin theory for Gaussian random monochromatic waves and the application of different tools from the theory of dynamical systems, including KAM theory, Melnikov analysis and hyperbolicity. Our results hold both in the case of Beltrami fields on $\mathbf{R}^3$ and of high-frequency Beltrami fields on the 3-torus.

preprint2020arXiv

Non-existence of axisymmetric optimal domains with smooth boundary for the first curl eigenvalue

We say that a bounded domain $Ω$ is optimal for the first positive curl eigenvalue $μ_1(Ω)$ if $μ_1(Ω)\leq μ_1(Ω')$ for any domain $Ω'$ with the same volume. In spite of the fact that $μ_1(Ω)$ is uniformly lower bounded in terms of the volume, in this paper we prove that there are no axisymmetric optimal (and even locally minimizing) domains with $C^{2,α}$ boundary that satisfies a mild technical assumption. As a particular case, this rules out the existence of $C^{2,α}$ optimal axisymmetric domains with a convex section. An analogous result holds in the case of the first negative curl eigenvalue.

preprint2020arXiv

On the singular Weinstein conjecture and the existence of escape orbits for $b$-Beltrami fields

Motivated by Poincaré's orbits going to infinity in the (restricted) three-body (see [26] and [6]), we investigate the generic existence of heteroclinic-like orbits in a neighbourhood of the critical set of a $b$-contact form. This is done by using the singular counterpart [3] of Etnyre--Ghrist's contact/Beltrami correspondence [9], and genericity results concerning eigenfunctions of the Laplacian established by Uhlenbeck [29]. Specifically, we analyze the $b$-Beltrami vector fields on $b$-manifolds of dimension $3$ and prove that for a generic asymptotically exact $b$-metric they exhibit escape orbits. We also show that a generic asymptotically symmetric $b$-Beltrami vector field on an asymptotically flat $b$-manifold has a generalized singular periodic orbit and at least $4$ escape orbits. Generalized singular periodic orbits are trajectories of the vector field whose $α$- and $ω$-limit sets intersect the critical surface. These results are a first step towards proving the singular Weinstein conjecture.

preprint2020arXiv

Overdetermined boundary problems with nonconstant Dirichlet and Neumann data

In this paper we consider the overdetermined boundary problem for a general second order semilinear elliptic equation on bounded domains of $\mathbf{R}^n$, where one prescribes both the Dirichlet and Neumann data of the solution. We are interested in the case where the data are not necessarily constant and where the coefficients of the equation can depend on the position, so that the overdetermined problem does not generally admit a radial solution. Our main result is that, nevertheless, under minor technical hypotheses nontrivial solutions to the overdetermined boundary problem always exist.

preprint2020arXiv

The helicity uniqueness conjecture in 3D hydrodynamics

We prove that the helicity is the only regular Casimir function for the coadjoint action of the volume-preserving diffeomorphism group $\text{SDiff}(M)$ on smooth exact divergence-free vector fields on a closed three-dimensional manifold $M$. More precisely, any regular $C^1$ functional defined on the space of $C^\infty$ (more generally, $C^k$, $k\ge 4$) exact divergence-free vector fields and invariant under arbitrary volume-preserving diffeomorphisms can be expressed as a $C^1$ function of the helicity. This gives a complete description of Casimirs for adjoint and coadjoint actions of $\text{SDiff}(M)$ in 3D and completes the proof of Arnold-Khesin's 1998 conjecture for a manifold $M$ with trivial first homology group. Our proofs make use of different tools from the theory of dynamical systems, including normal forms for divergence-free vector fields, the Poincaré-Birkhoff theorem, and a division lemma for vector fields with hyperbolic zeros.

preprint2019arXiv

Global, local and dense non-mixing of the 3D Euler equation

We prove a non-mixing property of the flow of the 3D Euler equation which has a local nature: in any neighbourhood of a "typical" steady solution there is a generic set of initial conditions, such that the corresponding Euler flows will never enter a vicinity of the original steady one. More precisely, we establish that there exist stationary solutions $u_0$ of the Euler equation on $\mathbb S^3$ and divergence-free vector fields $v_0$ arbitrarily close to $u_0$, whose (non-steady) evolution by the Euler flow cannot converge in the $C^k$ Hölder norm ($k>10$ non-integer) to any stationary state in a small (but fixed a priori) $C^k$-neighbourhood of $u_0$. The set of such initial conditions $v_0$ is open and dense in the vicinity of $u_0$. A similar (but weaker) statement also holds for the Euler flow on $\mathbb T^3$. Two essential ingredients in the proof of this result are a geometric description of all steady states near certain nondegenerate stationary solutions, and a KAM-type argument to generate knotted invariant tori from elliptic orbits.