Contrôlabilité exacte frontière pour les équations des ondes quasi linéaires unidimensionnelles

By means of the existence and uniqueness of semi-global C¹ solution to the mixed initial-boundary value problem with general nonlinear boundary conditions for first order quasilinear hyperbolic systems with zero eigenvalues, we present a unified method to establish the exact boundary controllability for 1-D quasilinear wave equations with boundary conditions of different types. To cite this article: T.T. Li, L.X. Yu, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Simulations de l'écoulement turbulent marin avec un modèle de déconvolution

We display a continous equation for the deconvolution process that generalizes the Van Cittert algorithm in the case of oceanic boundary conditions for a given fixed wind. We deduce a LES model for which we have existence and uniqueness of a strong solution. Finally, we display several numerical simulations showing the practical interest of the model. To cite this article: A.-C. Bennis et al., C. R. Acad. Sci. Paris, Ser. I 347 (2009).     

The Helmholtz equation with impedance in a half-space

In this Note we obtain existence and uniqueness results for the Helmholtz equation in the half-space ${\mathbb{R}}_{+}^3$ with an impedance or Robin boundary condition. Basically, we follow the procedure we have already used in the bi-dimensional case (the half-plane). Thus, we compute the associated Green's function with the help of a double Fourier transform and we analyze its far field in order to obtain radiation conditions that allow us to prove the uniqueness of an outgoing solution. Again, these radiation conditions are somewhat unusual due to the appearance of a surface wave guided by the boundary. An integral representation of the solution is presented by means of the Green's function and the boundary data. To cite this article: M. Durán et al., C. R. Acad. Sci. Paris, Ser. I 341 (2005).     

Radiation condition and uniqueness for the outgoing elastic wave in a half-plane with free boundary

In this Note we deduce an explicit Sommerfeld-type radiation condition which is convenient to prove the uniqueness for the time-harmonic outgoing wave problem in an isotropic elastic half-plane with free boundary condition. The expression is obtained from a rigorous asymptotic analysis of the associated Green's function. The main difficulty is that the free boundary condition allows the propagation of a Rayleigh wave which cannot be neglected in the far field expansion. We also give the existence result for this problem. To cite this article: M. Durán et al., C. R. Acad. Sci. Paris, Ser. I 347 (2009).     

The Equation f′′′?+?ff′′?+?g(f′)?=?0 and the Associated Boundary Value Problems

We study the concave and convex solutions of the third order similarity differential equation f′′′?+?ff′′?+?g(f′)?=?0, and especially the ones that satisfies the boundary conditions f(0)?=?a, f′(0)?=?b and f′(t) → λ as t →?+?∞, where λ is a root of the function g. According to the sign of g between b and λ, we obtain results about existence, uniqueness and boundedness of solutions to this boundary value problem, that we denote by ${({\mathcal P}_{{\bf g};a,b,\lambda})}$ . In this way, we pursue and complete the study done in 2008.     

Martin Kernels for Markov Processes with Jumps

We prove the existence of boundary limits of ratios of positive harmonic functions for a wide class of Markov processes with jumps and irregular (possibly disconnected) domains of harmonicity, in the context of general metric measure spaces. As a corollary, we prove the uniqueness of the Martin kernel at each boundary point, that is, we identify the Martin boundary with the topological boundary. We also prove a Martin representation theorem for harmonic functions. Examples covered by our results include: strictly stable Lévy processes in R ^d with positive continuous density of the Lévy measure; stable-like processes in R ^d and in domains; and stable-like subordinate diffusions in metric measure spaces.     

Riemann–Hilbert formulation for the KdV equation on a finite interval

The initial-boundary value problem for the KdV equation on a finite interval is analyzed in terms of a singular Riemann–Hilbert problem for a matrix-valued function in the complex k-plane which depends explicitly on the space–time variables. For an appropriate set of initial and boundary data, we derive the k-dependent “spectral functions” which guarantee the uniqueness of Riemann–Hilbert problem's solution. The latter determines a solution of the initial-boundary value problem for KdV equation, for which an integral representation is given. To cite this article: I. Hitzazis, D. Tsoubelis, C. R. Acad. Sci. Paris, Ser. I 347 (2009).     

