Singular behaviour in a generalized boundary eigenvalue problem for annular plates in tension

A novel application of boundary-layer asymptotic techniquesto a generalized linear eigenvalue problem is presented. Ourinvestigation is concerned with a bifurcation equation thatgoverns the formation of wrinkles in thin annular plates subjectedto in-plane tensile loading on the inner boundary. If denotesthe ratio of the inner and outer radii of the annulus, thenthe critical wrinkling load satisfies = _C(), where the function_C is available only numerically. It is known that there is acritical value such that as but, until now, little has been understood about this singular behaviour. Asymptoticmethods enable us to capture accurately and describe the natureof this blow-up phenomenon which we show is sensitive to theforms of the boundary conditions imposed at the edges of theannular plate. Our analytical findings are complemented by aseries of comparisons with direct numerical simulations thatshed further light on the singular behaviour.     

A Variation on a Theorem of Galvin and Hajnal

Let be a singular cardinal of regular uncountable cofinality. Let {(): < } be a continuous increasing sequence withlimit , and let =₍₎₊₍₎, < be regular cardinals. Let I be a normal ideal on , and assume that the reduced product_</I admits a cofinal -scale of ordinal functions. Then ₊, where =||||_I is the I-norm of .     

Flow of a nematic liquid crystal near the leading edge of an infinite prism

Flow of a nematic liquid crystal in an infinite wedge boundedby sidewalls = ± (with no-slip condition) is considered.The fluid is contained in the region 0 r < , – and – < z < (0 ). The near-tip velocity fieldis assumed to have the form v_i(r, ) = rF_i()(i = r, , z) as rtends to zero. We investigate the dependence of eigenvalues and functions F_i() on the tilt angle, G(), between the directorfield and the plane z = c (c ) and on the included angle 2 of the wedge shaped prism. Two kinds of nematicliquid crystal are considered as examples: MBBA and PAA near25 °C and 125 °C, respectively. In general, when 0 <G() < /2 the liquid crystalline material is curvilinear anisotropicand no symmetry properties are found. Here all velocity fieldcomponents are coupled. This coupling reduces the magnitudeof the leading-order eigenvalue and the one with smallest realpart is purely real for any wedge included angle. However, complexeigenvalues can occur for the next eigenvalues ordered in termsof the magnitude of the real part. Thus, if we impose the appropriatebehaviour on the far velocity field so that it is orthogonalto the eigenvectors associated with the first real eigenvalues,the remaining flow fields may display eddies.     

The Tate Conjecture for Generic Abelian Varieties

Let A V be a Kuga fibre variety of Mumford's Hodge type, definedover a finitely generated subfield of C, and let be the genericpoint of V. We show that any element of which is invariant under , for some finite extension E of k(), is fixed bythe semisimple part of the Hodge group of A. If A V satisfiesthe H₂-condition, then the Hodge and Tate conjectures are equivalentfor A, and the Mumford–Tate conjecture is true.     

Thermodynamic Inequalities in Continuum Mechanics

