Very weak solutions to elliptic equations with nonlinear Neumann boundary conditions

Consider the equation −Δu = 0 in a bounded smooth domain , complemented by the nonlinear Neumann boundary condition ∂_ν u = f(x, u) − u on ∂Ω. We show that any very weak solution of this problem belongs to L ^∞(Ω) provided f satisfies the growth condition |f(x, s)| ≤ C(1 + |s| ^p ) for some p ∈ (1, p*), where . If, in addition, f(x, s) ≥ −C + λs for some λ > 1, then all positive very weak solutions are uniformly a priori bounded. We also show by means of examples that p* is a sharp critical exponent. In particular, using variational methods we prove the following multiplicity result: if N ∈ {3, 4} and f(x, s) =  s ^p then there exists a domain Ω and such that our problem possesses at least two positive, unbounded, very weak solutions blowing up at a prescribed point of ∂Ω provided . Our regularity results and a priori bounds for positive very weak solutions remain true if the right-hand side in the differential equation is of the form h(x, u) with h satisfying suitable growth conditions.     

On <Emphasis Type="Italic">Γ</Emphasis>-convergence of quadratic functionals in the plane

In this paper, we prove that if a sequence of homeomorphisms , with bounded planar domains, of Sobolev space has uniformly equibounded distortions in EXP(Ω) and weakly converges to f in then the matrices A(x, f _j ) of the corresponding Laplace-Beltrami operators Γ-converge in the Orlicz–Sobolev space , where Q(t) = t ²log(e + t), to the matrix A(x, f) of the Laplace-Beltrami operator associated to f.      

Differentiability of functions: approximate,global, and differentiability along curves over non-archimedean fields

This paper is devoted to the study of approximate and global smoothness and smoothness along curves of functions f(x ₁,...,x _m ) of variables x ₁,...,x _m in infinite fields with nontrivial non-Archimedean valuations and relations between them. Theorems on classes of smoothness C ⁿ or of functions with partial difference quotients continuous or bounded uniformly continuous on bounded domains up to order n are investigated. We prove that from f ○ u ∈ C ⁿ (K, K ^l) or f ○ u ∈ (K, K ^l) for each C ^∞ or curve u: K → K ^m it follows that f ∈ C ⁿ (K ^m , K ^l) or f ∈ (K ^m , K ^l), where m ≥ 2. Then the classes of smoothness C ^n,r and and more general in the sense of Lipschitz for partial difference quotients are considered and theorems for them are proved. Moreover, the approximate differentiability of functions relative to measures is defined and investigated. Its relations with the Lipschitzian property and almost everywhere differentiability are studied. Non-Archimedean analogs of classical theorems of Kirzsbraun, Rademacher, Stepanoff, and Whitney are formulated and proved, and substantial differences between two cases are found. Finally, theorems about relations between approximate differentiability by all variables and along curves are proved. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 52, Functional Analysis, 2008.     

Minoration conforme du spectre du laplacien de Hodge-de Rham

Let M ⁿ be an n-dimensional compact manifold, with n ≥ 3. For any conformal class C of riemannian metrics on M, we set , where μ _p,k (M,g) is the kth eigenvalue of the Hodge laplacian acting on coexact p-forms. We prove that . We also prove that if g is a smooth metric such that , and n = 0,2,3 mod 4, then there is a non-zero corresponding eigenform of degree with constant length. As a corollary, on a four-manifold with non vanishing Euler characteristic, there is no such smooth extremal metric.     

Galois modular representation of associated Jacobians in the tamely ramified cyclic case

Let L/K be an ℓ-cyclic extension with Galois group G of algebraic function fields over an algebraically closed field k of characteristic p ≠  ℓ. In this paper, the -module structure of the ℓ-torsion of the Jacobian associated to L is explicitly determined.     

Distribution of the maxima of random Takagi functions

