Non-classical interface problems for piecewise homogeneous anisotropic elastic bodies

Two non-classical model interface problems for piecewise homogeneous anisotropic bodies are studied. In both problems on the contact surface jumps of the normal components of displacement and stress vectors are given. In addition, in the first problem (Problem H) the tangent components of the displacement vectors are given from both sides of the contact surface, while in the second one (Problem G) the tangent components of the stress vectors are prescribed on the same surface. The existence and uniqueness theorems are proved by means of the boundary integral equation method, and representations of solutions by single layer potentials are established. In the investigation the general approach of regularization of the first kind of integral equations is worked out for the case of two-dimensional closed smooth manifolds. An equivalent global regularizer operator is constructed explicitly in the form of a singular integro-differential operator.     

Local rigidity of quasi-regular varieties

For a G-variety X with an open orbit, we define its boundary ∂ X as the complement of the open orbit. The action sheaf S _X is the subsheaf of the tangent sheaf made of vector fields tangent to ∂ X. We prove, for a large family of smooth spherical varieties, the vanishing of the cohomology groups H ⁱ (X, S _X ) for i > 0, extending results of Bien and Brion (Compos. Math. 104:1–26, 1996). We apply these results to study the local rigidity of the smooth projective varieties with Picard number one classified in Pasquier (Math. Ann., in press).     

Local existence and uniqueness theorems for a free boundary problem

Free boundary problems are considered, where the tangential and normal components u_t and u_n of an otherwise unknown plane harmonic vector field are prescribed along the unknown boundary curve as a function of the coordinates x, y and the tangent angle θ. The vector field is required to exist either in the interior region G⁺ or in the exterior G^?. In each case the free boundary is characterized by a nonlinear integral equation. A linearised version of this equation is a one-dimensional singular integral equation. Under rather general hypotheses which are easy to check, the properties of the linear equation are described by Noether's theorems. The regularity of the solution is studied and the effect of the nonlinear terms is estimated. A variant of the Nash-Moser implicit-function theorem can be applied. This yields local existence and uniqueness theorems for the free boundary problem in Hölder-classes H^2+μ. The boundary curve depends continuously on the defining data. Finally some examples are given, where the linearised equation can be completely discussed.     

Twistor quantization of the space of half-differentiable vector functions on the circle revisited

We discuss the twistor quantization problem for the classical system (V _d ,A _d ), represented by the phase space V _d , identified with the Sobolev space H ₀^1/2 (S ¹,ℝ ^d ) of half-differentiable vector functions on the circle, and the algebra of observables A _d , identified with the semi-direct product of the Heisenberg algebra of V _d and the algebra Vect(S ₁) of tangent vector fields on the circle.     

Holomorphic H-spherical distribution vectors in principal series representations

Let G/H be a semisimple symmetric space. The main tool to embed a principal series representation of G into L²(G/H) are the H-invariant distribution vectors. If G/H is a non-compactly causal symmetric space, then G/H can be realized as a boundary component of the complex crown . In this article we construct a minimal G-invariant subdomain _H of with G/H as Shilov boundary. Let be a spherical principal series representation of G. We show that the space of H-invariant distribution vectors of , which admit a holomorphic extension to _H, is one dimensional. Furthermore we give a spectral definition of a Hardy space corresponding to those distribution vectors. In particular we achieve a geometric realization of a multiplicity free subspace of L²(G/H)_mc in a space of holomorphic functions.     

Simple exceptional groups of Lie type are determined by their character degrees

Let G be a finite group. Denote by Irr(G) the set of all irreducible complex characters of G. Let cd(G)={c(1)  |  c ? Irr(G)}{{\rm cd}(G)=\{\chi(1)\;|\;\chi\in {\rm Irr}(G)\}} be the set of all irreducible complex character degrees of G forgetting multiplicities, and let X₁(G) be the set of all irreducible complex character degrees of G counting multiplicities. Let H be any non-abelian simple exceptional group of Lie type. In this paper, we will show that if S is a non-abelian simple group and cd(S) í cd(H){{\rm cd}(S)\subseteq {\rm cd}(H)} then S must be isomorphic to H. As a consequence, we show that if G is a finite group with X₁(G) í X₁(H){{\rm X}_1(G)\subseteq {\rm X}_1(H)} then G is isomorphic to H. In particular, this implies that the simple exceptional groups of Lie type are uniquely determined by the structure of their complex group algebras.     

