Rigorous derivation of nonlinear plate theory and geometric rigidityDérivation rigoureuse de la théorie non linéaire des plaques et rigidité géométrique

We show that nonlinear plate theory arises as a Γ-limit of three-dimensional nonlinear elasticity. A key ingredient in the proof is a sharp rigidity estimate for maps $\text{v:(0,1)}{}^3\text{→}\text{R}{}^3$. We show that the L² distance of ?v from a single rotation is bounded by a multiple of the L² distance from the set SO(3) of all rotations. To cite this article: G. Friesecke et al., C. R. Acad. Sci. Paris, Ser. I 334 (2002) 173–178     

Rigidity and gamma convergence for solid‐solid phase transitions with SO(2) invariance

The singularly perturbed two‐well problem in the theory of solid‐solid phase transitions takes the form where u : Ω ? ?ⁿ → ?ⁿ is the deformation, and W vanishes for all matrices in K = SO(n)A ∪ SO(n)B. We focus on the case n = 2 and derive, by means of Gamma convergence, a sharp‐interface limit for I_ε. The proof is based on a rigidity estimate for low‐energy functions. Our rigidity argument also gives an optimal two‐well Liouville estimate: if ?u has a small BV norm (compared to the diameter of the domain), then, in the L¹ sense, either the distance of ?u from SO(2)A or the one from SO(2)B is controlled by the distance of ?u from K. This implies that the oscillation of ?u in weak L¹ is controlled by the L¹ norm of the distance of ?u to K. © 2006 Wiley Periodicals, Inc.     

Unstable Manifolds of Euler Equations

We consider a steady state v₀ of the Euler equation in a fixed bounded domain in ?ⁿ. Suppose the linearized Euler equation has an exponential dichotomy of unstable and center‐stable subspaces. By rewriting the Euler equation as an ODE on an infinite‐dimensional manifold of volume‐preserving maps in W^{k, q} the unstable (and stable) manifolds of v₀ are constructed under a certain spectral gap condition that is satisfied for both two‐dimensional and three‐dimensional examples. In particular, when the unstable subspace is finite dimensional, this implies the nonlinear instability of v₀ in the sense that arbitrarily small W^{k, q} perturbations can lead to L² growth of the nonlinear solutions. © 2013 Wiley Periodicals, Inc.     

Well‐posedness theory for hyperbolic conservation laws

The paper presents a well‐posedness theory for the initial value problem for a general system of hyperbolic conservation laws. We will start with the refinement of Glimm's existence theory and discuss the principle of nonlinear through wave tracing. Our main goal is to introduce a nonlinear functional for two solutions with the property that it is equivalent to the L₁(x) distance between the two solutions and is time‐decreasing. Moreover, the functional is constructed explicitly in terms of the wave patterns of the solutions through the nonlinear superposition. It consists of a linear term measuring the L₁(x) distance, a quadratic term measuring the coupling of waves and distance, and a generalized entropy functional. © 1999 John Wiley & Sons, Inc.     

Inequalities for convex bodies and polar reciprocal lattices inR n

LetL be a lattice and letU be ano-symmetric convex body inR ⁿ . The Minkowski functional ∥ ∥ _U ofU, the polar bodyU ⁰, the dual latticeL ^*, the covering radius μ(L, U), and the successive minima λ _i (L,U)i=1,...,n, are defined in the usual way. Let ℒ _n be the family of all lattices inR ⁿ . Given a pairU,V of convex bodies, we define and kh(U, V) is defined as the smallest positive numbers for which, given arbitraryL∈ℒ _n andu∈R ⁿ /(L+U), somev∈L ^* with ∥v∥ _V ≤sd(uv, ℤ) can be found. Upper bounds for jh(U, U ⁰), j=k, l, m, belong to the so-called transference theorems in the geometry of numbers. The technique of Gaussian-like measures on lattices, developed in an earlier paper [4] for euclidean balls, is applied to obtain upper bounds for jh(U, V) in the case whenU, V aren-dimensional ellipsoids, rectangular parallelepipeds, or unit balls inl _p ⁿ , 1≤p≤∞. The gaps between the upper bounds obtained and the known lower bounds are, roughly speaking, of order at most logn asn→∞. It is also proved that ifU is symmetric through each of the coordinate hyperplanes, then jh(U, U ⁰) are less thanCn logn for some numerical constantC.     