This paper concerns the maximum value and the set of maximum points of a random version of Takagi’s continuous, nowhere differentiable function. Let F(x):=∑ _n=1^∞ ε _n ϕ(2 ⁿ⁻¹ x), x ∈ R, where ɛ ₁, ɛ ₂, ... are independent, identically distributed random variables taking values in {−1, 1}, and ϕ is the “tent map” defined by ϕ(x) = 2 dist (x, Z). Let p:= P (ɛ ₁ = 1), M:= max {F(x): x ∈ R}, and := {x ∈ [0, 1): F(x) = M}. An explicit expression for M is given in terms of the sequence {ɛ _n }, and it is shown that the probability distribution μ of M is purely atomic if p < , and is singular continuous if p ≧ . In the latter case, the Hausdorff dimension and the multifractal spectrum of μ are determined. It is shown further that the set is finite almost surely if p < , and is topologically equivalent to a Cantor set almost surely if p ≧ . The distribution of the cardinality of is determined in the first case, and the almost-sure Hausdorff dimension of is shown to be (2p − 1)/2p in the second case. The distribution of the leftmost point of is also given. Finally, some of the results are extended to the more general functions Σa ^{n − 1} ɛ _n ϕ(2 ^{n − 1} x), where 0 < a < 1.      

The commutant of analytic Toeplitz operators on Bergman space

In this paper, using the matrix skills and operator theory techniques we characterize the commutant of analytic Toeplitz operators on Bergman space. For f（z） = z^ng（z） （n ≥1）, g（z） = b0 ＋ b1z^p1 ＋b2z^p2 ＋.. , bk ≠ 0 （k = 0, 1, 2,...）, our main result is =A′（Mf） = A′（Mzn）∩A′（Mg） = A′（Mz^s）, where s = g.c.d.（n,p1,p2,...）. In the last section, we study the relation between strongly irreducible curve and the winding number W（f,f（α））, α ∈ D.     

Singular Integrals and Potential Theory

In this paper I consider a class of non-standard singular integrals motivated by potential theoretic and probabilistic considerations. The probabilistic applications, which are by far the most interesting part of this circle of ideas, are only outlined in Section 1.5: They give the best approximation of the solution of the classical Dirichlet problem in a Lipschitz domain by the corresponding solution by finite differences. The potential theoretic estimate needed for this gives rise to a natural duality between the L _p functions on the boundary ∂Ω and a class of functions A on Ω that was first considered by Dahlberg. The actual duality is given by ∫_Ω S f(x)A(x)dx = (f, A) where S f(x) = ∫_∂Ω |x − y|¹⁻ⁿ f(y)dy is the Newtonian potential. We can identify the upper half Lipschitz space with in the obvious way and express for an appropriate kernel K. It is the boundedness properties of the above (for , ) that is the essential part of this work. This relates with more classical (but still “rough”) singular integrals that have been considered by Christ and Journé. Lecture held in the Seminario Matematico e Fisico on March 14, 2005 Received: April 2007     

Continuous spectrum for a class of nonhomogeneous differential operators

We study the boundary value problem in Ω, u = 0 on ∂Ω, where Ω is a bounded domain in with smooth boundary, λ is a positive real number, and the continuous functions p ₁, p ₂, and q satisfy 1 < p ₂(x) < q(x) < p ₁(x) < N and for any . The main result of this paper establishes the existence of two positive constants λ₀ and λ₁ with λ₀ ≤ λ₁ such that any is an eigenvalue, while any is not an eigenvalue of the above problem.     

Is the Approximation Rate for European Pay-offs in the Black–Scholes Model Always 1/ \sqrt{n}

For a Borel-function , we consider the approximation of a random variable f(W ₁) with by stochastic integrals with respect to the Brownian motion and the geometric Brownian motion, where the integrands are piecewise constant within certain deterministic time intervals. In earlier papers it has been shown that under certain regularity conditions the optimal approximation rate is 1/ , if one optimizes over deterministic time-nets of cardinality n. We will show the existence of random variables f(W ₁) such that the approximation error tends as slowly to zero as one wishes.     