On the Brill-Noether theory for K3 surfaces

Let (S, H) be a polarized K3 surface. We define Brill-Noether filtration on moduli spaces of vector bundles on S. Assume that (c ₁(E), H) > 0 for a sheaf E in the moduli space. We give a formula for the expected dimension of the Brill-Noether subschemes. Following the classical theory for curves, we give a notion of Brill-Noether generic K3 surfaces.     

Recognition of some symmetric groups by the set of the order of their elements

For a finite group G, let π_e(G) be the set of order of elements in G and denote S _n the symmetric group on n letters. We will show that if π_e(G ) = π_e(H), where H is S _p or S _p+1 and p is a prime with 50 < p < 100, then G ≅ H. This revised version was published online in August 2006 with corrections to the Cover Date.     

Odd‐angulated graphs and cancelling factors in box products

Under what conditions is it true that if there is a graph homomorphism G □ H → G □ T, then there is a graph homomorphism H→ T? Let G be a connected graph of odd girth 2k + 1. We say that G is (2k + 1)‐angulated if every two vertices of G are joined by a path each of whose edges lies on some (2k + 1)‐cycle. We call G strongly (2k + 1)‐angulated if every two vertices are connected by a sequence of (2k + 1)‐cycles with consecutive cycles sharing at least one edge. We prove that if G is strongly (2k + 1)‐angulated, H is any graph, S, T are graphs with odd girth at least 2k + 1, and ?: G□ H→S□T is a graph homomorphism, then either ? maps G□{h} to S□{t_h} for all h∈V(H) where t_h∈V(T) depends on h; or ? maps G□{h} to {s_h}□ T for all h∈V(H) where s_h∈V(S) depends on h. This theorem allows us to prove several sufficient conditions for a cancelation law of a graph homomorphism between two box products with a common factor. We conclude the article with some open questions. © 2008 Wiley Periodicals, Inc. J Graph Theory 58:221‐238, 2008     

Optimal Subgroups and Applications to Nilpotent Elements

Let G be a reductive group acting on an affine variety X, let x ∈ X be a point whose G-orbit is not closed, and let S be a G-stable closed subvariety of X which meets the closure of the G-orbit of x but does not contain x. In this paper we study G. R. Kempf’s optimal class Ω _G (x; S) of cocharacters of G attached to the point x; in particular, we consider how this optimality transfers to subgroups of G. Suppose K is a G-completely reducible subgroup of G which fixes x, and let H = C _G (K)⁰. Our main result says that the H-orbit of x is also not closed, and the optimal class Ω _H (x; S) for H simply consists of the cocharacters in Ω _G (x; S) which evaluate in H. We apply this result in the case that G acts on its Lie algebra via the adjoint representation to obtain some new information about cocharacters associated with nilpotent elements in good characteristic.     

Orientation distance graphs

For two nonisomorphic orientations D and D′ of a graph G, the orientation distance d_o(D,D′) between D and D′ is the minimum number of arcs of D whose directions must be reversed to produce an orientation isomorphic to D′. The orientation distance graph 𝒟_o(G) of G has the set 𝒪(G) of pairwise nonisomorphic orientations of G as its vertex set and two vertices D and D′ of 𝒟₀(G) are adjacent if and only if d_o(D,D′) = 1. For a nonempty subset S of 𝒪(G), the orientation distance graph 𝒟₀(S) of S is the induced subgraph 〈S〉 of 𝒟_o(G). A graph H is an orientation distance graph if there exists a graph G and a set S⊆ 𝒪(G) such that 𝒟_o(S) is isomorphic to H. In this case, H is said to be an orientation distance graph with respect to G. This paper deals primarily with orientation distance graphs with respect to paths. For every integer n ≥ 4, it is shown that 𝒟_o(P_n) is Hamiltonian if and only if n is even. Also, the orientation distance graph of a path of odd order is bipartite. Furthermore, every tree is an orientation distance graph with respect to some path, as is every cycle, and for n ≥ 3 the clique number of 𝒟_o(P_n) is 2 if n is odd and is 3 otherwise. © 2001 John Wiley & Sons, Inc. J Graph Theory 36: 230–241, 2001     

A Remark on Hamiltonian Cycles

