Showing 1–16 of 16 results for author: Hoffmann-Ostenhof, T

Hardy inequalities for large fermionic systems

Authors: Rupert L. Frank, Thomas Hoffmann-Ostenhof, Ari Laptev, Jan Philip Solovej

Abstract: Given $0<s<\frac d2$ with $s\leq 1$, we are interested in the large $N$-behavior of the optimal constant $κ_N$ in the Hardy inequality $\sum_{n=1}^N (-Δ_n)^s \geq κ_N \sum_{n<m} |X_n-X_m|^{-2s}$, when restricted to antisymmetric functions. We show that $N^{1-\frac{2s}d}κ_N$ has a positive, finite limit given by a certain variational problem, thereby generalizing a result of Lieb and Yau related to… ▽ More Given $0<s<\frac d2$ with $s\leq 1$, we are interested in the large $N$-behavior of the optimal constant $κ_N$ in the Hardy inequality $\sum_{n=1}^N (-Δ_n)^s \geq κ_N \sum_{n<m} |X_n-X_m|^{-2s}$, when restricted to antisymmetric functions. We show that $N^{1-\frac{2s}d}κ_N$ has a positive, finite limit given by a certain variational problem, thereby generalizing a result of Lieb and Yau related to the Chandrasekhar theory of gravitational collapse. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Comments: 27 pages; dedicated to Brian Davies, in admiration, on the occasion of his 80th birthday

On maximal multiplicities for Hamiltonians with separable variables

Authors: B. Helffer, T. Hoffmann-Ostenhof, P. Marquetand

Abstract: For $\mathbb N^*:=\mathbb N \setminus \{0\}$, we consider the collection $\mathfrak M(N)$ of all the $N$ rows, for which, for $n=1,\cdots,N$, the $n-th$ row consists of an increasing sequence $(a_j^n)_j$ of real numbers. For $\mathfrak A \in \mathfrak M(N)$, we define its spectrum $σ(\mathfrak A)$ by $σ(\mathfrak A)=\{λ\in \mathbb R \;|\; λ=\sum_{n=1}^Na_{j_n}^n\}\,,$ where… ▽ More For $\mathbb N^*:=\mathbb N \setminus \{0\}$, we consider the collection $\mathfrak M(N)$ of all the $N$ rows, for which, for $n=1,\cdots,N$, the $n-th$ row consists of an increasing sequence $(a_j^n)_j$ of real numbers. For $\mathfrak A \in \mathfrak M(N)$, we define its spectrum $σ(\mathfrak A)$ by $σ(\mathfrak A)=\{λ\in \mathbb R \;|\; λ=\sum_{n=1}^Na_{j_n}^n\}\,,$ where $(j_1,j_2,\dots,j_N)\in (\mathbb N^*)^N$. This spectrum is discrete and consists of an infinite sequence that can be ordered as a strictly increasing sequence $λ_k(\mathfrak A)$. For $λ\in σ(\mathfrak A)$ we denote by $m(λ,\mathfrak A) $ the number of representations of such a $λ$, hence the multiplicity of $λ$.\\ In this paper we investigate for given $N\in \mathbb N^*$ and $k\in \mathbb N^*$ the highest possible multiplicity (denoted by $\mathfrak m_k(N)$) of $λ_k(\mathfrak A)$ for $\mathfrak A \in \mathfrak M(N)$. We give the exact result for $N=2$ and for $N=3$ prove a lower bound which appears, according to numerical experiments, as a "good" conjecture. For the general case, we give examples demonstrating that the problem is quite difficult. \\ This problem is equivalent to the analogue eigenvalue multiplicity questions for Schrödinger operators describing a system of N non-interacting one-dimensional particles. △ Less

Submitted 7 August, 2019; originally announced August 2019.

MSC Class: 35P20

Nodal domains, spectral minimal partitions, and their relation to Aharonov-Bohm operators

Authors: Virginie Bonnaillie-Noël, Bernard Helffer, Thomas Hoffmann-Ostenhof