Convex Minimization over the Fixed Point Set of Demicontractive Mappings

This paper deals with a viscosity iteration method, in a real Hilbert space , for minimizing a convex function over the fixed point set of , a mapping in the class of demicontractive operators, including the classes of quasi-nonexpansive and strictly pseudocontractive operators. The considered algorithm is written as: x _n+1 := (1 − w) v _n + w T v _n , v _n := x _n − α _n Θ′(x _n ), where w ∈ (0,1) and , Θ′ is the Gateaux derivative of Θ. Under classical conditions on T, Θ, Θ′ and the parameters, we prove that the sequence (x _n ) generated, with an arbitrary , by this scheme converges strongly to some element in Argmin _Fix(T) Θ.      

Selmer groups of abelian varieties in extensions of function fields

Let k be a field of characteristic q, a smooth geometrically connected curve defined over k with function field . Let A/K be a non-constant abelian variety defined over K of dimension d. We assume that q = 0 or >  2d + 1. Let p ≠ q be a prime number and a finite geometrically Galois and étale cover defined over k with function field . Let (τ′, B′) be the K′/k-trace of A/K. We give an upper bound for the -corank of the Selmer group Sel _p (A × _K K′), defined in terms of the p-descent map. As a consequence, we get an upper bound for the -rank of the Lang–Néron group A(K′)/τ′B′(k). In the case of a geometric tower of curves whose Galois group is isomorphic to , we give sufficient conditions for the Lang–Néron group of A to be uniformly bounded along the tower. This work was partially supported by CNPq research grant 305731/2006-8.     

On Galois groups of unramified pro-p extensions

Let p be an odd prime satisfying Vandiver’s conjecture. We consider two objects, the Galois group X of the maximal unramified abelian pro-p extension of the compositum of all Z _p -extensions of Q(μ _p ) and the Galois group of the maximal unramified pro-p extension of Q . We give a lower bound for the height of the annihilator of X as an Iwasawa module. Under some mild assumptions on Bernoulli numbers, we provide a necessary and sufficient condition for to be abelian. The bound and the condition in the two results are given in terms of special values of a cup product pairing on cyclotomic p-units. We obtain in particular that, for p  <  1,000, Greenberg’s conjecture that X is pseudo-null holds and is in fact abelian.     

Error Correcting Sequence and Projective De Bruijn Graph

Let X be a finite set of q elements, and n, K, d be integers. A subset C ⊂ X ⁿ is an (n, K, d) error-correcting code, if #(C) = K and its minimum distance is d. We define an (n, K, d) error-correcting sequence over X as a periodic sequence {a _i } _i=0,1,... (a _i ∈ X) with period K, such that the set of all consecutive n-tuples of this sequence form an (n, K, d) error-correcting code over X. Under a moderate conjecture on the existence of some type of primitive polynomials, we prove that there is a error correcting sequence, such that its code-set is the q-ary Hamming code with 0 removed, for q > 2 being a prime power. For the case q = 2, under a similar conjecture, we prove that there is a error-correcting sequence, such that its code-set supplemented with 0 is the subset of the binary Hamming code [2 ^m  − 1, 2 ^m  − 1 − m, 3] obtained by requiring one specified coordinate being 0. Received: October 27, 2005. Final Version received: December 31, 2007     

On polynomial automorphisms of spheres