The constitutive relations for the transport of heat, stress,electric charge, etc., in a continuum must be chosen so thatthe second law of thermodynamics is not violated; the constraintstake the form of inequalities, typically requiring the entropygenerated within a material element to be non-negative. Thepaper is concerned with this concept—its history, thephysical principles on which it depends, how to apply it whensecond-order or non-linear effects are important and how itis widely misused in modern continuum mechanics. The history is reduced to the contributions of five leadingthermodynamicists—Clausius, Maxwell, Gibbs, Boltzmannand Duhem. The object here was to try to discover which formof the inequality one should regard as being fundamental. Oneimportant conclusion is that entropy S must be defined simultaneouslywith the identification of the inequality, and that in generalthis cannot be done until the constitutive equations are known.The empirical element enters with the notion of irreversibility,which is given a precise meaning with the aid of the motionreversed parity (x), a variable x having = +1 or = –1if, when time and motions are reversed, x x or x –x.The macroscopic parity of x, _*(x), is obtained by first replacingx by the constitutive equation for x. The entropy production rate has both irreversible (f) and reversible(r) parts. It is shown that the reciprocal relations followfrom the requirement that the macroscopic parity of (i) mustbe +1. Continuum thermodynamics is based on various principles extractedfrom theory developed for uniform systems, the example chosento illustrate the ideas being the simple monatomic gas. Second-orderconstitutive relations are introduced, and the expressions forentropy and its production rate per unit volume, , obtained.It is shown that the stability condition 0 cannot, in general,be satisfied merely by imposing constraints on the constitutiverelations. To second-order = ₁ + ₂, where ₁ is the usual bilinearform, and the terms in ₂ have an additional derivative. Thesecond-order term ₂ can have both signs, and is not dissipative.The relation between this fact and the frame-dependence of constitutiverelations is explained. The final section illustrates the errors frequently found inthe thermodynamic arguments appearing in books and papers onrational continuum mechanics. The principle of these is that 0 is interpreted as being a constraint on the constitutiverelations alone. Another is the idea that the balance equationscan be set aside as constraints by regarding them as mere definitionsof a heat source and a body force, an error based partly onthe misconception that constitutive relations should be frame-indifferent.Finally, an inequality due to Glansdorff & Prigogine isexamined and found to be in error.     

Boundary integral methods for singularly perturbed boundary value problems

In this paper we consider boundary integral methods appliedto boundary value problems for the positive definite Helmholtz-typeproblem –U + ²U = 0 in a bounded or unbounded domain,with the parameter real and possibly large. Applications arisein the implementation of space–time boundary integralmethods for the heat equation, where is proportional to 1/(t),and t is the time step. The corresponding layer potentials arisingfrom this problem depend nonlinearly on the parameter and havekernels which become highly peaked as , causing standard discretizationschemes to fail. We propose a new collocation method with arobust convergence rate as . Numerical experiments on a modelproblem verify the theoretical results.     

Identity Theorems for Functions of Bounded Characteristic

Suppose that f(z) is a meromorphic function of bounded characteristicin the unit disk :|z|<1. Then we shall say that f(z)N. Itfollows (for example from [3, Lemma 6.7, p. 174 and the following])that where h₁(z), h₂(z) are holomorphic in and have positive realpart there, while ₁(z), ₂(z) are Blaschke products, that is, where p is a positive integer or zero, 0<|a_j|<1, c isa constant and (1–|a_j|)<. We note in particular that, if c0, so that f(z)0, (1.1) so that f(z)=0 only at the points a_j. Suppose now that z_j isa sequence of distinct points in such that |z_j|1 as j and (1–|z_j|)=. (1.2) If f(z_j)=0 for each j and fN, then f(z)0. N. Danikas [1] has shown that the same conclusion obtains iff(z_j)0 sufficiently rapidly as j. Let _j, _j be sequences of positivenumbers such that _j< and _j as j. Danikas then defines and proves Theorem A.     

Finite-dimensional H{infty} control of flexible beam equation systems

In this paper, we consider H control problem with measurementfeedback for flexible beam equation systems. The aim is to constructa finite-dimensional H controller with a given level for theflexible beam equation system. For that purpose, we first formulatethe system as an infinite-dimensional system in l² and derivea finite-dimensional reduced-order system for the infinite-dimensionalsystem. Then, an H controller with level d less than is constructedfor the reduced-order model. The finite-dimensional controllertogether with a residual mode filter plays a role of a finite-dimensionalH controller with level for the original flexible beam equationsystem, if the order of the residual mode filter is chosen sufficientlylarge.     

Extremal Subgroups in Chevalley Groups

Throughout this paper G(k) denotes a Chevalley group of rankn defined over the field k, where n3. Let be the root systemassociated with G(k) and let ={₁, ₂, ..., _n} be a set of fundamentalroots of , with ⁺ being the set of positive roots of with respectto . For and ⁺, let n() be the coefficient of in the expressionof as a sum of fundamental roots; so =n(). Also we recall thatht(), the height of , is given by ht()=n(). The highest rootin ⁺ will be denoted by . We additionally assume that the Dynkindiagram of G(k) is connected.     

