A semi-coercive problem with unilateral boundary conditions of the Signoriti type in a convex polygonal domain is solved on the basis of a dual variational approach. Whereas some strong regularity of the solution has been assumed in the previous author’s results on error estimates, no assumption of this kind is imposed here and still the $L^2$-convergence is proved.

We consider the initial value problem for degenerate viscous and inviscid scalar conservation laws where the flux function depends on the spatial location through a “rough” coefficient function $k\left(x\right)$. We show that the Engquist-Osher (and hence all monotone) finite difference approximations converge to the unique entropy solution of the governing equation if, among other demands, $k^{\text{'}}$ is in $BV$, thereby providing alternative (new) existence proofs for entropy solutions of degenerate convection-diffusion equations...

We consider the initial value problem for degenerate viscous and inviscid scalar conservation laws where the flux function depends on the spatial location through a "rough"coefficient function k(x). We show that the Engquist-Osher (and hence all monotone) finite difference approximations converge to the unique entropy solution of the governing equation if, among other demands, k' is in BV, thereby providing alternative (new) existence proofs for entropy solutions of degenerate convection-diffusion...

We study the convergence or divergence of formal (power series) solutions of first order nonlinear partial differential equations    (SE) f(x,u,Dx u) = 0 with u(0)=0. Here the function f(x,u,ξ) is defined and holomorphic in a neighbourhood of a point $(0,0,{\xi }^0)\in {ℂ}_x^n\times {ℂ}_u\times {ℂ}_{\xi }^n({\xi }^0=D_{x}u\left(0\right))$ and $f(0,0,{\xi }^0)=0$. The equation (SE) is said to be singular if f(0,0,ξ) ≡ 0 $\left(\xi \in {ℂ}^n\right)$. The criterion of convergence of a formal solution $u\left(x\right)={\sum }_{\left|\alpha \right|\ge 1}{u}_{\alpha }{x}^{\alpha }$ of (SE) is given by a generalized form of the Poincaré condition which depends on each formal solution. In the case where the formal...

Let (x,y,z) ∈ ℂ³. In this paper we shall study the solvability of singular first order partial differential equations of nilpotent type by the following typical example: $Pu(x,y,z):=(y{\partial }_x-z{\partial }_y)u(x,y,z)=f(x,y,z){\in }_{x,y,z}$, where $P=y{\partial }_x-z{\partial }_y{:}_{x,y,z}{\to }_{x,y,z}$. For this equation, our aim is to characterize the solvability on ${}_{x,y,z}$ by using the Im P, Coker P and Ker P, and we give the exact forms of these sets.

In this paper, the evolution equations with nonlinear term describing the resonance interaction between the long wave and the short wave are studied. The semi-discrete and fully discrete Crank-Nicholson Fourier spectral schemes are given. An energy estimation method is used to obtain error estimates for the approximate solutions. The numerical results obtained are compared with exact solution and found to be in good agreement.

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) ...

This paper deals with the problem of numerical approximation in the Cauchy-Dirichlet problem for a scalar conservation law with a flux function having finitely many discontinuities. The well-posedness of this problem was proved by Carrillo [J. Evol. Eq. 3 (2003) 687–705]. Classical numerical methods do not allow us to compute a numerical solution (due to the lack of regularity of the flux). Therefore, we propose an implicit Finite Volume method based on an equivalent formulation of the initial...

This paper focuses on a one-dimensional wave equation being subjected to a unilateral boundary condition. Under appropriate regularity assumptions on the initial data, a new proof of existence and uniqueness results is proposed. The mass redistribution method, which is based on a redistribution of the body mass such that there is no inertia at the contact node, is introduced and its convergence is proved. Finally, some numerical experiments are reported.

In the recent literature, the phenomenon of phase separation for binary mixtures of Bose–Einstein condensates can be understood, from a mathematical point of view, as governed by the asymptotic limit of the stationary Gross–Pitaevskii system $-\Delta u+u^3+\beta u{v}^2=\lambda u,-\Delta v+v^3+\beta u^{2}v=\mu v,u,v\in H_0^1\left(\Omega \right),u,v>0$, as the interspecies scattering length $\beta$ goes to $+\infty$. For this system we consider the associated energy functionals $J_{\beta },\beta \in (0,+\infty )$, with $L^2$-mass constraints, which limit $J_{\infty }$ (as $\beta \to +\infty$) is strongly irregular. For such functionals, we construct multiple critical points via a common...

We study convergence of formal power series along families of formal or analytic vector fields. One of our results says that if a formal power series converges along a family of vector fields, then it also converges along their commutators. Using this theorem and a result of T. Morimoto, we prove analyticity of formal solutions for a class of nonlinear singular PDEs. In the proofs we use results from control theory.

The convergence of Rothe’s method in Hölder spaces is discussed. The obtained results are based on uniform boundedness of Rothe’s approximate solutions in Hölder spaces recently achieved by the first author. The convergence and its rate are derived inside a parabolic cylinder assuming an additional compatibility conditions.