The Helmholtz equation with impedance in a half-plane

This Note gives answers to the uniqueness and existence questions for solutions of the Helmholtz equation in an half-plane with an impedance or mixed boundary condition. We deal with unbounded domains which boundaries are unbounded too. The radiation conditions are different from the ones that we found in an usual exterior problem due to the appearance of surface waves. We first compute and study the half-plane Green's function to see how the solutions behave at infinity, and second obtain integral representation for these solutions. To cite this article: M. Duran et al., C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

Robin Boundary Value Problem for One-Dimensional Landau–Lifshitz Equations

In this paper, we are concerned with the existence and uniqueness of global smooth solution for the Robin boundary value problem of Landau-Lifshitz equations in one dimension when the boundary value depends on time t. Furthermore, by viscosity vanishing approach, we get the existence and uniqueness of the problem without Gilbert damping term when the boundary value is independent of t.     

Unicité dans la méthode des moments pour les mélanges de deux distributions normales

By studying uniqueness, we show that Pearson's method of moments for mixtures of two normal distributions must be completed. We then invert a second set of moment equations, which is constructed to complete the classical system of moments. We are thus able to stabilize the method. To cite this article: E. Monfrini, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Détection et approximation de défauts non-réguliers

This Note deals with the identifiability of non-smooth defects by boundary measurements. We prove the uniqueness of the detection by two measurements for arbitrary closed sets satisfying quasi-everywhere a conductivity assumption. This assumption is satisfied by a large class of compact sets, including all the sets which can be written as an arbitrary union of continua of positive diameter. The conductivity is a new regularity concept which is related to the thickness of the set and is to be compared to the Wiener regularity. In order to rigorously justify the numerical approach by the finite element method, we provide a stability result without any a priori smoothness assumptions. To cite this article: Z. Belhachmi, D. Bucur, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

A simplified variational model for the bidimensional coupled evolution equations of a nematic liquid crystal

In Dias (C. R. Acad. Sci. Paris Sér. A. 285 (1977)) we have deduced, from Leslie's model (Arch. Rat. Mech. Anal. 28 (1968)), a weak formulation for the bidimensional coupled evolution equations of an incompressible nematic liquid crystal submitted to an homogeneous magnetic field. In this paper we prove some results about the existence, regularity and uniqueness of their solutions. This study extends the special case developed in Dias (J. Mécanique15 (1976)), where we assumed that the director field depends on time only.     

Fully discrete finite element scheme for Maxwell's equations with non-linear boundary condition

We study a full Maxwell's system accompanied with a non-linear degenerate boundary condition, which represents a generalization of the classical Silver-Müller condition for a non-perfect conductor. The relationship between the normal components of electric E and magnetic H field obeys the following power law ν×H=ν×(|E×ν|^α−1E×ν) for some α∈(0,1]. We establish the existence and uniqueness of a weak solution in a suitable function spaces under the minimal regularity assumptions on the boundary Γ and the initial data E₀ and H₀. We design a non-linear time discrete approximation scheme and prove convergence of the approximations to a weak solution. We also derive the error estimates for the time discretization. As a next step we study the fully discrete problem using curl-conforming edge elements and derive the corresponding error estimates. Finally we present some numerical experiments.     

Classical solutions to Navier–Stokes equations for nonhomogeneous incompressible fluids with non-negative densities

We study the Navier–Stokes equations for nonhomogeneous incompressible fluids in a bounded domain Ω of R³. We first prove the existence and uniqueness of local classical solutions to the initial boundary value problem of linear Stokes equations and then we obtain the existence and uniqueness of local classical solutions to the Navier–Stokes equations with vacuum under the assumption that the data satisfies a natural compatibility condition.     

