-
Analytic expression of the DOS for a new model of 1d-potential and its random perturbation
Authors:
Hakim Boumaza,
Olivier Lafitte
Abstract:
In this article we present comparisons between the spectrum of a one-dimensional Schrödinger operator for a particular periodic potential and for its restriction to a finite number of sites. We deduce from this finite, but large, number of sites, the Integrated Density of States (IDS) associated to the Hamiltonian operator whose derivate is the DOS. The exact formula for the IDS is given and the e…
▽ More
In this article we present comparisons between the spectrum of a one-dimensional Schrödinger operator for a particular periodic potential and for its restriction to a finite number of sites. We deduce from this finite, but large, number of sites, the Integrated Density of States (IDS) associated to the Hamiltonian operator whose derivate is the DOS. The exact formula for the IDS is given and the expression of the DOS is analytical. All our calculations are done on the particular periodic Airy-potential, which is a new case for which one has an analytical expression of the DOS. It is a continuous, periodic potential, piecewise affine. As a periodic operator, the spectrum is a band spectrum.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
When Analytic Calculus Cracks AdaBoost Code
Authors:
Jean-Marc Brossier,
Olivier Lafitte,
Lenny Réthoré
Abstract:
The principle of boosting in supervised learning involves combining multiple weak classifiers to obtain a stronger classifier. AdaBoost has the reputation to be a perfect example of this approach.
This study analyzes the (two classes) AdaBoost procedure implemented in scikit-learn.
This paper shows that AdaBoost is an algorithm in name only, as the resulting combination of weak classifiers can…
▽ More
The principle of boosting in supervised learning involves combining multiple weak classifiers to obtain a stronger classifier. AdaBoost has the reputation to be a perfect example of this approach.
This study analyzes the (two classes) AdaBoost procedure implemented in scikit-learn.
This paper shows that AdaBoost is an algorithm in name only, as the resulting combination of weak classifiers can be explicitly calculated using a truth table.
Indeed, using a logical analysis of the training set with weak classifiers constructing a truth table, we recover, through an analytical formula, the weights of the combination of these weak classifiers obtained by the procedure.
We observe that this formula does not give the point of minimum of the risk, we provide a system to compute the exact point of minimum and we check that the AdaBoost procedure in scikit-learn does not implement the algorithm described by Freund and Schapire.
△ Less
Submitted 7 February, 2024; v1 submitted 2 August, 2023;
originally announced August 2023.
-
The reflection coefficient of a fractional reflector
Authors:
Laurent Demanet,
Olivier Lafitte
Abstract:
This paper considers the question of characterizing the behavior of waves reflected by a fractional singularity of the wave speed profile, i.e., of the form \[ c(x_1, x_2, x_3) = c_0 \left(1 + \left( \frac{x_1}{\ell}\right)_{+}^α\right)^{-1/2}, \] for $α> 0$ not necessarily integer. We first focus on the case of one spatial dimension and a harmonic time dependence. We define the reflection coeffic…
▽ More
This paper considers the question of characterizing the behavior of waves reflected by a fractional singularity of the wave speed profile, i.e., of the form \[ c(x_1, x_2, x_3) = c_0 \left(1 + \left( \frac{x_1}{\ell}\right)_{+}^α\right)^{-1/2}, \] for $α> 0$ not necessarily integer. We first focus on the case of one spatial dimension and a harmonic time dependence. We define the reflection coefficient $R$ from a limiting absorption principle. We provide an exact formula for $R$ in terms of the solution to a Volterra equation. We obtain the asymptotic limit of this coefficient in the large $\ell ω/ c_0$ regime as \[ R = \frac{Γ(α+ 1)}{(2 i)^{α+ 2}} \left( \frac{c_0}{\ell ω} \right)^α + \mbox{lower order terms.} \] The amplitude is proportional to $ω^{-α}$, and the phase rotation behavior is obtained from the $i^{-(α+2)}$ factor. The proof method does not rely on representing the solution by special functions, since $α> 0$ is general.
In the multi-dimensional layered case, we obtain a similar result where the nondimensional variable $\ell ω/ c_0$ is modified to account for the angle of incidence. The asymptotic analysis now requires the waves to be non-glancing. The resulting reflection coefficient can now be interpreted as a Fourier multiplier of order $- α$.
In practice, the knowledge of the dependency of both the amplitude and the phase of $R$ on $ω$ and $α$ might be able to inform the kind of signal processing needed to characterize the fractional nature of reflectors, for instance in geophysics.
△ Less
Submitted 6 May, 2023;
originally announced May 2023.
-
Error estimates for Gaussian beams at a fold caustic
Authors:
Olivier Lafitte,
Olof Runborg
Abstract:
In this work we show an error estimate for a first order Gaussian beam at a fold caustic, approximating time-harmonic waves governed by the Helmholtz equation. For the caustic that we study the exact solution can be constructed using Airy functions and there are explicit formulae for the Gaussian beam parameters. Via precise comparisons we show that the pointwise error on the caustic is of the ord…
▽ More
In this work we show an error estimate for a first order Gaussian beam at a fold caustic, approximating time-harmonic waves governed by the Helmholtz equation. For the caustic that we study the exact solution can be constructed using Airy functions and there are explicit formulae for the Gaussian beam parameters. Via precise comparisons we show that the pointwise error on the caustic is of the order $O(k^{-5/6})$ where $k$ is the wave number in Helmholtz.
△ Less
Submitted 16 July, 2023; v1 submitted 2 April, 2023;
originally announced April 2023.
-
Analytic solutions and numerical method for a coupled thermo-neutronic problem
Authors:
François Dubois,
Olivier Lafitte
Abstract:
We consider in this contribution a simplified idealized one-dimensional coupled model for neutronics and thermo-hydraulics under the low Mach number approximation. We propose a numerical method treating globally the coupled problem for finding its unique solution. Simultaneously, we use incomplete elliptic integrals to represent analytically the neutron flux. Both methods match perfectly. Note th…
▽ More
We consider in this contribution a simplified idealized one-dimensional coupled model for neutronics and thermo-hydraulics under the low Mach number approximation. We propose a numerical method treating globally the coupled problem for finding its unique solution. Simultaneously, we use incomplete elliptic integrals to represent analytically the neutron flux. Both methods match perfectly. Note that the multiplication factor, classical output of neutronics problems, depends considerably of the representation of the cross sections.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
Spectral analysis of the incompressible viscous Rayleigh-Taylor system in $\mathbf{R}^3$
Authors:
Tien-Tai Nguyen,
Olivier Lafitte
Abstract:
The linear instability study of the viscous Rayleigh-Taylor model in the neighborhood of a laminar smooth increasing density profile $ρ_0(x_3)$ amounts to the study of the following ordinary differential equation of order 4: \begin{equation}\label{MainEq} -λ^2 [ ρ_0 k^2 φ- (ρ_0 φ')'] = λμ(φ^{(4)} - 2k^2 φ" + k^4 φ) - gk^2 ρ_0'φ, \end{equation} where $λ$ is the growth rate in time, $k$ is the wave…
▽ More
The linear instability study of the viscous Rayleigh-Taylor model in the neighborhood of a laminar smooth increasing density profile $ρ_0(x_3)$ amounts to the study of the following ordinary differential equation of order 4: \begin{equation}\label{MainEq} -λ^2 [ ρ_0 k^2 φ- (ρ_0 φ')'] = λμ(φ^{(4)} - 2k^2 φ" + k^4 φ) - gk^2 ρ_0'φ, \end{equation} where $λ$ is the growth rate in time, $k$ is the wave number transverse to the density profile.
In the case of $ρ'_0\geq 0$ compactly supported, we provide a spectral analysis showing that in accordance with the results of \cite{HL03}, there is an infinite sequence of non trivial solutions $(λ_n, φ_n)$, with $λ_n\rightarrow 0$ when $n\rightarrow +\infty$ and $φ_n\in H^4(\mathbf{R})$. In the more general case where $ρ_0'>0$ everywhere and $ρ_0$ converges at $\pm\infty$ to finite limits $ρ_{\pm}>0$, we prove that there exist finitely non trivial solutions $(λ_n, φ_n)$. The line of investigation is to reduce both cases to the study of an operator on a compact set.
△ Less
Submitted 22 May, 2022; v1 submitted 29 November, 2020;
originally announced November 2020.
-
Multiple wells Airy-Schr{ö}dinger operator and integrated density of states of the periodic Airy-Schr{ö}dinger operator
Authors:
H Boumaza,
O Lafitte
Abstract:
We compute an explicit formula for the integrated density of states of the periodic Airy-Schr{ö}dinger operator on the real line. For this purpose, we study precisely the spectrum of the restriction of the periodic Airy-Schr{ö}dinger operator to a finite number of periods. We prove that all the eigenvalues of this restriction are in the spectral bands of the periodic Airy-Schr{ö}dinger operator an…
▽ More
We compute an explicit formula for the integrated density of states of the periodic Airy-Schr{ö}dinger operator on the real line. For this purpose, we study precisely the spectrum of the restriction of the periodic Airy-Schr{ö}dinger operator to a finite number of periods. We prove that all the eigenvalues of this restriction are in the spectral bands of the periodic Airy-Schr{ö}dinger operator and none of them are in its spectral gaps. We count exactly the number of eigenvalues in each of the spectral bands, this number being equal to the number of periods to which the periodic operator is restricted, plus one. Note that our results depends on a semiclassical parameter but are not stated in the semiclassical limit. They are valid for values of the semiclassical larger than explicit constants.
△ Less
Submitted 6 March, 2020;
originally announced March 2020.
-
Uniqueness of the Cauchy datum for the tempered-in-time response and conductivity operator of a plasma
Authors:
Olivier Lafitte,
Omar Maj
Abstract:
We study the linear Vlasov equation with a given electric field $E \in \mathcal{S}$, where $\mathcal{S}$ is the space of Schwartz functions. The associated damped partial differential equation has a unique tempered solution, which fixes the needed Cauchy datum. This tempered solution then converges to the causal solution of the linear Vlasov equation when the dam** parameter goes to zero. This r…
▽ More
We study the linear Vlasov equation with a given electric field $E \in \mathcal{S}$, where $\mathcal{S}$ is the space of Schwartz functions. The associated damped partial differential equation has a unique tempered solution, which fixes the needed Cauchy datum. This tempered solution then converges to the causal solution of the linear Vlasov equation when the dam** parameter goes to zero. This result allows us to define the plasma conductivity operator $σ$, which gives the current density $j = σ(E)$ induced by the electric field $E$. We prove that $σ$ is continuous from $\mathcal{S}$ to its dual $\mathcal{S}^\prime$. We can treat rigorously the case of uniform non-magnetized non-relativistic plasma (linear Landau dam**) and the case of uniform magnetized relativistic plasma (cyclotron dam**). In both cases, we demonstrate that the main part of the conductivity operator is a pseudo-differential operator and we give its expression rigorously. This matches the formal results widely used in the theoretical physics community.
△ Less
Submitted 21 December, 2022; v1 submitted 22 May, 2018;
originally announced May 2018.
-
The band spectrum of the periodic airy-schrodinger operator on the real line
Authors:
H Boumaza,
O Lafitte
Abstract:
We introduce the periodic Airy-Schrödinger operator and we study its band spectrum. This is an example of an explicitly solvable model with a periodic potential which is not differentiable at its minima and maxima. We define a semiclassical regime in which the results are stated for a fixed value of the semiclassical parameter and are thus estimates instead of asymptotic results. We prove that the…
▽ More
We introduce the periodic Airy-Schrödinger operator and we study its band spectrum. This is an example of an explicitly solvable model with a periodic potential which is not differentiable at its minima and maxima. We define a semiclassical regime in which the results are stated for a fixed value of the semiclassical parameter and are thus estimates instead of asymptotic results. We prove that there exists a sequence of explicit constants, which are zeroes of classical functions, giving upper bounds of the semiclassical parameter for which the spectral bands are in the semiclassical regime. We completely determine the behaviour of the edges of the first spectral band with respect to the semiclassical parameter. Then, we investigate the spectral bands and gaps situated in the range of the potential. We prove precise estimates on the widths of these spectral bands and these spectral gaps and we determine an upper bound on the integrated spectral density in this range. Finally, in the semiclassical regime, we get estimates of the edges of every spectral bands and thus of the widths of every spectral bands and spectral gaps.
△ Less
Submitted 27 January, 2017; v1 submitted 8 July, 2016;
originally announced July 2016.
-
Block-diagonalization of ODEs in the semiclassical limit and $C^ω$ vs. $C^\infty$ stationary phase
Authors:
Olivier Lafitte,
Mark Williams,
Kevin Zumbrun
Abstract:
Motivated by issues in detonation stability, we study existence of block-diagonalizing transformations for ordinary differential semiclassical limit problems arising in the study of high-frequency eigenvalue problems. Our main results are to (i) establish existence of block-diagonalizing transformations in a neighborhood of infinity for analytic-coefficient ODE, and (ii) establish by a series of c…
▽ More
Motivated by issues in detonation stability, we study existence of block-diagonalizing transformations for ordinary differential semiclassical limit problems arising in the study of high-frequency eigenvalue problems. Our main results are to (i) establish existence of block-diagonalizing transformations in a neighborhood of infinity for analytic-coefficient ODE, and (ii) establish by a series of counterexample sharpness of hypotheses and conclusions on existence of block-diagonalizing transformations near a finite point. In particular, we show that, in general, bounded transformations exist only locally, answering a question posed by Wasow in the 1980's, and, under the minimal condition of spectral separation, for ODE with analytic rather than $C^\infty$ coefficients. The latter issue is connected with quantitative comparisons of $C^ω$ vs. $C^\infty$ stationary phase estimates
△ Less
Submitted 31 July, 2015; v1 submitted 11 July, 2015;
originally announced July 2015.
-
High-frequency stability of multidimensional ZND detonations
Authors:
Olivier Lafitte,
Mark Williams,
Kevin Zumbrun
Abstract:
The rigorous study of spectral stability of strong detonations was begun by Erpenbeck in the 1960s. Working with the Zeldovitch-von Neumann-Döring (ZND) model, he identified two fundamental classes of detonation profiles, referred to as those of decreasing (D) and increasing (I) type, which appeared to exhibit very different behavior with respect to high-frequency perturbations. Using a combinatio…
▽ More
The rigorous study of spectral stability of strong detonations was begun by Erpenbeck in the 1960s. Working with the Zeldovitch-von Neumann-Döring (ZND) model, he identified two fundamental classes of detonation profiles, referred to as those of decreasing (D) and increasing (I) type, which appeared to exhibit very different behavior with respect to high-frequency perturbations. Using a combination of rigorous and non-rigorous arguments, Erpenbeck concluded that type I detonations were unstable to some oscillatory perturbations for which the (vector) frequency was of arbitrarily large magnitude, while type D detonations were stable provided the frequency magnitude was sufficiently high. For type D detonations Erpenbeck's methods did not allow him to obtain a cutoff magnitude for stability that was \emph{uniform} with respect to frequency direction. Thus, he left open the question whether the cutoff magnitude for stability might approach $+\infty$ as certain frequency directions were approached. In this paper we show by quite different methods that for type D detonations there exists a uniform cutoff magnitude for stability independent of frequency direction. By reducing the search for unstable frequencies to a bounded frequency set, the uniform cutoff obtained here is a key step toward the rigorous validation of a number of results in the computational detonation literature. The main difficulty in the analysis is to treat "turning points at infinity".
△ Less
Submitted 24 December, 2013;
originally announced December 2013.
-
The Erpenbeck high frequency instability theorem for ZND detonations
Authors:
Olivier Lafitte,
Mark Williams,
Kevin Zumbrun
Abstract:
The rigorous study of spectral stability for strong detonations was begun by J.J. Erpenbeck in [Er1]. Working with the Zeldovitch-von Neumann-Döring (ZND) model, which assumes a finite reaction rate but ignores effects like viscosity corresponding to second order derivatives, he used a normal mode analysis to define a stability function $V(τ,\eps)$ whose zeros in $\Re τ>0$ correspond to multidimen…
▽ More
The rigorous study of spectral stability for strong detonations was begun by J.J. Erpenbeck in [Er1]. Working with the Zeldovitch-von Neumann-Döring (ZND) model, which assumes a finite reaction rate but ignores effects like viscosity corresponding to second order derivatives, he used a normal mode analysis to define a stability function $V(τ,\eps)$ whose zeros in $\Re τ>0$ correspond to multidimensional perturbations of a steady detonation profile that grow exponentially in time. Later in a remarkable paper [Er3] he provided strong evidence, by a combination of formal and rigorous arguments, that for certain classes of steady ZND profiles, unstable zeros of $V$ exist for perturbations of sufficiently large transverse wavenumber $\eps$, even when the von Neumann shock, regarded as a gas dynamical shock, is uniformly stable in the sense defined (nearly twenty years later) by Majda. In spite of a great deal of later numerical work devoted to computing the zeros of $V(τ,\eps)$, the paper \cite{Er3} remains the only work we know of that presents a detailed and convincing theoretical argument for detecting them.
The analysis in [Er3] points the way toward, but does not constitute, a mathematical proof that such unstable zeros exist. In this paper we identify the mathematical issues left unresolved in [Er3] and provide proofs, together with certain simplifications and extensions, of the main conclusions about stability and instability of detonations contained in that paper.
The main mathematical problem, and our principal focus here, is to determine the precise asymptotic behavior as $\eps\to \infty$ of solutions to a linear system of ODEs in $x$, depending on $\eps$ and a complex frequency $τ$ as parameters, with turning points $x_*$ on the half-line $[0,\infty)$.
△ Less
Submitted 2 February, 2011;
originally announced February 2011.
-
Existence and stability of viscous shock profiles for 2-D isentropic MHD with infinite electrical resistivity
Authors:
Blake Barker,
Olivier Lafitte,
Kevin Zumbrun
Abstract:
For the two-dimensional Navier--Stokes equations of isentropic magnetohydrodynamics (MHD) with $γ$-law gas equation of state, $γ\ge 1$, and infinite electrical resistivity, we carry out a global analysis categorizing all possible viscous shock profiles. Precisely, we show that the phase portrait of the traveling-wave ODE generically consists of either two rest points connected by a viscous Lax p…
▽ More
For the two-dimensional Navier--Stokes equations of isentropic magnetohydrodynamics (MHD) with $γ$-law gas equation of state, $γ\ge 1$, and infinite electrical resistivity, we carry out a global analysis categorizing all possible viscous shock profiles. Precisely, we show that the phase portrait of the traveling-wave ODE generically consists of either two rest points connected by a viscous Lax profile, or else four rest points, two saddles and two nodes. In the latter configuration, which rest points are connected by profiles depends on the ratio of viscosities, and can involve Lax, overcompressive, or undercompressive shock profiles. For the monatomic and diatomic cases $γ=5/3$ and $γ= 7/5$, with standard viscosity ratio for a nonmagnetic gas, we find numerically that the the nodes are connected by a family of overcompressive profiles bounded by Lax profiles connecting saddles to nodes, with no undercompressive shocks occurring. We carry out a systematic numerical Evans function analysis indicating that all of these two-dimensional shock profiles are linearly and nonlinearly stable, both with respect to two- and three-dimensional perturbations. For the same gas constants, but different viscosity ratios, we investigate also cases for which undercompressive shocks appear; these are seen numerically to be stable as well
△ Less
Submitted 14 December, 2009;
originally announced December 2009.
-
Bifurcations in a convection problem with temperature-dependent viscosity
Authors:
Francisco Pla,
Henar Herrero,
Olivier Lafitte
Abstract:
A convection problem with temperature-dependent viscosity in an infinite layer is presented. As described, this problem has important applications in mantle convection. The existence of a stationary bifurcation is proved together with a condition to obtain the critical parameters at which the bifurcation takes place. For a general dependence of viscosity with temperature a numerical strategy for…
▽ More
A convection problem with temperature-dependent viscosity in an infinite layer is presented. As described, this problem has important applications in mantle convection. The existence of a stationary bifurcation is proved together with a condition to obtain the critical parameters at which the bifurcation takes place. For a general dependence of viscosity with temperature a numerical strategy for the calculation of the critical bifurcation curves and the most unstable modes has been developed. For a exponential dependence of viscosity on temperature the numerical calculations have been done. Comparisons with the classical Rayleigh-Bénard problem with constant viscosity indicate that the critical threshold decreases as the exponential rate parameter increases.
△ Less
Submitted 21 October, 2008;
originally announced October 2008.
-
Study of the linear ablation growth rate for the quasi isobaric model of Euler equations with thermal conductivity
Authors:
Olivier Lafitte
Abstract:
In this paper, we study a linear system related to the 2d system of Euler equations with thermal conduction in the quasi-isobaric approximation of Kull-Anisimov [14]. This model is used for the study of the ablation front instability, which appears in the problem of inertial confinement fusion. This physical system contains a mixing region, in which the density of the gaz varies quickly, and one…
▽ More
In this paper, we study a linear system related to the 2d system of Euler equations with thermal conduction in the quasi-isobaric approximation of Kull-Anisimov [14]. This model is used for the study of the ablation front instability, which appears in the problem of inertial confinement fusion. This physical system contains a mixing region, in which the density of the gaz varies quickly, and one denotes by L0 an associated characteristic length. The system of equations is linearized around a stationary solution, and each perturbed quantity is written using the normal modes method. The resulting linear system is not self-adjoint, of order 5, with coefficients depending on x and on physical parameters $α, β$. We calculate Evans function associated with this linear system, using rigorous constructions of decreasing at $\pm \infty$ solutions of systems of ODE. We prove that for $α$ small, there is no bounded solution of the linearized system.
△ Less
Submitted 1 July, 2007;
originally announced July 2007.
-
The linear and non linear Rayleigh-Taylor instability for the quasi isobaric profile
Authors:
Olivier Lafitte
Abstract:
We study the stability of the system of the Euler equation in the neighborhood of a stationary profile associated with the quasi isobaric model in a gravity field. This stationary profile is not bounded below, hence the operator is not coercive. We use this linear result to deduce a nonlinear result
We study the stability of the system of the Euler equation in the neighborhood of a stationary profile associated with the quasi isobaric model in a gravity field. This stationary profile is not bounded below, hence the operator is not coercive. We use this linear result to deduce a nonlinear result
△ Less
Submitted 30 June, 2007;
originally announced July 2007.