Let K be an infinite field with characteristic different from two and (K) the n-sphere over K. We show that ambient polynomial automorphisms of (K) preserve the quadratic form x ₀² + ⋯ + x _n ² and the group Aut ((K ⁿ⁺¹, (K)) of such automorphisms of (K) is isomorphic to the (n + 1)-orthogonal group O(n + 1, K) provided K is real. Next, the restriction map Aut (K ³, (K)) → Aut ( (K)) yields a surjection provided K is an algebraically closed field as well. Furthermore, for any such a field K, there is an imbedding

Hamiltonian cycles and 2-dominating induced cycles in claw-free graphs

Let G = (V, E) be a connected graph. For a vertex subset , G[S] is the subgraph of G induced by S. A cycle C (a path, respectively) is said to be an induced cycle (path, respectively) if G[V(C)] = C (G[V(P)] = P, respectively). The distance between a vertex x and a subgraph H of G is denoted by , where d(x, y) is the distance between x and y. A subgraph H of G is called 2-dominating if d(x, H) ≤ 2 for all . An induced path P of G is said to be maximal if there is no induced path P′ satisfying and . In this paper, we assume that G is a connected claw-free graph satisfying the following condition: for every maximal induced path P of length p ≥ 2 with end vertices u, v it holds:

2-idempotent 3-quasigroups with a conjugate invariant subgroup consisting of a single cycle of length four

A ternary quasigroup (or 3-quasigroup) is a pair (N, q) where N is an n-set and q(x, y, z) is a ternary operation on N with unique solvability. A 3-quasigroup is called 2-idempotent if it satisfies the generalized idempotent law: q(x, x, y) = q(x, y, x) = q(y, x, x) = y. A conjugation of a 3-quasigroup, considered as an OA(3, 4, n), , is a permutation of the coordinate positions applied to the 4-tuples of . The subgroup of conjugations under which is invariant is called the conjugate invariant subgroup of . In this paper, we will complete the existence proof of the last undetermined infinite class of 2-idempotent 3-quasigroups of order n, n ≡ 1 (mod 4) and n > 9, with a conjugate invariant subgroup consisting of a single cycle of length four.      

Quasi-locally finite polynomial endomorphisms

If F is a polynomial endomorphism of , let denote the field of rational functions such that . We will say that F is quasi-locally finite if there exists a nonzero such that p(F) = 0. This terminology comes out from the fact that this definition is less restrictive than the one of locally finite endomorphisms made in Furter, Maubach (J Pure Appl Algebra 211(2):445–458, 2007). Indeed, F is called locally finite if there exists a nonzero such that p(F) = 0. In the present paper, we show that F is quasi-locally finite if and only if for each the sequence is a linear recurrent sequence. Therefore, this notion is in some sense natural. We also give a few basic results on such endomorphisms. For example: they satisfy the Jacobian conjecture.     

Homogeneous spaces and degree 4 del Pezzo surfaces

It is known that, given a genus 2 curve , where f(x) is quintic and defined over a field K, of characteristic different from 2, and given a homogeneous space for complete 2-descent on the Jacobian of , there is a V _δ (which we shall describe), which is a degree 4 del Pezzo surface defined over K, such that . We shall prove that every degree 4 del Pezzo surface V, defined over K, arises in this way; furthermore, we shall show explicitly how, given V, to find and δ such that V =  V _δ , up to a linear change in variable defined over K. We shall also apply this relationship to Hürlimann’s example of a degree 4 del Pezzo surface violating the Hasse principle, and derive an explicit parametrised infinite family of genus 2 curves, defined over , whose Jacobians have nontrivial members of the Shafarevich-Tate group. This example will differ from previous examples in the literature by having only two -rational Weierstrass points. The author thanks EPSRC for support: grant number EP/F060661/1.     

Notes on the nuclearity of random subalgebras of O2{\mathcal {O}_2}

There exists a separable exact C*-algebra A which contains all separable exact C*-algebras as subalgebras, and for each norm-dense measure μ on A and independent μ-distributed random elements x ₁, x ₂, ... we have . Further, there exists a norm-dense non-atomic probability measure μ on the Cuntz algebra such that for an independent sequence x ₁, x ₂, ... of μ-distributed random elements x _i we have . We introduce the notion of the stochastic rank for a unital C*-algebra and prove that the stochastic rank of C([0, 1] ^d ) is d. B. Burgstaller was supported by the Austrian Schr?dinger stipend J2471-N12.