arXiv subjects
Publications and source records attributed to Daniel Peralta-Salas.
We prove that, given any knot $γ$ in a compact 3-manifold M, there exists a Riemannian metric on M such that there is a complex-valued eigenfunction u of the Laplacian, corresponding to the first nontrivial eigenvalue, whose nodal set $u^{-1}(0)$ has a connected component given by $γ$. Higher dimensional analogs of this result will also be considered.
We prove that, given any finite link L in R^3, there is a high energy complex-valued eigenfunction of the harmonic oscillator such that its nodal set contains a union of connected components diffeomorphic to L. This solves a problem of Berry on the existence of knotted zeros in bound states of a quantum system.
We consider the problem of prescribing the nodal set of the first nontrivial eigenfunction of the Laplacian in a conformal class. Our main result is that, given a separating closed hypersurface $Σ$ in a compact Riemannian manifold $(M,g_0)$ of dimension $d \geq 3$, there is a metric $g$ on $M$ conformally equivalent to $g_0$ and with the same volume such that the nodal set of its first nontrivial eigenfunction is a $C^0$-small deformation of $Σ$ (i.e., $Φ(Σ)$ with $Φ: M \to M$ a diffeomorphism arbitrarily close to the identity in the $C^0$ norm).
In this article parametric versions of Wilson's plug and Kuperberg's plug are discussed. We show that there is a weak homotopy equivalence induced by the inclusion between the space of non-singular vector fields tangent to a foliation and the subspace of those without closed orbits, as long as the leaves of the foliation have dimension at least 3. We contrast this with the case of foliations by surfaces in 3-manifolds.
Let $Ω$ be a domain in $\mathbb R^3$ with $\partialΩ= \partial\left(\mathbb R^3\setminus \overlineΩ\right)$, where $\partialΩ$ is unbounded and connected, and let $u$ be the solution of the Cauchy problem for the heat equation $\partial_t u= Δu$ over $\mathbb R^3,$ where the initial data is the characteristic function of the set $Ω^c = \mathbb R^3\setminus Ω$. We show that, if there exists a stationary isothermic surface $Γ$ of $u$ with $Γ\cap \partialΩ= \varnothing$, then both $\partialΩ$ and $Γ$ must be either parallel planes or co-axial circular cylinders . This theorem completes the classification of stationary isothermic surfaces in the case that $Γ\cap\partialΩ=\varnothing$ and $\partialΩ$ is unbounded. To prove this result, we establish a similar theorem for {\it uniformly dense domains } in $\mathbb R^3$, a notion that was introduced by Magnanini, Prajapat \& Sakaguchi in \cite{MPS2006tams}. In the proof, we use methods from the theory of surfaces with constant mean curvature, combined with a careful analysis of certain asymptotic expansions and a surprising connection with the theory of transnormal functions.
We prove the existence of knotted and linked thin vortex tubes for steady solutions to the incompressible Euler equation in R^3. More precisely, given a finite collection of (possibly linked and knotted) disjoint thin tubes in R^3, we show that they can be transformed with a C^m-small diffeomorphism into a set of vortex tubes of a Beltrami field that tends to zero at infinity. The structure of the vortex lines in the tubes is extremely rich, presenting a positive-measure set of invariant tori and infinitely many periodic vortex lines. The problem of the existence of steady knotted vortex tubes can be traced back to Lord Kelvin.
We prove that the dynamical system defined by the hydrodynamical Euler equation on any closed Riemannian 3-manifold $M$ is not mixing in the $C^k$ topology ($k > 4$ and non-integer) for any prescribed value of helicity and sufficiently large values of energy. This can be regarded as a 3D version of Nadirashvili's and Shnirelman's theorems showing the existence of wandering solutions for the 2D Euler equation. Moreover, we obtain an obstruction for the mixing under the Euler flow of $C^k$-neighborhoods of divergence-free vectorfields on $M$. On the way we construct a family of functionals on the space of divergence-free $C^1$ vectorfields on the manifold, which are integrals of motion of the 3D Euler equation. Given a vectorfield these functionals measure the part of the manifold foliated by ergodic invariant tori of fixed isotopy types. We use the KAM theory to establish some continuity properties of these functionals in the $C^k$-topology. This allows one to get a lower bound for the $C^k$-distance between a divergence-free vectorfield (in particular, a steady solution) and a trajectory of the Euler flow.
We consider the existence of Beltrami fields with a nonconstant proportionality factor $f$ in an open subset $U$ of $\mathbf{R}^3$. By reformulating this problem as a constrained evolution equation on a surface, we find an explicit differential equation that $f$ must satisfy whenever there is a nontrivial Beltrami field with this factor. This ensures that there are no nontrivial solutions for an open and dense set of factors $f$ in the $C^k$ topology. In particular, there are no nontrivial Beltrami fields whenever $f$ has a regular level set diffeomorphic to the sphere. This provides an explanation of the helical flow paradox of Morgulis, Yudovich and Zaslavsky.
In this paper we consider the problem of prescribing the nodal set of low-energy eigenfunctions of the Laplacian. Our main result is that, given any separating closed hypersurface Σin a compact n-manifold M, there is a Riemannian metric on M such that the nodal set of its first nontrivial eigenfunction is Σ. We present a number of variations on this result, which enable us to show, in particular, that the first nontrivial eigenfunction can have as many non-degenerate critical points as one wishes.
We study the dynamics of the vector field on an open surface given by the gradient of a Green's function. This dynamical approach enables us to show that this field induces an invariant decomposition of the surface as the union of a disk and a 1-skeleton that encodes the topology of the surface. We analyze the structure of this 1-skeleton, thereby obtaining, in particular, a topological upper bound for the number of critical points a Green's function can have. Connections between the dynamical properties of the gradient field and the conformal structure of the surface are also discussed.
We construct a new family of null solutions to Maxwell's equations in free space whose field lines encode all torus knots and links. The evolution of these null fields, analogous to a compressible flow along the Poynting vector that is both geodesic and shear-free, preserves the topology of the knots and links. Our approach combines the Bateman and spinor formalisms for the construction of null fields with complex polynomials on $\mathbb{S}^3$. We examine and illustrate the geometry and evolution of the solutions, making manifest the structure of nested knotted tori filled by the field lines.
Motivated by a question of Rubel, we consider the problem of characterizing which noncompact hypersurfaces in $\RR^n$ can be regular level sets of a harmonic function modulo a $C^\infty$ diffeomorphism, as well as certain generalizations to other PDEs. We prove a versatile sufficient condition that shows, in particular, that any (possibly disconnected) algebraic noncompact hypersurface can be transformed onto a union of components of the zero set of a harmonic function via a diffeomorphism of $\RR^n$. The technique we use, which is a significant improvement of the basic strategy we recently applied to construct solutions to the Euler equation with knotted stream lines (Ann. of Math., in press), combines robust but not explicit local constructions with appropriate global approximation theorems. In view of applications to a problem of Berry and Dennis, intersections of level sets are also studied.
We prove a sufficient condition for the existence of explicit first integrals for vector fields which admit an integrating factor. This theorem recovers and extends previous results in the literature on the integrability of vector fields which are volume preserving and possess nontrivial normalizers. Our approach is geometric and coordinate-free and hence it works on any smooth orientable manifold.
Given any possibly unbounded, locally finite link, we show that there exists a smooth diffeomorphism transforming this link into a set of stream (or vortex) lines of a vector field that solves the steady incompressible Euler equation in $\mathbb{R}^3$. Furthermore, the diffeomorphism can be chosen arbitrarily close to the identity in any $C^r$ norm.
A k-submanifold L of an open n-manifold M is called weakly integrable (WI) [resp. strongly integrable (SI)] if there exists a submersion Φ:M\to R^{n-k} such that L\subset Φ^{-1}(0) [resp. L= Φ^{-1}(0)]. In this work we study the following problem, first stated in a particular case by Costa et al. (Invent. Math. 1988): which submanifolds L of an open manifold M are WI or SI? For general M, we explicitly solve the case k=n-1 and provide necessary and sufficient conditions for submanifolds to be WI and SI in higher codimension. As particular cases we recover the theorem of Bouma and Hector (Indagationes Math. 1983) asserting that any open orientable surface is SI in R^3, and Watanabe's and Miyoshi's theorems (Topology 1993 and 1995) claiming that any link is WI in an open 3-manifold. In the case M=R^n we fully characterize WI and SI submanifolds, we provide examples of 3- and 7-manifolds which are not WI and we show that a theorem by Miyoshi (Topology 1995) which states that any link in R^3 is SI does not hold in general. The right analogue to Miyoshi's theorem is also proved, implying in particular the surprising result that no knot in R^3 is SI. Our results applied to the theory of foliations of Euclidean spaces give rise to some striking corollaries: using some topological invariants we classify all the submanifolds of R^n which can be realized as proper leaves of foliations; we prove that S^3 can be realized as a leaf of a foliation of R^n, n\geq 7, but not in R^5 or R^6, which partially answers a question by Vogt (Math. Ann. 1993); we construct open 3-manifolds which cannot be leaves of a foliation of any compact 4-manifold but are proper leaves in R^4. The theory of WI and SI submanifolds is a framework where many classical tools of differential and algebraic topology play a prominent role: h-principle, complete intersections and the theory of immersions and embeddings.
We prove that the number of critical points of a Li-Tam Green's function on a complete open Riemannian surface of finite type admits a topological upper bound, given by the first Betti number of the surface. In higher dimensions, we show that there are no topological upper bounds on the number of critical points by constructing, for each nonnegative integer $N$, a manifold diffeomorphic to $\RR^n$ ($n \geq 3$) whose minimal Green's function has at least $N$ nondegenerate critical points. Variations on the method of proof of the latter result yield contractible $n$-manifolds whose minimal Green's functions have level sets diffeomorphic to any fixed codimension $1$ compact submanifold of $\RR^n$.
In this paper we analyze the eigenvalues and eigenfunctions of the Hodge Laplacian for generic metrics on a closed 3-manifold $M$. In particular, we show that the nonzero eigenvalues are simple and the zero set of the eigenforms of degree 1 or 2 consists of isolated points for a residual set of $C^r$ metrics on $M$, for any integer $r\geq2$. The proof of this result hinges on a detailed study of the Beltrami (or rotational) operator on co-exact 1-forms.
Let (P1) be certain elliptic free-boundary problem on a Riemannian manifold (M,g). In this paper we study the restrictions on the topology and geometry of the fibres (the level sets) of the solutions f to (P1). We give a technique based on certain remarkable property of the fibres (the analytic representation property) for going from the initial PDE to a global analytical characterization of the fibres (the equilibrium partition condition). We study this analytical characterization and obtain several topological and geometrical properties that the fibres of the solutions must possess, depending on the topology of M and the metric tensor g. We apply these results to the classical problem in physics of classifying the equilibrium shapes of both Newtonian and relativistic static self-gravitating fluids. We also suggest a relationship with the isometries of a Riemannian manifold.