On strongly asymptotic lp spaces and minimality

Let 1 p and let X be a Banach space with a semi-normalizedstrongly asymptotic _p basis (e_i). If X is minimal and 1 p <2, then X is isomorphic to a subspace of _p. If X is minimaland 2 p < , or if X is complementably minimal and 1 p , then (e_i) is equivalent to the unit vector basis of _p (orc₀ if p = ).     

BOUNDARY CONCENTRATION IN RADIAL SOLUTIONS TO A SYSTEM OF SEMILINEAR ELLIPTIC EQUATIONS

We study concentration phenomena for the system in the unit ball B₁ of ³ with Dirichlet boundaryconditions. Here , , > 0 and p > 1. We prove the existenceof positive radial solutions (, ) such that concentrates ata distance (/2)|log | away from the boundary B₁ as the parameter tends to 0. The approach is based on a combination of Lyapunov–Schmidtreduction procedure together with a variational method.     

Approximation of Ground State Eigenvalues and Eigenfunctions of Dirichlet Laplacians

Let be a bounded connected open set in R^N, N 2, and let –0be the Dirichlet Laplacian defined in L²(). Let > 0 be thesmallest eigenvalue of –, and let > 0 be its correspondingeigenfunction, normalized by ||||₂ = 1. For sufficiently small>0 we let R() be a connected open subset of satisfying Let – 0 be the Dirichlet Laplacian on R(), and let >0and >0 be its ground state eigenvalue and ground state eigenfunction,respectively, normalized by ||||₂=1. For functions f definedon , we let Sf denote the restriction of f to R(). For functionsg defined on R(), we let Tg be the extension of g to satisfying 1991 Mathematics SubjectClassification 47F05.     

Unknotting Tunnels and Seifert Surfaces

Let K be a knot with an unknotting tunnel and suppose thatK is not a 2-bridge knot. There is an invariant = p/q Q/2Z,with p odd, defined for the pair (K, ). The invariant has interesting geometric properties. It is oftenstraightforward to calculate; for example, for K a torus knotand an annulus-spanning arc, (K, ) = 1. Although is definedabstractly, it is naturally revealed when K is put in thinposition. If 1 then there is a minimal-genus Seifert surfaceF for K such that the tunnel can be slid and isotoped to lieon F. One consequence is that if (K, ) 1 then K > 1. Thisconfirms a conjecture of Goda and Teragaito for pairs (K, )with (K, ) 1. 2000 Mathematics Subject Classification 57M25,57M27.     

Calculs De Facteurs Epsilon De Paires Pour GLn Sur Un Corps Local, I

Soient F un corps commutatif localement compact non archimédienet un caractère additif non trivial de F. Soient unereprésentation du groupe de Weil–Deligne de F,et sa contragrédiente. Nous calculons le facteur (, , ). De manière analogue, nous calculons le facteur (x, , ) pour toute représentationadmissible irréductible de GL_n(F). En conséquence,si F est de caractéristique nulle et si et se correspondentpar la correspondance de Langlands construite par M. Harris,ou celle construite par les auteurs, alors les facteurs (, , s) et (x, , s) sont égaux pour tout nombre complexe s. Let F be a non-Archimedean local field and a non-trivial additivecharacter of F. Let be a representation of the Weil–Delignegroup of F and its contragredient representation. We compute (, , ). Analogously, we compute (x, , ) for all irreducible admissible representations of GL_n(F).Consequently, if F has characteristic zero, and , correspondvia the Langlands correspondence established by M. Harris orthe correspondence constructed by the authors, then we have(, , s) = (x, , s) for all sC. 1991 Mathematics Subject Classification22E50.     

MOTIVIC INVARIANTS OF ARTIN STACKS AND 'STACK FUNCTIONS'