Let G be an undirected and simple graph on n vertices. Let ω, α and χ denote the number of components, the independence number and the connectivity number of G. G is called a 1-tough graph if ω(G – S) ? |S| for any subset S of V(G) such that ω(G ? S) > 1. Let σ₂ = min {d(v) + d(w)|v and w are nonadjacent}. Note that the difference α - χ in 1-tough graph may be made arbitrary large. In this paper we prove that any 1-tough graph with σ₂ > n + χ - α is hamiltonian.     

On Nearly S-Permutable Subgroups of Finite Groups

We say that a subgroup H of a finite group G is nearly S-permutable in G if for every prime p such that (p, |H|) = 1 and for every subgroup K of G containing H the normalizer N _K (H) contains some Sylow p-subgroup of K. We study the structure of G under the assumption that some subgroups of G are nearly S-permutable in G.     

Hardy spaces for non-compactly causal symmetric spaces and the most continuous spectrum

Let G/H be a semisimple symmetric space. Then the space L²(G/H) can be decomposed into a finite sum of series of representations induced from parabolic subgroups of G. The most continuous part of the spectrum of L²(G/H) is the part induced from the smallest possible parabolic subgroup. In this paper we introduce Hardy spaces canonically related to this part of the spectrum for a class of non-compactly causal symmetric spaces. The Hardy space is a reproducing Hilbert space of holomorphic functions on a bounded symmetric domain of tube type, containing G/H as a boundary component. A boundary value map is constructed and we show that it induces a G-isomorphism onto a multiplicity free subspace of full spectrum in the most continuous part L_mc²(G/H) of L²(G/H). We also relate our Hardy space to the classical Hardy space on the bounded symmetric domain.Supported in part by NSF-grant DMS-0070816 and the MSRISupported in part by NSF-grant DMS-0097314 and the MSRISupported in part by NSF-grant DMS-0070607 and the MSRI     

Amenable representations and dynamics of the unit sphere in an infinite-dimensional Hilbert space

