The Dirichlet problem by variational methods

Let ^N be a bounded open set and C( ). Assume that has an extensionC() such that H^–1().Then by the Riesz representation theorem there exists a unique

We show that u+ coincides with the Perron solutionof the Dirichlet problem

This extends recent results by Hildebrandt [Math. Nachr. 278(2005), 141–144] and Simader [Math. Nachr. 279 (2006),415–430], and also gives a possible answer to Hadamard'sobjection against Dirichlet's principle.     

Determinants of Lattices induced by Rational Subspaces

Let L and be orthogonal complementary rational linear subspaces of Eⁿ, and let = L Zⁿ and $$\stackrel{\¯}{\Lambda}$$ = Zⁿ be the sublatticesof the usual integer lattice Zⁿ induced by L and . Then the determinants of and are equal. The samerelationship holds between the determinants of the lattices and obtained by orthogonal projection of Zⁿ on to L and .     

A Radial Uniqueness Theorem for Sobolev Functions

We show that continuous functions u in the Sobolev space , 1 < p n, which have the limitzero in a certain weak sense in a set of positive p-capacityon B with where B is the open unit ball of Rⁿ and for 0 > > , are identically zero. Conversely, we produce for each 1 > p n and each positive a non-constant function u in , continuous in , and a compact set EB of positive p-capacity such that u = 0 in E and the aboveinequality holds with exponent p – l + .     

Some Relations Between Packing Premeasure and Packing Measure

Let K be a compact subset of Rⁿ, 0 s n. Let , P^s denote s-dimensional packing premeasure andmeasure, respectively. We discuss in this paper the relationbetween and P^s. We prove:if , then ; and if , then for any > 0, there exists a compact subset F of K such that and P^s(F) P^s(K) – .1991 Mathematics Subject Classification 28A80, 28A78.     

Cardinal Invariants and Eventually Different Functions

In this paper we study several kinds of maximal almost disjointfamilies. In the main result of this paper we show that forsuccessor cardinals , there is an unexpected connection betweeninvariants a_e(), b() and a certain cardinal invariant m_d(⁺)on ⁺. As a corollary we get for example the following result.For a successor cardinal , even assuming that ^< = and 2= ⁺, the following is not provable in Zermelo–Fraenkelset theory. There is a ⁺-cc poset which does not collapse andwhich forces a() = ⁺ < a_e() = ⁺⁺ = 2. We also apply the ideasfrom the proofs of these results to study a = a() and non(M).2000 Mathematics Subject Classification 03E17 (primary), 03E05(secondary).     

Oscillation Criteria for First-Order Delay Equations

This paper is concerned with the oscillatory behaviour of first-orderdelay differential equations of the form (1) where is non-decreasing, (t)< t for t t₀ and . Let the numbers k andL be defined by It is proved here that when L < 1 and 0 < k 1/e all solutionsof equation (1) oscillate in several cases in which the condition holds, where ₁ is the smaller root of the equation = e^k. 2000Mathematics Subject Classification 34K11 (primary); 34C10 (secondary).     

On Storer Difference Sets

Let p, q be distinct odd primes, and let a, b be positive integers.In this paper we prove that if S(p^a, q^b) is a Storer differenceset with the parameters = p^aq^b, k = (–1)/4 and =(–5)/16,then we have a = b = 1, and , where , and r is a positiveinteger. 1991 Mathematics Subject Classification 05B10.     

The Bicanonical Map of Surfaces with pg = 0 and K2 >= 7

A minimal surface of general type with p_g(S) = 0 satisfies 1 K² 9, and it is known that the image of the bicanonical map is a surface for , whilst for , the bicanonical map is always a morphism. In this paper it is shown that is birationalif , and that the degree of is at most 2 if or By presenting two examples of surfaces S with and 8 and bicanonical map of degree 2, it is alsoshown that this result is sharp. The example with is, to our knowledge, a new example of a surfaceof general type with p_g = 0. The degree of is also calculated for two other known surfacesof general type with p_g = 0 and . In both cases, the bicanonical map turns out to be birational.     

Correction: Abelian Varieties defined over their Fields of Moduli, I

