Displaying similar documents to “Un résultat de convergence d'ordre deux en temps pour l'approximation des équations de Navier–Stokes par une technique de projection incrémentale”

Les types de données syntaxiques du système ℱ

Samir Farkh, Karim Nour (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

We give in this paper a purely syntactical definition of input and output types of system ℱ . We define the syntactical data types as input and output types. We show that any type with positive quantifiers is a syntactical data type and that an input type is an output type. We give some restrictions on the -elimination rule in order to prove that an output type is an input type.

Ground states of supersymmetric matrix models

Gian Michele Graf (1998-1999)

Séminaire Équations aux dérivées partielles

Similarity:

We consider supersymmetric matrix Hamiltonians. The existence of a zero-energy bound state, in particular for the d = 9 model, is of interest in M-theory. While we do not quite prove its existence, we show that the decay at infinity such a state would have is compatible with normalizability (and hence existence) in d = 9 . Moreover, it would be unique. Other values of d , where the situation is somewhat different, shall also be addressed. The analysis is based on a Born-Oppenheimer approximation....

Derivees tangentielles des fonctions de la classe k , α dans les domaines de type fini de ℂ²

Laurent Verdoucq (2002)

Annales Polonici Mathematici

Similarity:

Let Ω be a domain of finite type in ℂ² and let f be a function holomorphic in Ω and belonging to k , α ( Ω ̅ ) . We prove the existence of boundary values for some suitable derivatives of f of order greater than k. The gain of derivatives holds in the complex-tangential direction and it is precisely related to the geometry of ∂Ω. Then we prove a property of non-isotropic Hölder regularity for these boundary values. This generalizes some results given by J. Bruna and J. M. Ortega for the unit ball. ...

Théorèmes de préparation Gevrey et étude de certaines applications formelles

Augustin Mouze (2003)

Annales Polonici Mathematici

Similarity:

We consider subrings A of the ring of formal power series. They are defined by growth conditions on coefficients such as, for instance, Gevrey conditions. We prove preparation theorems of Malgrange type in these rings. As a consequence we study maps F from ℂ s to ℂ p without constant term such that the rank of the Jacobian matrix of F is equal to 1. Let be a formal power series. If F is a holomorphic map, the following result is well known: ∘ F is analytic implies there exists a convergent...

Sur un problème parabolique-elliptique

Philippe Benilan, Petra Wittbold (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

Similarity:

We prove existence (uniqueness is easy) of a weak solution to a boundary value problem for an equation like ( v - 1 ) t + = v x x + F ( v ) x where the function F : ℝ → ℝ is only supposed to be locally lipschitz continuous. In order to replace the lack of compactness in on , we use nonlinear semigroup theory.

L p ( G , X * ) comme sous-espace complémenté de L q ( G , X ) *

Mohammad Daher (2013)

Colloquium Mathematicae

Similarity:

Let G be a compact metric infinite abelian group and let X be a Banach space. We study the following question: if the dual X* of X does not have the Radon-Nikodym property, is L p ( G , X * ) complemented in L q ( G , X ) * , 1 < p ≤ ∞, 1/p + 1/q = 1, or, if p = 1, in the subspace of C(G,X)* consisting of the measures that are absolutely continuous with respect to the Haar measure? We show that the answer is negative if X is separable and does not contain ℓ¹, and if 1 ≤ p < ∞. If p = 1, this answers a question...