We establish a close link between the amenability property of a unitary representation p \pi of a group G (in the sense of Bekka) and the concentration property (in the sense of V. Milman) of the corresponding dynamical system (\Bbb S_p, G) ({\Bbb S}_{\pi}, G) , where \Bbb S_H {\Bbb S}_{\cal H} is the unit sphere the Hilbert space of representation. We prove that p \pi is amenable if and only if either p \pi contains a finite-dimensional subrepresentation or the maximal uniform compactification of (\Bbb S_p ({\Bbb S}_{\pi} has a G-fixed point. Equivalently, the latter means that the G-space (\Bbb S_p, G) ({\Bbb S}_{\pi}, G) has the concentration property: every finite cover of the sphere \Bbb S_p {\Bbb S}_{\pi} contains a set A such that for every e > 0 \epsilon > 0 the e \epsilon -neighbourhoods of the translations of A by finitely many elements of G always intersect. As a corollary, amenability of p \pi is equivalent to the existence of a G-invariant mean on the uniformly continuous bounded functions on \Bbb S_p {\Bbb S}_{\pi} . As another corollary, a locally compact group G is amenable if and only if for every strongly continuous unitary representation of G in an infinite-dimensional Hilbert space H {\cal H} the system (\Bbb S_H, G) ({\Bbb S}_{\cal H}, G) has the property of concentration.     

Best Constants in the Miranda-Agmon Inequalities for Solutions of Elliptic Systems and the Classical Maximum Modulus Principle for Fluid and Elastic Half-spaces

The Dirichlet problem for elliptic systems of the second order with constant real and complex coefficients in the half-space  ^k ₊ = {x = (x ₁,…,x_k ): x_k > 0} is considered. It is assumed that the boundary values of a solution u = (u ₁,…,u _m) have the form ψ ₁ ξ ₁ + · · · + ψ _n ξ _n, 1 ≤ n ≤ m, where ξ ₁,· · ·,ξ _n is an orthogonal system of m-component normed vectors and ψ ₁,· · ·,ψ _n are continuous and bounded functions on ? ^k ₊. We study the mappings [C(? ^k ₊)] ⁿ ? (ψ ₁,…,ψ _n) → u(x) ?  ^m and [C(? ^k ₊)] ⁿ ? (ψ ₁,…,ψ _n) → u(x) ?  ^m generated by real and complex vector valued double layer potentials. We obtain representations for the sharp constants in inequalities between |u(x)| or |(z, u(x))| and ∥u| _xk =₀∥, where z is a fixed unit m-component vector, | · | is the length of a vector in a finite-dimensional unitary space or in Euclidean space, and (·,·) is the inner product in the same space. Explicit representations of these sharp constants for the Stokes and Lamé systems are given. We show, in particular, that if the velocity vector (the elastic displacement vector) is parallel to a constant vector at the boundary of a half-space and if the modulus of the boundary data does not exceed 1, then the velocity vector (the elastic displacement vector) is majorised by 1 at an arbitrary point of the half-space. An analogous classical maximum modulus principle is obtained for two components of the stress tensor of the planar deformed state as well as for the gradient of a biharmonic function in a half-plane.     

Pseudodifferential Operators on Prehomogeneous Vector Spaces

ABSTRACT

Let G be a connected, linear algebraic group defined over ?, acting regularly on a finite dimensional vector space V over ? with ?-structure V _?. Assume that V possesses a Zariski-dense orbit, so that (G, ?, V) becomes a prehomogeneous vector space over ?. We consider the left regular representation π of the group of ?-rational points G _? on the Banach space C₀(V _?) of continuous functions on V _? vanishing at infinity, and study the convolution operators π(f), where f is a rapidly decreasing function on the identity component of G _?. Denote the complement of the dense orbit by S, and put S _? = S ∩ V _?. It turns out that, on V _? ? S _?, π(f) is a smooth operator. If S _? = {0}, the restriction of the Schwartz kernel of π(f) to the diagonal defines a homogeneous distribution on V _? ? {0}. Its nonunique extension to V _? can then be regarded as a trace of π(f). If G is reductive, and S and S _? are irreducible hypersurfaces, π(f) corresponds, on each connected component of V _? ? S _?, to a totally characteristic pseudodifferential operator. In this case, the restriction of the Schwartz kernel of π(f) to the diagonal defines a distribution on V _? ? S _? given by some power |p(m)| ^s of a relative invariant p(m) of (G, ?, V) and, as a consequence of the Fundamental Theorem of Prehomogeneous Vector Spaces, its extension to V _?, and the complex s-plane, satisfies functional equations similar to those for local zeta functions. A trace of π(f) can then be defined by subtracting the singular contributions of the poles of the meromorphic extension.     

Ritz approximations to two-dimensional boundary value problems

Summary Various Ritz solutions to the plane strain elasticity and the steady state heat flow boundary value problems for a polygonal domain are considered. Historically, two basic approaches have been used in partitioning into finite elements, (i) complete triangulation and (ii) rectangles with boundary triangles. In each case, the Ritz solution is the unique function (or vector of functions) which minimizes an energy functional over a finite dimensional vector spaceS. We consider as choices forS, piecewise linear and cubic functions for complete triangulations; and piecewise bilinear and bicubic functions for the case in which is a union of rectangles and boundary triangles. For the elasticity problem,L ₂ convergence of the components of stress and strain is established for each choice of the spaceS. L ₂ convergence of the displacement vector is also shown for a wide class of boundary conditions. Convergence of the temperature is proven for the heat flow problem also. Numerical comparisons are made of the Ritz solutions based upon each spaceS of trial functions.     

OD-Characterization of alternating and symmetric groups of degrees 16 and 22

Let G be a finite group and π(G) be the set of all prime divisors of its order. The prime graph GK(G) of G is a simple graph with vertex set π(G), and two distinct primes p, q ∈ π(G) are adjacent by an edge if and only if G has an element of order pq. For a vertex p ∈ π(G), the degree of p is denoted by deg(p) and as usual is the number of distinct vertices joined to p. If π(G) = {p ₁, p ₂,...,p _k }, where p ₁ < p ₂ < ... < p _k , then the degree pattern of G is defined by D(G) = (deg(p ₁), deg(p ₂),...,deg(p _k )). The group G is called k-fold OD-characterizable if there exist exactly k non-isomorphic groups H satisfying conditions |H| = |G| and D(H) = D(G). In addition, a 1-fold OD-characterizable group is simply called OD-characterizable. In the present article, we show that the alternating group A ₂₂ is OD-characterizable. We also show that the automorphism groups of the alternating groups A ₁₆ and A ₂₂, i.e., the symmetric groups S ₁₆ and S ₂₂ are 3-fold OD-characterizable. It is worth mentioning that the prime graph associated to all these groups are connected.