An invariant of quasiprojective -varieties X with values ina commutative ring is motivic if (X) = (Y) + (X\ Y) for Y closedin X, and (X x Y) = (X)(Y). Examples include Euler characteristics and virtual Poincaré and Hodge polynomials. We firstdefine a unique extension ' of to finite type Artin -stacks, which is motivic and satisfies '([X/G]) = (X)/(G) when X is a -variety, G a special -groupacting on X, and [X/G] is the quotient stack. This only worksif (G) is invertible in for all special -groups G, which excludes = as (_m) = 0. But we can extend the construction to get roundthis. Then we develop the theory of stack functions on Artin stacks.These are a universal generalization of constructible functionson Artin stacks. There are several versions of the construction:the basic one , and variants ‘twisted’ by motivic invariants. We associate a -vector space or a -module to each Artin stack , with functorial operations of multiplication, pullbacks * and pushforwards _*under 1-morphisms ;, and so on. They will be important tools in the author's series on ‘Configurationsin abelian categories’.     

Finite Element Approximation of a Rigid Punch Indenting a Membrane

Optimal order H¹ and L error bounds are obtained for a continuouspiecewise linear finite element approximation of an obstacleproblem, where the obstacle's height as well as the contactzone, _c, are a priori unknown. The problem models the indentationof a membrane by a rigid punch. For R², given ,g R⁺ and an obstacle defined over E we consider the minimization of |v|²_1,+gµover (v, µ) H¹₀() x R subject to v+µ on E. In additionwe show under certain nondegeneracy conditions that dist (_c,^h_c)Ch ln 1/h, where ^h_c is the finite element approximation to_c. Finally we show that the resulting algebraic problem canbe solved using a projected SOR algorithm.     

Boundaries of reduced free group C*-algebras

We prove that the crossed product C*-algebra C*_r(, ) of a freegroup with its boundary sits naturally between the reducedgroup C*-algebra C*_r and its injective envelope I(C*_r). In otherwords, we have natural inclusion C*_r C*_r(, ) I(C*_r) of C*-algebras.     

Elliptic Problems Involving Phase Boundaries Satisfying a Curvature Condition

Two theorems related to equilibrium free-boundary problems arepresented. One arises as a time-independent solution to thephase-field equations. The other is the relevant time-independentproblem for the Stefan model, modified for the surface tensioneffect. It also serves as a preliminary result for the phase-fieldformulation. Under appropriate conditions, we prove that, givenan appropriate positive constant and a smooth function u: R;,where is an annular domain in R², there exists a curve suchthat u(x)=—K(x) for all x , where K is the curvature.Using this result, we prove the existence of solutions to O=²+ ?(—³) + 2u that have a transition layer behaviour (from=—1 to =+1) for small and make the transition on thecurve . This proves there exist solutions to the phase fieldmodel that satisfy a Gibbs-Thompson relation.     

Ramanujan's Eisenstein series and powers of Dedekind's eta-function

In this article, we use the theory of elliptic functions toconstruct theta function identities which are equivalent toMacdonald's identities for A₂, B₂ and G₂. Using these identities,we express, for d = 8, 10 or 14, certain theta functions inthe form ^d()F(P, Q, R), where () is Dedekind's eta-function,and F(P, Q, R) is a polynomial in Ramanujan's Eisenstein seriesP, Q and R. We also derive identities in the case when d = 26.These lead to a new expression for ²⁶(). This work generalizesthe results for d = 1 and d = 3 which were given by Ramanujanon page 369 of ‘The Lost Notebook’.     

A bifurcation problem governed by the boundary condition II

In this work we consider the problem u = a(x)u^p in on , where is a smooth bounded domain, isthe outward unit normal to , is regarded as a parameter and0 < p < 1. We consider both cases where a(x) > 0 in or a(x) is allowed to vanish in a whole subdomain ₀ of . Ourmain results include existence of non-negative non-trivial solutionsin the range 0 < < ₁, where ₁ is characterized by meansof an eigenvalue problem, uniqueness and bifurcation from infinityof such solutions for small , and the appearance of dead coresfor large enough .