Bull London Math. Soc, 4 (1972), 370–372. The proof of the theorem contains an error. Before giving acorrect proof, we state two lemmas. LEMMA 1. Let K/k be a cyclic Galois extension of degree m, let generate Gal (K/k), and let (A, I, ) be defined over K. Supposethat there exists an isomorphism :(A,I,) (A, I, ) over K suchthat v^m–1 ... = 1, where v is the canonical isomorphism(A^m, I^m, ^m) (A, I, ). Then (A, I, ) has a model over k, whichbecomes isomorphic to (A, I, ) over K. Proof. This follows easily from [7], as is essentially explainedon p. 371. LEMMA 2. Let G be an abelian pro-finite group and let : G Q/Z be a continuous character of G whose image has order p.Then either: (a) there exist subgroups G' and H of G such that H is cyclicof order p^m for some m, (G') = 0, and G = G' x H, or (b) for any m > 0 there exists a continuous character m ofG such that p^m _m = . Proof. If (b) is false for a given m, then there exists an element G, of order p^r for some r m, such that () ¦ 0. (Considerthe sequence dual to 0 Ker (p^m) G ^pm G). There exists an opensubgroup G_o of G such that (G₀) = 0 and has order p^r in G/G₀.Choose H to be the subgroup of G generated by , and then aneasy application to G/G₀ of the theory of finite abelian groupsshows the existence of G' (note that () ¦ 0 implies that is not a p-th. power in G). We now prove the theorem. The proof is correct up to the statement(iv) (except that (i) should read: F' k₁ F'ab). To removea minor ambiguity in the proof of (iv), choose to be an elementof Gal (F'_ab/k₂) whose image $$\stackrel{\&macr;}{\sigma}$$ in Gal (k₁/k₂) generates this last group. The error occursin the statement that the canonical map v : A^P A acts on pointsby sending a^p a; it, of course, sends a a. The proof is correct, however, in the case that it is possibleto choose so that ^p = 1 (in Gal (F'/k₂)). By applying Lemma 2 to G = Gal (F'_ab/k₂) and the map G Gal(k₁/k₂) one sees that only the following two cases have to beconsidered. (a) It is possible to choose so that ^pm = 1, for some m, andG = G' x H where G' acts trivially on k₁ and H is generatedby . (b) For any m > 0 there exists a field K, F'ab K k₁ k₂is a cyclic Galois extension of degree p^m. In the first case, we let K F'_ab be the fixed field of G'.Then (A, I, ), regarded as being defined over K, has a modelover k₂. Indeed, if m = 1, then this was observed above, butwhen m > 1 the same argument applies. In the second case, let : (A, I, ) (A$$\stackrel{\&macr;}{\sigma}$$, I$$\stackrel{\&macr;}{\sigma }$$, $$\stackrel{\&macr;}{\sigma}$$) be an isomorphism defined over k₁ and let v ... ^p–1 = µ(R). If is replaced by for some Aut_k1((A, I, )) then is replacedby ^P. Thus, as µ(R) is finite, we may assume that ^pm–1= 1 for some m. Choose K, as in (b), to be of degree p^m overk₂. Let _m be a generator of Gal (K/k₂) whose restriction tok₁ is $$\stackrel{\&macr;}{\sigma }$$. Then : (A, I, ) (A^{$$\stackrel{\&macr;}{\sigma }$$}, I^{$$\stackrel{\&macr;}{\sigma}$$}, ^{$$\stackrel{\&macr;}{\sigma }$$} = (A^{$$\stackrel{\&macr;}{\sigma}$$m}, I^{$$\stackrel{\&macr;}{\sigma }$$m}, ^{$$\stackrel{\&macr;}{\sigma}$$m} is an isomorphism defined over K and v ^mpm–1, ... ^m =^pm–1 = 1, and so, by) Lemma 1, (A, I, ) has a model overk₂ which becomes isomorphic to (A, I, over K. The proof may now be completed as before. Addendum: Professor Shimura has pointed out to me that the claimon lines 25 and 26 of p. 371, viz that µ(R) is a puresubgroup of _R^*t, does not hold for all rings R. Thus this condition,which appears to be essential for the validity of the theorem,should be included in the hypotheses. It holds, for example,if µ(R) is a direct summand of µ(F).     

Multi-Bubble Solutions for Slightly Super-Critical Elliptic Problems in Domains with Symmetries

The aim of this paper is to show the existence of solutionswith an arbitrarily large number of bubbles for the slightlysuper-critical elliptic problem in , subject to the conditions that u > 0 in , and u = 0on , where > 0 is a small parameter and R^N is a boundeddomain with certain symmetries, for instance an annulus or atorus in R³. 2000 Mathematics Subject Classification 35J25 (primary);35J20, 35J60 (secondary).     

An Upper Estimate for a Heat Kernel With Neumann Boundary Condition

Using an upper solution we obtain a bound from above for theheat kernel (x,y,t) for a region which is star-shaped withrespect to one of the points, say y. The estimate is for theNeumann problem and holds for short times. The form of the boundis moreover, for x\Y(y), Here Y(y) is a closed subset of R^Nwith measure zero, d(x,y) is the minimum distance between xand y via the boundary :d(x,y) = inf_Z(|x-z| + |y-z|), and f(.,y)is a positive function, continuous away from Y, and equal tounity on .     

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.     

Analytic Discs Attached From the Outside Have Knotted Boundaries

Let be a pseudoconvex domain in C² with smooth boundary, andlet be a smooth embedded analytic disc intersecting transversally along the curve A. Then A isknotted in . 2000 Mathematics Subject Classification 32U99.     

A Relation between Hausdorff Dimension and a Condition on Time Sets for the Image by the Brownian Sheet to Possess Interior Points

We prove that if W_{N, d} is a Brownian sheet mapping to R^d and E is a set in (0, )^N of Hausdorff dimensiongreater than , then for almost every rotation about a point x and translation _x such that _x(E) (0, )^N, the set _x(E) is such that almost surely W(E) containsinterior points. The techniques are adapted from Kahane andRosen and generalize to higher dimensional time and range.     

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.     

Logarithmic Convexity for Supremum Norms of Harmonic Functions

We prove the following convexity property for supremum normsof harmonic functions. Let be a domain in Rⁿ, ₀ and E a subdomainand a compact sebset of ,respectively. Then there exists a constant = (E, ₀, ) (0, 1) such that for all harmonic functions u on, the inequality is valid.The case of concentric balls E plays a key role in the proof.For positive harmonic funcitons ono osuch balls, we determinethe sharp constant in the inequlity.     

Quasi-Affinity in certain Classes of Operators

The family of operators S + V (, C, Re > 0), where V isan injective S-Volterra operator (that is, [S, V[ = V²) and— A — V^–1 generates a uniformly bounded C₀-semigroup,is studied in the context of similarity and of the weaker quasi-affinityrelation. It is shown that S is similar to S + V for all , C,Re > 1, and is a quasi-affine transform of S + tV for allt 0 and 0 < < 1.     

Shintani cocycles on GLn

The aim of this paper is to define an (n–1)-cocycle onGL _n() with values in a certain space of distributions on . Here _f denotes the ring of finite adèlesof , and the distributions take values in the Laurent series((z₁...,z_n)). This cocycle can be used to evaluate special valuesof Artin L-functions on number fields at negative integers.The construction generalizes that of Solomon in the case n=2.     

Metric Entropy of Convex Hulls in Hilbert Spaces

We show in this note the following statement which is an improvementover a result of R. M. Dudley and which is also of independentinterest. Let X be a set of a Hilbert space with the propertythat there are constants , >0, and for each n N, the setX can be covered by at most n balls of radius n^–. Then,for each n N, the convex hull of X can be covered by 2ⁿ ballsof radius . The estimate is best possible for all n N, apart from the value c=c(, , X).In other words, let N(, X), >0, be the minimal number ofballs of radius covering the set X. Then the above result isequivalent to saying that if N(, X)=O(^–1/) as 0, thenfor the convex hull conv (X) of X, N(, conv (X)) =O(exp(^–2/(12))). Moreover, we give an interplay between several coveringparameters based on coverings by balls (entropy numbers) andcoverings by cylindrical sets (Kolmogorov numbers). 1991 MathematicsSubject Classification 41A46.     

Local Limitations of the Ext Functor Do Not Exist

In this note it is shown that for k a field, and for the four-dimensionalalgebra = kx, y/x², y², xy + qyx when qⁿ 1, 0 for all n, thereexist a two-dimensional module M and a family of two-dimensionalmodules M_i, i = 1, 2, ..., such that for i equal to 0, j and j + 1, and otherwise. This is probably the most straightforward examplegiving a negative answer to a question raised by Maurice Auslander.2000 Mathematics Subject Classification 16D10, 16E10, 16E30,16G10, 16G20.