On the Lp–Lq maximal regularity for Stokes equations with Robin boundary condition in a bounded domain

We obtain the L_p–L_q maximal regularity of the Stokes equations with Robin boundary condition in a bounded domain in ?ⁿ (n?2). The Robin condition consists of two conditions: v ? u=0 and αu+β(T(u, p)v – 〈T(u, p)v, v〉v)=h on the boundary of the domain with α, β?0 and α+β=1, where u and p denote a velocity vector and a pressure, T(u, p) the stress tensor for the Stokes flow and v the unit outer normal to the boundary of the domain. It presents the slip condition when β=1 and non‐slip one when α=1, respectively. The slip condition is appropriate for problems that involve free boundaries. Copyright © 2006 John Wiley & Sons, Ltd.     

Existence and exponential stability in Lr‐spaces of stationary Navier–Stokes flows with prescribed flux in infinite cylindrical domains

We prove existence, uniqueness and exponential stability of stationary Navier–Stokes flows with prescribed flux in an unbounded cylinder of ?ⁿ,n?3, with several exits to infinity provided the total flux and external force are sufficiently small. The proofs are based on analytic semigroup theory, perturbation theory and L^r ? L^q‐estimates of a perturbation of the Stokes operator in L^q‐spaces. Copyright © 2006 John Wiley & Sons, Ltd.     

The Föppl–von Kármán plate theory as a low energy Γ-limit of nonlinear elasticityLa théorie Föppl–von Kármán des plaques comme Γ-limite de l'élasticité non linéaire

We show that the Föppl–von Kármán theory arises as a low energy Γ-limit of three-dimensional nonlinear elasticity. A key ingredient in the proof is a generalization to higher derivatives of our rigidity result [5] that for maps $\text{v:(0,1)}{}^3\text{→}\text{R}{}^3$, the L² distance of ?v from a single rotation is bounded by a multiple of the L² distance from the set SO(3) of all rotations. To cite this article: G. Friesecke et al., C. R. Acad. Sci. Paris, Ser. I 335 (2002) 201–206.     

Traces of Sobolev functions with one square integrable directional derivative

We consider the Sobolev spaces of square integrable functions v, from ?ⁿ or from one of its hyperquadrants Q, into a complex separable Hilbert space, with square integrable sum of derivatives ∑?_??v. In these spaces we define closed trace operators on the boundaries ?Q and on the hyperplanes {r_?? = z}, z ∈ ?\{0}, which turn out to be possibly unbounded with respect to the usual L²‐norm for the image. Therefore, we also introduce bigger trace spaces with weaker norms which allow to get bounded trace operators, and, even if these traces are not L², we prove an integration by parts formula on each hyperquadrant Q. Then we discuss surjectivity of our trace operators and we establish the relation between the regularity properties of a function on ?ⁿ and the regularity properties of its restrictions to the hyperquadrants Q. Copyright © 2005 John Wiley & Sons, Ltd.     

Young‐measure solutions to a generalized Benjamin–Bona–Mahony equation

We consider the evolution of microstructure under the dynamics of the generalized Benjamin–Bona–Mahony equation (1) with u: ?² → ?. If we model the initial microstructure by a sequence of spatially faster and faster oscillating classical initial data vⁿ, we obtain a sequence of spatially highly oscillatory classical solutions uⁿ. By considering the Young measures (YMs) ν and µ generated by the sequences vⁿ and uⁿ, respectively, as n → ∞, we derive a macroscopic evolution equation for the YM solution µ, and show exemplarily how such a measure‐valued equation can be exploited in order to obtain classical evolution equations for effective (macroscopic) quantities of the microstructure for suitable initial data vⁿ and non‐linearities f. Copyright © 2005 John Wiley & Sons, Ltd.     

Near‐automorphisms of Latin squares