Abstract: This survey is a short version of a chapter written by the first two authors in the book [A. Henrot, editor. Shape optimization and spectral theory. Berlin: De Gruyter, 2017] (where more details and references are given) but we have decided here to put more emphasis on the role of the Aharonov-Bohm operators which appear to be a useful tool coming from physics for understanding a problem motivated… ▽ More This survey is a short version of a chapter written by the first two authors in the book [A. Henrot, editor. Shape optimization and spectral theory. Berlin: De Gruyter, 2017] (where more details and references are given) but we have decided here to put more emphasis on the role of the Aharonov-Bohm operators which appear to be a useful tool coming from physics for understanding a problem motivated either by spectral geometry or dynamics of population. Similar questions appear also in Bose-Einstein theory. Finally some open problems which might be of interest are mentioned. △ Less

Submitted 2 November, 2017; originally announced November 2017.

Comments: arXiv admin note: substantial text overlap with arXiv:1506.07249

Pleijel's theorem for Schrödinger operators with radial potentials

Authors: Philippe Charron, Bernard Helffer, Thomas Hoffmann-Ostenhof

Abstract: In 1956 $Å$. Pleijel gave his celebrated theorem showing that the inequality in Courant's theorem on the number of nodal domains is strict for large eigenvalues of the Laplacian. This was a consequence of a stronger result giving an asymptotic upper bound for the number of nodal domains of the eigenfunctions as the eigenvalues tend to $+\infty$. A similar question occurs naturally for Schr"\odinge… ▽ More In 1956 $Å$. Pleijel gave his celebrated theorem showing that the inequality in Courant's theorem on the number of nodal domains is strict for large eigenvalues of the Laplacian. This was a consequence of a stronger result giving an asymptotic upper bound for the number of nodal domains of the eigenfunctions as the eigenvalues tend to $+\infty$. A similar question occurs naturally for Schr"\odinger operators. The first significant result has been obtained recently by the first author for the harmonic oscillator. The purpose of this paper is to consider more general potentials which are radial. We will analyze the case when the potential tends to $+\infty$ and the case when the potential is negative and tends to zero, where the considered eigenfucntion are associated to the eigenvalues below the essential spectrum. △ Less

Submitted 28 April, 2016; originally announced April 2016.

MSC Class: 35b05; 35j10; 81Q99

Analytic structure of solutions to multiconfiguration equations

Authors: Søren Fournais, Maria Hoffmann-Ostenhof, Thomas Hoffmann-Ostenhof, Thomas Østergaard Sørensen

Abstract: We study the regularity at the positions of the (fixed) nuclei of solutions to (non-relativistic) multiconfiguration equations (including Hartree--Fock) of Coulomb systems. We prove the following: Let {phi_1,...,phi_M} be any solution to the rank--M multiconfiguration equations for a molecule with L fixed nuclei at R_1,...,R_L in R^3. Then, for any j in {1,...,M} and k in {1,...,L}, there exists… ▽ More We study the regularity at the positions of the (fixed) nuclei of solutions to (non-relativistic) multiconfiguration equations (including Hartree--Fock) of Coulomb systems. We prove the following: Let {phi_1,...,phi_M} be any solution to the rank--M multiconfiguration equations for a molecule with L fixed nuclei at R_1,...,R_L in R^3. Then, for any j in {1,...,M} and k in {1,...,L}, there exists a neighbourhood U_{j,k} in R^3 of R_k, and functions phi^{(1)}_{j,k}, phi^{(2)}_{j,k}, real analytic in U_{j,k}, such that phi_j(x) = phi^{(1)}_{j,k}(x) + |x - R_k| phi^{(2)}_{j,k}(x), x in U_{j,k} A similar result holds for the corresponding electron density. The proof uses the Kustaanheimo--Stiefel transformation, as applied earlier by the authors to the study of the eigenfunctions of the Schr"odinger operator of atoms and molecules near two-particle coalescence points. △ Less

Submitted 8 December, 2008; originally announced December 2008.

Comments: 15 pages

MSC Class: 35B65; 35J10; 35B45; 81Q05; 35J15; 81V55

Journal ref: J. Phys. A: Math. Theor. 42 (2009) 315208