Théorème d'unicité pour un problème d'ondes élastiques

In this Note we prove a uniqueness theorem for the an elastic waves problem (in frequency domain). The propagation domain is a stratified half-space with a vertical borehole. We impose radiation conditions at infinity which ensure uniqueness of the solution. To cite this article: L. Alem, L. Chorfi, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

On the uniqueness of a solution of a two-phase free boundary problem

In this paper, we study the uniqueness problem of a two-phase elliptic free boundary problem arising from the phase transition problem subject to given boundary data. We show that in general the comparison principle between the sub- and super-solutions does not hold, and there is no uniqueness of either a viscosity solution or a minimizer of this free boundary problem by constructing counter-examples in various cases in any dimension. In one-dimension, a bifurcation phenomenon presents and the uniqueness problem has been completely analyzed. In fact, the critical case signifies the change from uniqueness to non-uniqueness of a solution of the free boundary problem. Non-uniqueness of a solution of the free boundary problem suggests different physical stationary states caused by different processes, such as melting of ice or solidification of water, even with the same prescribed boundary data. However, we prove that a uniqueness theorem is true for the initial-boundary value problem of an ε-evolutionary problem which is the smoothed two-phase parabolic free boundary problem.     

The method of boundary integral equations for a mixed scattering problem

In this paper we consider the scattering of an electromagnetic time-harmonic plane wave by an infinite cylinder having an open arc and a bounded domain in R² as cross section. To this end, we solve a scattering problem for the Helmholtz equation in R² where the scattering object is a combination of a crack Γ and a bounded obstacle D, and we have Dirichlet-impedance type boundary condition on Γ and Dirichlet boundary condition on ∂D (∂D∈C²). Applying potential theory, the problem can be reformulated as a boundary integral system. We establish the existence and uniqueness of a solution to the system by using the Fredholm theory.     

On the uniqueness of overcomplete dictionaries, and a practical way to retrieve them

A full-rank under-determined linear system of equations Ax = b has in general infinitely many possible solutions. In recent years there is a growing interest in the sparsest solution of this equation—the one with the fewest non-zero entries, measured by ∥x∥₀. Such solutions find applications in signal and image processing, where the topic is typically referred to as “sparse representation”. Considering the columns of A as atoms of a dictionary, it is assumed that a given signal b is a linear composition of few such atoms. Recent work established that if the desired solution x is sparse enough, uniqueness of such a result is guaranteed. Also, pursuit algorithms, approximation solvers for the above problem, are guaranteed to succeed in finding this solution.Armed with these recent results, the problem can be reversed, and formed as an implied matrix factorization problem: Given a set of vectors {b_i}, known to emerge from such sparse constructions, Ax_i = b_i, with sufficiently sparse representations x_i, we seek the matrix A. In this paper we present both theoretical and algorithmic studies of this problem. We establish the uniqueness of the dictionary A, depending on the quantity and nature of the set {b_i}, and the sparsity of {x_i}. We also describe a recently developed algorithm, the K-SVD, that practically find the matrix A, in a manner similar to the K-Means algorithm. Finally, we demonstrate this algorithm on several stylized applications in image processing.     

Existence of strong solutions for the problem of a rigid-fluid system

This Note is devoted to the study of a fluid–rigid body interaction problem. The motion of the fluid is modelled by the Navier–Stokes equations, written in an unknown bounded domain depending on the displacement of the rigid body. Our main result yields the existence and uniqueness of strong solutions, which are global provided that the rigid body does not touch the boundary. To cite this article: T. Takahashi, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Stabilisation frontière du système élastodynamique dans un polygone plan

In this paper, we study the boundary stabilization of the elastodynamic system in a plane polygonal domain. Here, we take in account singularities which appear when changing boundary conditions. To cite this article: R. Brossard, J.-P. Lohéac, C. R. Acad. Sci. Paris, Ser. I 338 (2004).