We define a near‐automorphism α of a Latin square L to be an isomorphism such that L and α L differ only within a 2 × 2 subsquare. We prove that for all n≥2 except n∈{3, 4}, there exists a Latin square which exhibits a near‐automorphism. We also show that if α has the cycle structure (2, n ? 2), then L exists if and only if n≡2 (mod 4), and can be constructed from a special type of partial orthomorphism. Along the way, we generalize a theorem by Marshall Hall, which states that any Latin rectangle can be extended to a Latin square. We also show that if α has at least 2 fixed points, then L must contain two disjoint non‐trivial subsquares. Copyright © 2011 John Wiley & Sons, Ltd. 19:365‐377, 2011     

Universal Associative Envelopes of (n+ 1)-Dimensional n-Lie Algebras

For n even, we prove Pozhidaev's conjecture on the existence of associative enveloping algebras for simple n-Lie (Filippov) algebras. More generally, for n even and any (n + 1)-dimensional n-Lie algebra L, we construct a universal associative enveloping algebra U(L) and show that the natural map L → U(L) is injective. We use noncommutative Gröbner bases to present U(L) as a quotient of the free associative algebra on a basis of L and to obtain a monomial basis of U(L). In the last section, we provide computational evidence that the construction of U(L) is much more difficult for n odd.     

Blow-up Theory for the Coupled L 2-Critical Nonlinear Schrödinger System in the Plane

In this paper, we study the blow-up theory for the L ²-critical coupled nonlinear Schrödinger system in the Euclidean plane ${\mathbb{R}^{2}}In this paper, we study the blow-up theory for the L ²-critical coupled nonlinear Schr?dinger system in the Euclidean plane \mathbbR²{\mathbb{R}^{2}} .We show that at the finite time blow-up, similar results of Weinstein, Merle-Tsutsumi for scalar Schrodinger equations are true for the system.     

List circular coloring of trees and cycles

Suppose G=(V, E) is a graph and p ≥ 2q are positive integers. A (p, q)‐coloring of G is a mapping ?: V → {0, 1, …, p‐1} such that for any edge xy of G, q ≤ |?(x)‐?(y)| ≤ p‐q. A color‐list is a mapping L: V → ({0, 1, …, p‐1}) which assigns to each vertex v a set L(v) of permissible colors. An L‐(p, q)‐coloring of G is a (p, q)‐coloring ? of G such that for each vertex v, ?(v) ∈ L(v). We say G is L‐(p, q)‐colorable if there exists an L‐(p, q)‐coloring of G. A color‐size‐list is a mapping ? which assigns to each vertex v a non‐negative integer ?(v). We say G is ?‐(p, q)‐colorable if for every color‐list L with |L(v)| = ?(v), G is L‐(p, q)‐colorable. In this article, we consider list circular coloring of trees and cycles. For any tree T and for any p ≥ 2q, we present a necessary and sufficient condition for T to be ?‐(p, q)‐colorable. For each cycle C and for each positive integer k, we present a condition on ? which is sufficient for C to be ?‐(2k+1, k)‐colorable, and the condition is sharp. © 2007 Wiley Periodicals, Inc. J Graph Theory 55: 249–265, 2007     

Non-recursive functions,knots “with thick ropes,” and self-clenching “thick” hyperspheres

We introduce an approach to certain geometric variational problems based on the use of the algorithmic unrecognizability of the n-dimensional sphere for n ≥ 5. Sometimes this approach allows one to prove the existence of infinitely many solutions of a considered variational problem. This recursion-theoretic approach is applied in this paper to a class of functionals on the space of C^1.1-smooth hypersurfaces diffeomorphic to Sⁿ in Rⁿ⁺¹, where n is any fixed number ≥ 5. The simplest of these functionals k_v is defined by the formula k_v(Σⁿ) = (vol(Σⁿ))^1/n/r(Σⁿ), where r(Σⁿ) denotes the radius of injectivity of the normal exponential map for Σⁿ ? Rⁿ+l. We prove the existence of an infinite set of distinct locally minimal values of k_v on the space of C^1.1-smooth topological hyperspheres in Rⁿ⁺¹ for any n ≥ 5. The functional k_v naturally arises when one attempts to generalize knot theory in order to deal with embeddings and isotopies of “thick” circles and, more generally, “thick” spheres into Euclidean spaces. We introduce the notion of knot “with thick rope” types. The theory of knot “with thick rope” types turns out to be quite different from the classical knot theory because of the following result: There exists an infinite set of non-trivial knot “with thick rope” types in codimension one for every dimension greater than or equal to five.     