Analytic structure of many-body Coulombic wave functions

Authors: Søren Fournais, Maria Hoffmann-Ostenhof, Thomas Hoffmann-Ostenhof, Thomas Østergaard Sørensen

Abstract: We investigate the analytic structure of solutions of non-relativistic Schr"odinger equations describing Coulombic many-particle systems. We prove the following: Let psi(x) with x=(x_1,...,x_N) in R^{3N} denote an N-electron wavefunction of such a system with one nucleus fixed at the origin. Then in a neighbourhood of a coalescence point, for which x_1=0 and the other electron coordinates do not… ▽ More We investigate the analytic structure of solutions of non-relativistic Schr"odinger equations describing Coulombic many-particle systems. We prove the following: Let psi(x) with x=(x_1,...,x_N) in R^{3N} denote an N-electron wavefunction of such a system with one nucleus fixed at the origin. Then in a neighbourhood of a coalescence point, for which x_1=0 and the other electron coordinates do not coincide, and differ from 0, psi can be represented locally as psi(x) = psi^(1)(x) + |x_1|psi^(2)(x) with psi^(1), psi^(2) real analytic. A similar representation holds near two-electron coalescence points. The Kustaanheimo-Stiefel transform and analytic hypoellipticity play an essential role in the proof. △ Less

Submitted 5 June, 2008; originally announced June 2008.

Comments: 23 pages

MSC Class: 35B65; 35J10; 35B45; 81Q05; 35J15; 81V55

Journal ref: Commun. Math. Phys. 289 (2009), no. 1, 291--310

Many Particle Hardy-Inequalities

Authors: M. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, A. Laptev, J. Tidblom

Abstract: In this paper we prove three differenttypes of the so-called many-particle Hardy inequalities. One of them is a "classical type" which is valid in any dimesnion $d\neq 2$. The second type deals with two-dimensional magnetic Dirichlet forms where every particle is supplied with a soplenoid. Finally we show that Hardy inequalities for Fermions hold true in all dimensions. In this paper we prove three differenttypes of the so-called many-particle Hardy inequalities. One of them is a "classical type" which is valid in any dimesnion $d\neq 2$. The second type deals with two-dimensional magnetic Dirichlet forms where every particle is supplied with a soplenoid. Finally we show that Hardy inequalities for Fermions hold true in all dimensions. △ Less

Submitted 12 August, 2006; originally announced August 2006.

Comments: 20 pages

MSC Class: 35B05

Positivity and lower bounds to the decay of the atomic one-electron density

Authors: Søren Fournais, Maria Hoffmann-Ostenhof, Thomas Hoffmann-Ostenhof, Thomas Østergaard Sørensen

Abstract: We investigate properties of the spherically averaged atomic one-electron density rho~(r). For a rho~ which stems from a physical ground state we prove that rho~ > 0. We also give exponentially decreasing lower bounds to rho~ in the case when the eigenvalue is below the corresponding essential spectrum. We investigate properties of the spherically averaged atomic one-electron density rho~(r). For a rho~ which stems from a physical ground state we prove that rho~ > 0. We also give exponentially decreasing lower bounds to rho~ in the case when the eigenvalue is below the corresponding essential spectrum. △ Less

Submitted 8 August, 2006; originally announced August 2006.

Comments: 20 pages

MSC Class: 81V45; 81Q05 (primary); 35J10; 35B04; 35B40 (secondary)

Non-isotropic cusp conditions and regularity of the electron density of molecules at the nuclei

Authors: Søren Fournais, Maria Hoffmann-Ostenhof, Thomas Hoffmann-Ostenhof, Thomas Østergaard Sørensen

