Displaying similar documents to “Wentzell Boundary Conditions in the Nonsymmetric Case”

On the decidability of semigroup freeness

Julien Cassaigne, Francois Nicolas (2012)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup is defined as: given a finite subset  ⊆ , decide whether each element of has at most one factorization over . To date, the decidabilities of the following two freeness problems have been closely examined. In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness problem over the free monoids. In 1991, Klarner, Birget and Satterfield proved the undecidability...

Well-posedness of a class of non-homogeneous boundary value problems of the Korteweg-de Vries equation on a finite domain

Eugene Kramer, Ivonne Rivas, Bing-Yu Zhang (2013)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

In this paper, we study a class of Initial-Boundary Value Problems proposed by Colin and Ghidaglia for the Korteweg-de Vries equation posed on a bounded domain (0). We show that this class of Initial-Boundary Value Problems is locally well-posed in the classical Sobolev space (0) for > -3/4, which provides a positive answer to one of the open questions of Colin and Ghidaglia [6 (2001) 1463–1492].

Quasiconvexity at the boundary and concentration effects generated by gradients

Martin Kružík (2013)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

We characterize generalized Young measures, the so-called DiPerna–Majda measures which are generated by sequences of gradients. In particular, we precisely describe these measures at the boundary of the domain in the case of the compactification of ℝ by the sphere. We show that this characterization is closely related to the notion of quasiconvexity at the boundary introduced by Ball and Marsden [J.M. Ball and J. Marsden, 86 (1984) 251–277]. As a consequence we get new results on weak...

Continuity of solutions of a nonlinear elliptic equation

Pierre Bousquet (2013)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

We consider a nonlinear elliptic equation of the form div [(∇)] + [] = 0 on a domain Ω, subject to a Dirichlet boundary condition tr = . We do not assume that the higher order term satisfies growth conditions from above. We prove the existence of continuous solutions either when Ω is convex and satisfies a one-sided bounded slope condition, or when is radial: a ( ξ ) = l ( | ξ | ) | ξ | ξ a ( ξ ) = l ( | ξ | ) | ξ | ξ for some increasing:ℝ → ℝ

On the decidability of semigroup freeness

Julien Cassaigne, Francois Nicolas (2012)

RAIRO - Theoretical Informatics and Applications

Similarity:

This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup is defined as: given a finite subset  ⊆ , decide whether each element of has at most one factorization over . To date, the decidabilities of the following two freeness problems have been closely examined. In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness problem over the free...

On the decidability of semigroup freeness

Julien Cassaigne, Francois Nicolas (2012)

RAIRO - Theoretical Informatics and Applications

Similarity:

This paper deals with the decidability of semigroup freeness. More precisely, the freeness problem over a semigroup is defined as: given a finite subset  ⊆ , decide whether each element of has at most one factorization over . To date, the decidabilities of the following two freeness problems have been closely examined. In 1953, Sardinas and Patterson proposed a now famous algorithm for the freeness problem over the free...

Boundary layer correctors and generalized polarization tensor for periodic rough thin layers. A review for the conductivity problem

Clair Poignard (2012)

ESAIM: Proceedings

Similarity:

We study the behaviour of the steady-state voltage potential in a material composed of a two-dimensional object surrounded by a rough thin layer and embedded in an ambient medium. The roughness of the layer is supposed to be –periodic, being the magnitude of the mean thickness of the layer, and a positive parameter describing the degree of roughness. For tending to zero, we determine the appropriate boundary layer correctors which lead to approximate transmission...

Polyharmonic homogenization, rough polyharmonic splines and sparse super-localization

Houman Owhadi, Lei Zhang, Leonid Berlyand (2014)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

Similarity:

We introduce a new variational method for the numerical homogenization of divergence form elliptic, parabolic and hyperbolic equations with arbitrary rough ( ) coefficients. Our method does not rely on concepts of ergodicity or scale-separation but on compactness properties of the solution space and a new variational approach to homogenization. The approximation space is generated by an interpolation basis (over scattered points forming a mesh of resolution ) minimizing...

Spectral analysis in a thin domain with periodically oscillating characteristics

Rita Ferreira, Luísa M. Mascarenhas, Andrey Piatnitski (2012)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

The paper deals with a Dirichlet spectral problem for an elliptic operator with -periodic coefficients in a 3D bounded domain of small thickness . We study the asymptotic behavior of the spectrum as and tend to zero. This asymptotic behavior depends crucially on whether and are of the same order ( ≈ ), or is much less than ( =   < 1), or is much greater than ( =   > 1). We consider all three cases. ...

Pointwise constrained radially increasing minimizers in the quasi-scalar calculus of variations

Luís Balsa Bicho, António Ornelas (2014)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

We prove of vector minimizers () =  (||) to multiple integrals ∫ ((), |()|)  on a  ⊂ ℝ, among the Sobolev functions (·) in + (, ℝ), using a  : ℝ×ℝ → [0,∞] with (·) and . Besides such basic hypotheses, (·,·) is assumed to satisfy also...