Schlicht envelopes of holomorphy and topology

Let Ω be a domain in ${\mathbb{C}^{2}}Let Ω be a domain in \mathbbC²{\mathbb{C}^{2}}, and let p: [(W)\tilde]? \mathbbC²{\pi: \tilde{\Omega}\rightarrow \mathbb{C}^{2}} be its envelope of holomorphy. Also let W￠=p([(W)\tilde]){\Omega'=\pi(\tilde{\Omega})} with i: W\hookrightarrow W￠{i: \Omega \hookrightarrow \Omega'} the inclusion. We prove the following: if the induced map on fundamental groups i_*:p₁(W) ? p₁(W￠){i_{*}:\pi_{1}(\Omega) \rightarrow \pi_{1}(\Omega')} is a surjection, and if π is a covering map, then Ω has a schlicht envelope of holomorphy. We then relate this to earlier work of Fornaess and Zame.     

Minimal rotational hypersurfaces in Minkowski (<Emphasis Type="Italic">α</Emphasis>, <Emphasis Type="Italic">β</Emphasis>)-space

In Finsler geometry, minimal surfaces with respect to the Busemann-Hausdorff measure and the Holmes-Thompson measure are called BH-minimal and HT-minimal surfaces, respectively. In this paper, we give the explicit expressions of BH-minimal and HT-minimal rotational hypersurfaces generated by plane curves rotating around the axis in the direction of [(b)\tilde]^\sharp{\tilde{\beta}^{\sharp}} in Minkowski (α, β)-space (\mathbbVⁿ⁺¹,[(F_b)\tilde]){(\mathbb{V}^{n+1},\tilde{F_b})} , where \mathbbVⁿ⁺¹{\mathbb{V}^{n+1}} is an (n+1)-dimensional real vector space, [(F_b)\tilde]=[(a)\tilde]f([(b)\tilde]/[(a)\tilde]), [(a)\tilde]{\tilde{F_b}=\tilde{\alpha}\phi(\tilde{\beta}/\tilde{\alpha}), \tilde{\alpha}} is the Euclidean metric, [(b)\tilde]{\tilde{\beta}} is a one form of constant length b:=||[(b)\tilde]||_[(a)\tilde], [(b)\tilde]^\sharp{b:=\|\tilde{\beta}\|_{\tilde{\alpha}}, \tilde{\beta}^{\sharp}} is the dual vector of [(b)\tilde]{\tilde{\beta}} with respect to [(a)\tilde]{\tilde{\alpha}} . As an application, we first give the explicit expressions of the forward complete BH-minimal rotational surfaces generated around the axis in the direction of [(b)\tilde]^\sharp{\tilde{\beta}^{\sharp}} in Minkowski Randers 3-space (\mathbbV³,[(a)\tilde]+[(b)\tilde]){(\mathbb{V}^{3},\tilde{\alpha}+\tilde{\beta})} .     

On the existence of a p-adic metaplectic Tate-type $\widetilde {\gamma}$-factor

Let \mathbbF\mathbb{F} be a p-adic field, let χ be a character of \mathbbF^*\mathbb{F}^{*}, let ψ be a character of \mathbbF\mathbb{F} and let g_y^-1\gamma_{\psi}^{-1} be the normalized Weil factor associated with a character of second degree. We prove here that one can define a meromorphic function [(g)\tilde](c,s,y)\widetilde{\gamma}(\chi ,s,\psi) via a similar functional equation to the one used for the definition of the Tate γ-factor replacing the role of the Fourier transform with an integration against y·g_y^-1\psi\cdot\gamma_{\psi}^{-1}. It turns out that γ and [(g)\tilde]\widetilde{\gamma} have similar integral representations. Furthermore, [(g)\tilde]\widetilde{\gamma} has a relation to Shahidi‘s metaplectic local coefficient which is similar to the relation γ has with (the non-metalpectic) Shahidi‘s local coefficient. Up to an exponential factor, [(g)\tilde](c,s,y)\widetilde{\gamma}(\chi,s,\psi) is equal to the ratio \fracg(c²,2s,y)g(c,s+\frac12,y)\frac{\gamma(\chi^{2},2s,\psi)}{\gamma(\chi,s+\frac{1}{2},\psi)}.     

New Besov-type spaces and Triebel–Lizorkin-type spaces including Q spaces

Let ${s,\,\tau\in\mathbb{R}}Let s, t ? \mathbbR{s,\,\tau\in\mathbb{R}} and q ? (0,￥]{q\in(0,\infty]} . We introduce Besov-type spaces [(B)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} for p ? (0, ￥]{p\in(0,\,\infty]} and Triebel–Lizorkin-type spaces [(F)\dot]^s, t_p, q(\mathbbRⁿ) for p ? (0, ￥){{{{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}\,{\rm for}\, p\in(0,\,\infty)} , which unify and generalize the Besov spaces, Triebel–Lizorkin spaces and Q spaces. We then establish the j{\varphi} -transform characterization of these new spaces in the sense of Frazier and Jawerth. Using the j{\varphi} -transform characterization of [(B)\dot]^s, t_p, q(\mathbbRⁿ) and [(F)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\, {\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} , we obtain their embedding and lifting properties; moreover, for appropriate τ, we also establish the smooth atomic and molecular decomposition characterizations of [(B)\dot]^s, t_p, q(\mathbbRⁿ) and [(F)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\,{\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} . For s ? \mathbbR{s\in\mathbb{R}} , p ? (1, ￥), q ? [1, ￥){p\in(1,\,\infty), q\in[1,\,\infty)} and t ? [0, \frac1(max{p, q})￠]{\tau\in[0,\,\frac{1}{(\max\{p,\,q\})'}]} , via the Hausdorff capacity, we introduce certain Hardy–Hausdorff spaces B[(H)\dot]^s, t_p, q(\mathbbRⁿ){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} and prove that the dual space of B[(H)\dot]^s, t_p, q(\mathbbRⁿ){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} is just [(B)\dot]^-s, t_p￠, q￠(\mathbbRⁿ){\dot{B}^{-s,\,\tau}_{p',\,q'}(\mathbb{R}^{n})} , where t′ denotes the conjugate index of t ? (1,￥){t\in (1,\infty)} .     

Quasi-nearly subharmonic functions in locally uniformly homogeneous spaces

We define nonnegative quasi-nearly subharmonic functions on so called locally uniformly homogeneous spaces. We point out that this function class is rather general. It includes quasi-nearly subharmonic (thus also subharmonic, quasisubharmonic and nearly subharmonic) functions on domains of Euclidean spaces \mathbbRⁿ{{\mathbb{R}}^n}, n ≥ 2. In addition, quasi-nearly subharmonic functions with respect to various measures on domains of \mathbbRⁿ{{\mathbb{R}}^n}, n ≥ 2, are included. As examples we list the cases of the hyperbolic measure on the unit ball B ⁿ of \mathbbRⁿ{{\mathbb{R}}^n}, the M{{\mathcal{M}}}-invariant measure on the unit ball B ²ⁿ of \mathbbCⁿ{{\mathbb{C}}^n}, n ≥ 1, and the quasihyperbolic measure on any domain D ì \mathbbRⁿ{D\subset {\mathbb{R}}^n}, D 1 \mathbbRⁿ{D\ne {\mathbb{R}}^n}. Moreover, we show that if u is a quasi-nearly subharmonic function on a locally uniformly homogeneous space and the space satisfies a mild additional condition, then also u ^p is quasi-nearly subharmonic for all p > 0.     

On some Dirichlet series related to the Riemann zeta function,I

On the assumption of the truth of the Riemann hypothesis for the Riemann zeta function we construct a class of modified von-Mangoldt functions with slightly better mean value properties than the well known function L\Lambda . For every e ? (0,1/2)\varepsilon \in (0,1/2) there is a [(L)\tilde] : \Bbb N ? \Bbb C\tilde {\Lambda} : \Bbb N \to \Bbb C such that¶ i) [(L)\tilde] (n) = L (n) (1 + O(n^-1/4  logn))\tilde {\Lambda} (n) = \Lambda (n) (1 + O(n^{-1/4\,} \log n)) and¶ii) ?_{n \leqq x} [(L)\tilde] (n) (1- [(n)/(x)]) = [(x)/2] + O(x^1/4+e) (x \geqq 2).\sum \limits_{n \leqq x} \tilde {\Lambda} (n) \left(1- {{n}\over{x}}\right) = {{x}\over{2}} + O(x^{1/4+\varepsilon }) (x \geqq 2).¶Unfortunately, this does not lead to an improved error term estimation for the unweighted sum ?_{n \leqq x} [(L)\tilde] (n)\sum \limits_{n \leqq x} \tilde {\Lambda} (n), which would be of importance for the distance between consecutive primes.     

Riesz transformations of distributions and a generalized Hardy space

LeiE(ℝⁿ) be the space of all functions on ℝⁿ which can continue to the entire holomorphic functions on ℂⁿ. We define Riesz transformation R_j of distributions as a linear transformation of the quotient spaceD′(ℝⁿ)/E(ℝⁿ) to itself, j=1,2,..., n. These generalized Riesz transformations share the same properties with the classical ones, such as . As applications we generalize further a theorem of F. & M. Riesz generalized by Stein and Weiss, and then define a generalized Hardy space, of which some properties are studied.     

Three-Way Tiling Sets in Two Dimensions

In this article we show that there exist measurable sets W⊂ℝ² with finite measure that tile ℝ² in a measurable way under the action of a expansive matrix A, an affine Weyl group [(W)\tilde]\widetilde{W} , and a full rank lattice [\varGamma\tilde] ì \mathbbR²\widetilde{\varGamma}\subset\mathbb{R}^{2} . This note is follow-up research to the earlier article “Coxeter groups and wavelet sets” by the first and second authors, and is also relevant to the earlier article “Coxeter groups, wavelets, multiresolution and sampling” by M. Dobrescu and the third author. After writing these two articles, the three authors participated in a workshop at the Banff Center on “Operator methods in fractal analysis, wavelets and dynamical systems,” December 2–7, 2006, organized by O. Bratteli, P. Jorgensen, D. Kribs, G. ólafsson, and S. Silvestrov, and discussed the interrelationships and differences between the articles, and worked on two open problems posed in the Larson-Massopust article. We solved part of Problem 2, including a surprising positive solution to a conjecture that was raised, and we present our results in this article.     

End-point maximal regularity and its application to two-dimensional Keller–Segel system

We prove the maximal L ^ρ regularity of the Cauchy problem of the heat equation in the Besov space [(B)\dot]_1,r⁰(\mathbbRⁿ){\dot{B}_{1,\rho}^0(\mathbb{R}^n)}, 1 < ρ ≤ ∞, which is not UMD space. And as its application, we establish the time local well-posedness of the solution of two dimensional nonlinear parabolic system with the Poisson equation in [(B)\dot]_1,2⁰(\mathbbR²){\dot{B}_{1,2}^0(\mathbb{R}^2)} , where the equation is considered in the space invariant by a scaling and particularly the natural free energy is well defined from the initial time. The small data global existence is also obtained in the same class.     

Asymptotically minimal schemes for one sequence of Boolean functions

Monotone symmetric Boolean functions $ f_2^n (\tilde x) = \mathop \vee \limits_{1 \leqslant i < j \leqslant n} x_i x_j $ f_2^n (\tilde x) = \mathop \vee \limits_{1 \leqslant i < j \leqslant n} x_i x_j are considered. For such functions, the asymptotics L ^B (f ₂ ⁿ ) ∼ 3n, where L ^B (f ₂ ⁿ ) is the complexity of realization of function f ₂ ⁿ by schemes of functional elements in the basis B = {&, −}, is established.     

Optimal quadrature problem on <Emphasis Type="Italic">n</Emphasis>-information for Hardy-Sobolev classes

For β > 0 and an integer r ≥ 2, denote by [(H)\tilde]_￥,b^r\tilde H_{\infty ,\beta }^r those 2π-periodic, real-valued functions f on ℝ, which are analytic in S _β := {z ∈ ℂ: |Im z| < β} and satisfy the restriction |f ^(r)(z)|≤1, z ∈ S _β . The optimal quadrature formulae about information composed of the values of a function and its kth (k = 1, ..., r − 1) derivatives on free knots for the classes [(H)\tilde]_￥,b^r\tilde H_{\infty ,\beta }^r are obtained, and the error estimates of the optimal quadrature formulae are exactly determined.     

Entropy bounds and second cohomology

When X is a finite complex and p₁X\pi_{1}X acts on \mathbbR²{\mathbb{R}}^2 by translations we give criteria involving H²X for an equivariant map F : [(X)\tilde] ? \mathbbR²F : \tilde{X} \rightarrow {\mathbb{R}}^2 to be onto. Following work of Manning and Shub, this leads to entropy bounds related to Shub’s entropy conjecture.     

Study of Some Fundamental Projective Quadrics Associated with a Standard Pseudo-Hermitian Space H p,q

This self-contained short note deals with the study of the properties of some real projective compact quadrics associated with a a standard pseudo-hermitian space H _p,q , namely [(Q(p, q))\tilde], [(Q_2p+1,1)\tilde], [(Q_1,2q+1)\tilde], [(H_p,q)\tilde].  [(Q(p, q))\tilde]{\widetilde{Q(p, q)}, \widetilde{Q_{2p+1,1}}, \widetilde{Q_{1,2q+1}}, \widetilde{H_{p,q}}. \, \widetilde{Q(p, q)}} is the (2n – 2) real projective quadric diffeomorphic to (S ^2p–1 × S ^2q–1)/Z ₂. inside the real projective space P(E ₁), where E ₁ is the real 2n-dimensional space subordinate to H _p,q . The properties of [(Q(p, q))\tilde]{\widetilde{Q(p, q)}} are investigated. [(H_p,q)\tilde]{\widetilde{H_p,q}} is the real (2n – 3)-dimensional compact manifold-(projective quadric)- associated with H _p,q , inside the complex projective space P(H _p,q ), diffeomorphic to (S ^2p–1 × S ^2q–1)/S ¹. The properties of [(H_p,q)\tilde]{\widetilde{H_{p,q}}} are studied. [(Q_2p+1,1)\tilde]{\widetilde{Q_{2p+1,1}}} is a 2p-dimensional standard real projective quadric, and [(Q_1,2q+1)\tilde]{\widetilde{Q_{1,2q+1}}} is another standard 2q-dimensional projective quadric. [(Q_2p+1,1)\tilde] è[(Q_1,2q+1)\tilde]{\widetilde{Q_{2p+1,1}} \cup \widetilde{Q_{1,2q+1}}}, union of two compact quadrics plays a part in the understanding of the "special pseudo-unitary conformal compactification" of H _p,q . It is shown how a distribution y → D _y , where y ? H\{0},H{y \in H\backslash\{0\},H} being the isotropic cone of H _p,q allows to [(H_p+1,q+1)\tilde]{\widetilde{H_{p+1,q+1}}} to be considered as a "special pseudo-unitary conformal compactified" of H _p,q × R. The following results precise the presentation given in [1,c].     

Generalized commutators for Marcinkiewicz type integrals with variable kernels

Let A be a function with derivatives of order m and D γ A ∈■β (0 < β < 1, |γ| = m). The authors in the paper prove that if Ω(x, z) ∈ L ∞ (R n ) × L s (S n 1 ) (s ≥ n/(n β)) is homogenous of degree zero and satisfies the mean value zero condition about the variable z, then both the generalized commutator for Marcinkiewicz type integral μ A Ω and its variation μ A Ω are bounded from L p (R n ) to L q (R n ), where 1 < p < n/β and 1/q = 1/p β/n. The authors also consider the boundedness of μ A Ω and its variation μ A Ω on Hardy spaces.     

Characterizations of Hardy-Orlicz and Bergman-Orlicz spaces

Let and τ denote the invariant gradient and invariant measure on the unit ball B of ℂⁿ, respectively. Assume that f is a holomorphic function on B and ϕ ∈ C²(ℝ) is a nonnegative, nondecreasing, convex function. Then f belongs to the Hardy-Orlicz space H _ϕ(B>) if and only if

On the 3-Torsion Part of the Homology of the Chessboard Complex

Let 1 ≤ m ≤ n. We prove various results about the chessboard complex M _m,n , which is the simplicial complex of matchings in the complete bipartite graph K _m,n . First, we demonstrate that there is nonvanishing 3-torsion in [(H)\tilde]_d(\sf M_m,n; \mathbb Z){{\tilde{H}_d({\sf M}_{m,n}; {\mathbb Z})}} whenever \fracm+n-43 ￡ d ￡ m-4{{\frac{m+n-4}{3}\leq d \leq m-4}} and whenever 6 ≤ m < n and d = m − 3. Combining this result with theorems due to Friedman and Hanlon and to Shareshian and Wachs, we characterize all triples (m, n, d ) satisfying [(H)\tilde]_d (\sf M_m,n; \mathbb Z) 1 0{{\tilde{H}_d \left({\sf M}_{m,n}; {\mathbb Z}\right) \neq 0}}. Second, for each k ≥ 0, we show that there is a polynomial f _k (a, b) of degree 3k such that the dimension of [(H)\tilde]_k+a+2b-2 (\sf M_{k+a+3b-1,k+2a+3b-1}; \mathbb Z₃){{\tilde{H}_{k+a+2b-2}}\,\left({{\sf M}_{k+a+3b-1,k+2a+3b-1}}; \mathbb Z_{3}\right)}, viewed as a vector space over \mathbbZ₃{\mathbb{Z}_3}, is at most f _k (a, b) for all a ≥ 0 and b ≥ k + 2. Third, we give a computer-free proof that [(H)\tilde]₂ (\sf M_5,5; \mathbb Z) @ \mathbb Z₃{{\tilde{H}_2 ({\sf M}_{5,5}; \mathbb {Z})\cong \mathbb Z_{3}}}. Several proofs are based on a new long exact sequence relating the homology of a certain subcomplex of M _m,n to the homology of M _m-2,n-1 and M _m-2,n-3.     

Growth of generalized Temperley–Lieb algebras connected with simple graphs

We prove that the generalized Temperley–Lieb algebras associated with simple graphs Γ have linear growth if and only if the graph Γ coincides with one of the extended Dynkin graphs [(A)\tilde]_n {\tilde A_n} , [(D)\tilde]_n {\tilde D_n} , [(E)\tilde]₆ {\tilde E_6} , or [(E)\tilde]₇ {\tilde E_7} . An algebra TL_{G, t} T{L_{\Gamma, \tau }} has exponential growth if and only if the graph Γ coincides with none of the graphs A_n {A_n} , D_n {D_n} , E_n {E_n} , [(A)\tilde]_n {\tilde A_n} , [(D)\tilde]_n {\tilde D_n} , [(E)\tilde]₆ {\tilde E_6} , and [(E)\tilde]₇ {\tilde E_7} .     

Coincidence theorems and its applications to equilibrium problems

Given two maps h : X ×K ? \mathbbR{h : X \times K \rightarrow \mathbb{R}} and g : X → K such that, for all x ? X, h(x, g(x)) = 0{x \in X, h(x, g(x)) = 0} , we consider the equilibrium problem of finding [(x)\tilde] ? X{\tilde{x} \in X} such that h([(x)\tilde], g(x)) 3 0{h(\tilde{x}, g(x)) \geq 0} for every x ? X{x \in X} . This question is related to a coincidence problem.     

Operator-semistable, operator semi-selfdecomposable probability measures and related nested classes on p-adic vector spaces

Let V be a finite dimensional p-adic vector space and let τ be an operator in GL(V). A probability measure μ on V is called τ-decomposable or m ? [(L)\tilde]₀(t)\mu\in {\tilde L}_0(\tau) if μ = τ(μ)* ρ for some probability measure ρ on V. Moreover, when τ is contracting, if ρ is infinitely divisible, so is μ, and if ρ is embeddable, so is μ. These two subclasses of [(L)\tilde]₀(t){\tilde L}_0(\tau) are denoted by L ₀(τ) and L ₀ ^#(τ) respectively. When μ is infinitely divisible τ-decomposable for a contracting τ and has no idempotent factors, then it is τ-semi-selfdecomposable or operator semi-selfdecomposable. In this paper, sequences of decreasing subclasses of the above mentioned three classes, [(L)\tilde]_m(t) é L_m(t) é L^#_m(t), 1 ￡ m ￡ ￥{\tilde L}_m(\tau)\supset L_m(\tau) \supset L^\#_m(\tau), 1\le m\le \infty , are introduced and several properties and characterizations are studied. The results obtained here are p-adic vector space versions of those given for probability measures on Euclidean spaces.