Abstract: We investigate regularity properties of molecular one-electron densities rho near the nuclei. In particular we derive a representation rho(x)=mu(x)*(e^F(x)) with an explicit function F, only depending on the nuclear charges and the positions of the nuclei, such that mu belongs to C^{1,1}(R^3), i.e., mu has locally essentially bounded second derivatives. An example constructed using Hydrogenic ei… ▽ More We investigate regularity properties of molecular one-electron densities rho near the nuclei. In particular we derive a representation rho(x)=mu(x)*(e^F(x)) with an explicit function F, only depending on the nuclear charges and the positions of the nuclei, such that mu belongs to C^{1,1}(R^3), i.e., mu has locally essentially bounded second derivatives. An example constructed using Hydrogenic eigenfunctions shows that this regularity result is sharp. For atomic eigenfunctions which are either even or odd with respect to inversion in the origin, we prove that mu is even C^{2,α}(R^3) for all alpha in (0,1). Placing one nucleus at the origin we study rho in polar coordinates x=r*omega and investigate rho'(r,omega) and rho''(r,omega) for fixed omega as r tends to zero. We prove non-isotropic cusp conditions of first and second order, which generalize Kato's classical result. △ Less

Submitted 7 March, 2006; originally announced March 2006.

Comments: 19 pages

MSC Class: 81V70; 81V55 (primary); 35B65; 35J10; 81Q05; 35Q40 (secondary)

Journal ref: Ann. Henri Poincaré 8 (2007), no.4, 731--748

Nodal domains a la Courant

Authors: A. Ancona, B. Helffer, T. Hoffmann-Ostenhof

Abstract: Let $H(\Om_0)=-Δ+V$ be a Schrödinger operator on a bounded domain $\Om_0\subset \mathbb R^d$ with Dirichlet boundary conditions. Suppose that the $\Om_\ell$ ($\ell \in \{1,...,k\}$) are some pairwise disjoint subsets of $\Om_0$ and that $H(\Om_\ell)$ are the corresponding Schrödinger operators again with Dirichlet boundary conditions. We investigate the relations between the spectrum of… ▽ More Let $H(\Om_0)=-Δ+V$ be a Schrödinger operator on a bounded domain $\Om_0\subset \mathbb R^d$ with Dirichlet boundary conditions. Suppose that the $\Om_\ell$ ($\ell \in \{1,...,k\}$) are some pairwise disjoint subsets of $\Om_0$ and that $H(\Om_\ell)$ are the corresponding Schrödinger operators again with Dirichlet boundary conditions. We investigate the relations between the spectrum of $H(\Om_0)$ and the spectra of the $H(\Om_\ell)$. In particular, we derive some inequalities for the associated spectral counting functions which can be interpreted as generalizations of Courant's nodal Theorem. For the case that equality is achieved we prove converse results. In particular, we use potential theoretic methods to relate the $\Om_\ell$ to the nodal domains of some eigenfunction of $H(Ω_0)$. △ Less

Submitted 2 March, 2004; originally announced March 2004.

Sharp regularity results for many-electron wave functions

Authors: Søren Fournais, Maria Hoffmann-Ostenhof, Thomas Hoffmann-Ostenhof, Thomas Østergaard Sørensen

Abstract: We show that electronic wave functions Psi of atoms and molecules have a representation Psi=F*phi, where F is an explicit universal factor, locally Lipschitz, and independent of the eigenvalue and the solution Psi itself, and phi has locally bounded second derivatives. This representation turns out to be optimal as can already be demonstrated with the help of hydrogenic wave functions. The proof… ▽ More We show that electronic wave functions Psi of atoms and molecules have a representation Psi=F*phi, where F is an explicit universal factor, locally Lipschitz, and independent of the eigenvalue and the solution Psi itself, and phi has locally bounded second derivatives. This representation turns out to be optimal as can already be demonstrated with the help of hydrogenic wave functions. The proofs of these results are, in an essential way, based on a new elliptic regularity result which is of independent interest. Some identities that can be interpreted as cusp conditions for second order derivatives of Psi are derived. △ Less

Submitted 23 December, 2003; originally announced December 2003.

Comments: 43 pages

MSC Class: 35B65; 35J10; 35B45; 81Q05; 35J15; 81V55

Journal ref: Commun. Math. Phys., 255 (2005) no. 1, 183--227

Analyticity of the density of electronic wavefunctions

Authors: S. Fournais, M. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, T. Østergaard Sørensen