Similarity to symmetric matrices over fields which are not formally real

We show that a matrix is similar to a symmetric matrix over a field of characteristic 2 if and only if the minimum polynomial of the matrix is not the product of distinct irreducible polynomials whose splitting fields are inseparable extensions. When the field is not of characteristic 2, a known theorem is generalized by considering k, the number of elementary divisors of odd degree of the n × n A: If ?1 is a sum of 2^v squares and n differs from a multiple of 2 ^{v + 1} by at most ±k, then A is similar to a symmetric matrix.     

Giant components in Kronecker graphs

Let \begin{align*}n\in\mathbb{N}\end{align*}, 0 <α,β,γ< 1. Define the random Kronecker graph K(n,α,γ,β) to be the graph with vertex set \begin{align*}\mathbb{Z}_2^n\end{align*}, where the probability that u is adjacent to v is given by p_u,v =α ^{u ? v} γ^{( 1‐u )?( 1‐v )}β^{n‐ u ? v ‐( 1‐u )?( 1‐v )}. This model has been shown to obey several useful properties of real‐world networks. We establish the asymptotic size of the giant component in the random Kronecker graph.© 2011 Wiley Periodicals, Inc. Random Struct. Alg.,2011     

The riquier problem for a nonlinear equation unresolved with respect to the Lévy iterated laplacian

We present a method of solving for the nonlinear equationf(U(x),Δ _L ² U(x)) = Δ _L U(x) (Δ _L is an infinite-dimensional Laplacian) unresolved with respect to an iterated infinite-dimensional Laplacian and for the Riquier problem for this equation. Ukrainian NII MOD, Kiev. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 3, pp. 423–427, March, 1999.     

On the existence of convex classical solutions to a generalized Prandtl-Batchelor free-boundary problem-II

We give an analytical proof of the existence of convex classical solutions for the (convex) Prandtl-Batchelor free boundary problem in fluid dynamics. In this problem, a convex vortex core of constant vorticity m > 0\mu>0 is embedded in a closed irrotational flow inside a closed, convex vessel in ?²\Re^2 . The unknown boundary of the vortex core is a closed curve G\Gamma along which (v⁺)²-(v^-)²=L(v^+)^2-(v^-)^2=\Lambda , where v⁺v^+ and v^-v^- denote, respectively, the exterior and interior flow-speeds along G\Gamma and L\Lambda is a given constant. Our existence results all apply to the natural multidimensional mathematical generalization of the above problem. The present existence theorems are the only ones available for the Prandtl-Batchelor problem for L > 0\Lambda>0 , because (a) the author's prior existence treatment was restricted to the case where L < 0\Lambda<0 , and because (b) there is no analytical existence theory available for this problem in the non-convex case, regardless of the sign of L\Lambda .     

Décomposition spectrale dans des algèbres munies d'un star-produit

Summary The purpose of this paper is to study, in intrinsic way, the Moyal's product, defined in the flat space R ²ⁿ. This product is defined here with the twisted convolution and the Fourier transform. The S(R ²ⁿ) and L²(R ²ⁿ) spaces are_*5-algebras. Because of this definition, the_*V-product of some tempered distributions is defined. Let O _M ^v be the set of multiplication operators in S(R ²ⁿ). By transposition, the S(R ²ⁿ) space is a right-module on O _M ^v . The support of f_*v g is different from the support of f·g; under large enough hypotheses, there is a Taylor's formula for the star-product function of the v variable. The ^v space of the multiplication operators in L²(R ²ⁿ) is defined here as the space of tempered distributions, the image of which is the set of bounded operators in L²(R ²ⁿ) by the Weyl map. After the study of ^v space, it is possible to show the spectral resolution of the real elements of ^v or of O _M ^v , which satisfies a, probably superfluous, hypothesis.