We introduce by means of reproducing kernel theory and decomposition in orthogonal polynomials canonical correspondences between an interacting Fock space a reproducing kernel Hilbert space and a square integrable functions space w.r.t. a cylindrical measure. Using this correspondences we investigate the structure of the infinite dimensional canonical commutation relations. In particular we construct test functions spaces, distributions spaces and a quantization map which generalized the work of...

We consider a Schrödinger operator with a magnetic field (and no electric field) on a domain in the Euclidean space with a compact boundary. We give sufficient conditions on the behaviour of the magnetic field near the boundary which guarantees essential self-adjointness of this operator. From the physical point of view, it means that the quantum particle is confined in the domain by the magnetic field. We construct examples in the case where the boundary is smooth as well as for polytopes; These...

Starting from the Rodrigues representation of polynomial solutions of the general hypergeometric-type differential equation complementary polynomials are constructed using a natural method. Among the key results is a generating function in closed form leading to short and transparent derivations of recursion relations and addition theorem. The complementary polynomials satisfy a hypergeometric-type differential equation themselves, have a three-term recursion among others and obey Rodrigues formulas....

We consider a quantum particle in a 1D infinite square potential well with variable length. It is a nonlinear control system in which the state is the wave function $\phi$ of the particle and the control is the length $l\left(t\right)$ of the potential well. We prove the following controllability result : given ${\phi }_0$ close enough to an eigenstate corresponding to the length $l=1$ and ${\phi }_f$ close enough to another eigenstate corresponding to the length $l=1$, there exists a continuous function $l:[0,T]\to {ℝ}_{+}^{*}$ with $T\>0$, such that $l\left(0\right)=1$ and $l\left(T\right)=1$, and which...

One considers a quantum particle in a 1D moving infinite square potential well. It is a nonlinear control system in which the state is the wave function of the particle and the control is the acceleration of the potential well. One proves the local controllability around any eigenstate, and the steady state controllability (controllability between eigenstates) of this control system. In particular, the wave function can be moved from one eigenstate to another one, exactly and in finite time, by...

We consider a quantum particle in a 1D infinite square potential well with variable length. It is a nonlinear control system in which the state is the wave function ϕ of the particle and the control is the length l(t) of the potential well. We prove the following controllability result : given ${\phi }_0$ close enough to an eigenstate corresponding to the length l = 1 and ${\phi }_f$ close enough to another eigenstate corresponding to the length l=1, there exists a continuous function $l:[0,T]\to {ℝ}_{+}^{*}$ with T > 0, such that l(0)...

The numerical solution of the Hartree-Fock equations is a central problem in quantum chemistry for which numerous algorithms exist. Attempts to justify these algorithms mathematically have been made, notably in [E. Cancès and C. Le Bris, Math. Mod. Numer. Anal. 34 (2000) 749–774], but, to our knowledge, no complete convergence proof has been published, except for the large-Z result of [M. Griesemer and F. Hantsch, Arch. Rational Mech. Anal. (2011) 170]. In this paper, we prove the convergence of...

The numerical solution of the Hartree-Fock equations is a central problem in quantum chemistry for which numerous algorithms exist. Attempts to justify these algorithms mathematically have been made, notably in [E. Cancès and C. Le Bris, Math. Mod. Numer. Anal. 34 (2000) 749–774], but, to our knowledge, no complete convergence proof has been published, except for the large-Z result of [M. Griesemer and F. Hantsch, Arch. Rational Mech. Anal. (2011) 170]. In this paper, we prove the convergence of...

The numerical solution of the Hartree-Fock equations is a central problem in quantum chemistry for which numerous algorithms exist. Attempts to justify these algorithms mathematically have been made, notably in [E. Cancès and C. Le Bris, Math. Mod. Numer. Anal. 34 (2000) 749–774], but, to our knowledge, no complete convergence proof has been published, except for the large-Z result of [M. Griesemer and F. Hantsch, Arch. Rational Mech. Anal. (2011) ...

In this paper, we prove the convergence of the current defined from the Schrödinger-Poisson system with the presence of a strong magnetic field toward a dissipative solution of the Euler equations.

In this paper, we prove the convergence of the current defined from the Schrödinger-Poisson system with the presence of a strong magnetic field toward a dissipative solution of the Euler equations.

Nonlinear Schrödinger equations (NLS)${}_a$ with strongly singular potential ${a\left|x\right|}^{-2}$ on a bounded domain $\Omega$ are considered. If $\Omega ={ℝ}^N$ and $a>-{(N-2)}^2/4$, then the global existence of weak solutions is confirmed by applying the energy methods established by N. Okazawa, T. Suzuki, T. Yokota (2012). Here $a=-{(N-2)}^2/4$ is excluded because $D\left(P_{a\left(N\right)}^{1/2}\right)$ is not equal to $H^1\left({ℝ}^N\right)$, where $P_{a\left(N\right)}:=-\Delta -{(N-2)}^2/{\left(4\right|x|}^2)$ is nonnegative and selfadjoint in $L^2\left({ℝ}^N\right)$. On the other hand, if $\Omega$ is a smooth and bounded domain with $0\in \Omega$, the Hardy-Poincaré inequality is proved in J. L. Vazquez, E. Zuazua (2000)....