Abstract: We prove that the electronic densities of atomic and molecular eigenfunctions are real analytic in ${\mathbb R}^3$ away from the nuclei. We prove that the electronic densities of atomic and molecular eigenfunctions are real analytic in ${\mathbb R}^3$ away from the nuclei. △ Less

Submitted 29 November, 2002; originally announced November 2002.

Comments: 19 pages

MSC Class: 35B65; 35Q40; 81Q05

Journal ref: Ark. Math. 42 (2004), 87-106

On the regularity of the density of electronic wavefunctions

Authors: S. Fournais, M. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, T. Østergaard Sørensen

Abstract: We prove that the electronic density of atomic and molecular eigenfunctions is smooth away from the nuclei. The result is proved without decay assumptions on the eigenfunctions. We prove that the electronic density of atomic and molecular eigenfunctions is smooth away from the nuclei. The result is proved without decay assumptions on the eigenfunctions. △ Less

Submitted 29 November, 2002; originally announced November 2002.

Comments: New results after the talk by the first author at QMath-8, Taxco, Mexico, December 10-14, 2001. Published in refereed proceedings

MSC Class: 35B65;35Q40;81Q05

Journal ref: Mathematical Results in Quantum Mechanics, Contemp. Math., 307, Amer. Math. Soc., Providence, RI, 2002

The electron density is smooth away from the nuclei

Authors: S. Fournais, M. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, T. Østergaard Sørensen

Abstract: We prove that the electron densities of electronic eigenfunctions of atoms and molecules are smooth away from the nuclei. We prove that the electron densities of electronic eigenfunctions of atoms and molecules are smooth away from the nuclei. △ Less

Submitted 21 September, 2001; originally announced September 2001.

Comments: 16 pages

MSC Class: 35B65;35Q40;81Q05

Journal ref: Commun. Math. Phys. 228 (2002) no. 3, 401--415

Electron Wavefunctions and Densities for Atoms

Authors: Maria Hoffmann-Ostenhof, Thomas Hoffmann-Ostenhof, Thomas Østergaard Sørensen

Abstract: With a special `Ansatz' we analyse the regularity properties of atomic electron wavefunctions and electron densities. In particular we prove an a priori estimate, $\sup_{y\in B(x,R)}|\nablaψ(y)| \leq C(R) \sup_{y\in B(x,2R)}|ψ(y)|$ and obtain for the spherically averaged electron density, $\widetildeρ(r)$, that $\widetildeρ''(0)$ exists and is non-negative. With a special `Ansatz' we analyse the regularity properties of atomic electron wavefunctions and electron densities. In particular we prove an a priori estimate, $\sup_{y\in B(x,R)}|\nablaψ(y)| \leq C(R) \sup_{y\in B(x,2R)}|ψ(y)|$ and obtain for the spherically averaged electron density, $\widetildeρ(r)$, that $\widetildeρ''(0)$ exists and is non-negative. △ Less

Submitted 2 May, 2000; originally announced May 2000.

MSC Class: 81V10; 35B05; 35J10; 81Q05

Journal ref: Ann. Henri Poincaré 2 (2001), no. 1, 77--100

Nodal sets for the groundstate of the Schroedinger operator with zero magnetic field in a non simply connected domain

Authors: B. Helffer, M. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, M. P. Owen

Abstract: We investigate nodal sets of magnetic Schroedinger operators with zero magnetic field, acting on a non simply connected domain in $\r^2$. For the case of circulation 1/2 of the magnetic vector potential around each hole in the region, we obtain a charactisation of the nodal set, and use this to obtain bounds on the multiplicity of the groundstate. For the case of one hole and a fixed electric po… ▽ More We investigate nodal sets of magnetic Schroedinger operators with zero magnetic field, acting on a non simply connected domain in $\r^2$. For the case of circulation 1/2 of the magnetic vector potential around each hole in the region, we obtain a charactisation of the nodal set, and use this to obtain bounds on the multiplicity of the groundstate. For the case of one hole and a fixed electric potential, we show that the first eigenvalue takes its highest value for circulation 1/2. △ Less

Submitted 13 July, 1998; originally announced July 1998.

Comments: 30 pages, 8 figures

MSC Class: 58G25; 53C21