Some applications of the Ohsawa–Takegoshi extension theorem

We sketch a proof of the Ohsawa–Takegoshi extension theorem (due to Berndtsson) and then present some applications of this result: optimal lower bound for the Bergman kernel, relation to the Suita conjecture, and the Demailly approximation.     

On the Lazarev–Lieb extension of the Hobby–Rice theorem

O. Lazarev and E.H. Lieb proved that, given _f1,…,_fn∈L¹([0,1];C)$f_1,\dots ,f_n\in L^1([0,1];\mathbb{C})$, there exists a smooth function Φ$\Phi$ that takes values on the unit circle and annihilates span{_f1,…,_fn}$\text{span}\{f_1,\dots ,f_n\}$. We give an alternative proof of that fact that also shows the W^1,1$W^{1,1}$ norm of Φ$\Phi$ can be bounded by 5πn+1$5\pi n+1$. Answering a question raised by Lazarev and Lieb, we show that if p>1$p>1$ then there is no bound for the W^1,p$W^{1,p}$ norm of any such multiplier in terms of the norms of _f1,…,_fn$f_1,\dots ,f_n$.     

An extension of Bonnet–Myers theorem

We give a complementary generalization of the extensions of Bonnet–Myers theorem obtained by Calabi and also Cheeger–Gromov–Taylor.

     

The generalized Morse–Sard theorem

The Morse–Sard theorem gives conditions under which the set of critical values of a function between Euclidean spaces has Lebesgue measure zero. Over the years the result has been extended and strengthened in various ways. We present a result, along with a simple proof, that subsumes many of these generalizations. We also review methods of constructing examples showing that differentiability hypotheses cannot be weakened, and we construct a complete set of examples for our result.     

An extension of the Erdős-Stone theorem

LetK _p(u₁, ..., u_p) be the completep-partite graph whoseith vertex class hasu _i vertices (lip). We show that the theorem of Erds and Stone can be extended as follows. There is an absolute constant >0 such that, for allr1, 0<1 and=">1/r, every graphG=G ⁿ of sufficiently large order |G|=n with at least

The curve selection lemma and the Morse–Sard theorem

We use an inequality due to Bochnak and Lojasiewicz, which follows from the Curve Selection Lemma of real algebraic geometry in order to prove that, given a C ^r function , we have

An extension of Hawkes theorem on the Hausdorff dimension of a Galton–Watson tree

Let ? be the genealogical tree of a supercritical multitype Galton–Watson process, and let Λ be the limit set of ?, i.e., the set of all infinite self-avoiding paths (called ends) through ? that begin at a vertex of the first generation. The limit set Λ is endowed with the metric d(ζ, ξ) = 2 ⁻ⁿ where n = n(ζ, ξ) is the index of the first generation where ζ and ξ differ. To each end ζ is associated the infinite sequence Φ(ζ) of types of the vertices of ζ. Let Ω be the space of all such sequences. For any ergodic, shift-invariant probability measure μ on Ω, define Ω_μ to be the set of all μ-generic sequences, i.e., the set of all sequences ω such that each finite sequence v occurs in ω with limiting frequency μ(Ω(v)), where Ω(v) is the set of all ω′?Ω that begin with the word v. Then the Hausdorff dimension of Λ∩Φ⁻¹ (Ω_μ) in the metric d is

A non-Archimedean Ohsawa–Takegoshi extension theorem

Mathematische Zeitschrift - We prove an Ohsawa–Takegoshi-type extension theorem on the Berkovich closed unit disc over certain non-Archimedean fields. As an application, we establish a...     

The extension of the first main theorem for π-blocks

Let π be a set of primes and G a π-separable group. Isaacs defines the Bπ characters, which can be viewed as the "π-modular" characters in G, such that the Bp' characters form a set of canonical lifts for the p-modular characters. By using Isaacs' work, Slattery has developed some Brauer's ideals of p-blocks to the π-blocks of a finite π-separable group, generalizing Brauer's three main theorems to the π-blocks. In this paper, depending on Isaacs' and Slattery's work, we will extend the first main theorem for π-blocks.     

Integral formulas and the Ohsawa-Takegoshi extension theorem

We construct a semiexplicit integral representation of the canonical solution to the (?)-equation with respect to a plurisubharmonic weight function in a pseudoconvex domain. The construction is based on a construction related to the Ohsawa-Takegoshi extension theorem combined with a method to construct weighted integral representations due to M. Andersson.     

A proof of the basic measure extension theorem of Carathéodory

In this note a direct elementary proof of Carathéodory's measure extension theorem is presented. It is based on an approximation argument for outer measures where elements of the -algebra are approached by elements of the underlying algebra of sets with respect to the symmetric difference. Received: 3 April 2000 / Accepted: 20 September 2000     

On the correlation of the Thue–Morse sequence

The Ramanujan Journal - Let $$s_{q}$$ denote the sum of digits function in base q. The aim of this work is to estimate the exponential sums involving the sum of digits of shifted integers, namely...     

A proof of Morseʼs theorem about the cancellation of critical points

In this Note, we give a proof of the famous theorem of M. Morse dealing with the cancellation of a pair of non-degenerate critical points of a smooth function. Our proof consists of a reduction to the one-dimensional case where the question becomes easy to answer.     

An extension of Jung’s theorem

Theorem. Let a set X?Rⁿ have unit circumradius and let B be the unit ball containing X. Put C =conv \(\bar X\) D =diam C (=diam X), k =dim C,d _i = √(2i + 2)/i. Then: (i) D∈[d_n, 2]; (ii) k≧m where m∈{2,3,...,n} satisfies D∈[d_m, d_m?1) (d_i decreases by i); (iii) In case k=m (by (ii), this is always the case when m=n), C contains a k-simplex Δ such that: (α) its vertices are on δB; (β) the centre of B belongs toint Δ; (γ) the inequalitiesλ _k (D) ≦l ≦D with $$\lambda _k (D) = D\sqrt {\frac{{4k - 2D^2 (k - 1)}}{{2 - (k - 2)(D^2 - 2)}}, D \in (d_k ,d_{k - 1} )} $$ are unimprovable estimates for length l of any edge of Δ.     

The Morse–Sard theorem for Clarke critical values

The Morse–Sard theorem states that the set of critical values of a C^k$C^k$ smooth function defined on a Euclidean space R^d${\mathbb{R}}^d$ has Lebesgue measure zero, provided k≥d$k\ge d$. This result is hereby extended for (generalized) critical values of continuous selections over a compactly indexed countable family of C^k$C^k$ functions: it is shown that these functions are Lipschitz continuous and the set of their Clarke critical values is null.     

Aspects of the Borsuk–Ulam theorem

This is a largely expository account of various aspects of the Borsuk–Ulam theorem, including extensions of the classical theorem to families of maps parametrized by a base space and to multivalued maps. The main technical tool is the Euler class with compact supports.     

A further extension of Rotfel’d theorem

We prove an inequality for concave functions and partitioned matrices whose numerical ranges lie in a sector. This complements a theorem by E.Y. Lee concerning the positive semi-definite case.     

Semialgebraic version of Whitney’s extension theorem

Archiv der Mathematik - In this note we prove a semialgebraic counterpart of Whitney’s extension theorem.