Some consequences of the Lindelöf conjecture

Suppose that the Lindelöf conjecture is valid in the following quantitative form: $$|\zeta (\frac{1}{2} + it)| \leqslant c_0 |t|^{\varepsilon (|t|)} $$ , where ε(t) is a monotone decreasing function, $\varepsilon (2t) \geqslant \tfrac{1}{2}\varepsilon (t),\varepsilon (t) \geqslant \tfrac{1}{{\sqrt {log t} }}$ . Then it is proved that for |t|≥T₀ the disk $\{ s:|s - \tfrac{1}{2} - it| \leqslant v\} $ contains at most 20v log |t| zeros of ζ(s) if $\tfrac{1}{2} \geqslant v \geqslant \sqrt {\varepsilon (t)} $ . There exists an absolute constant A such that for |t|≥T₁ the disk $\{ s:|s - \tfrac{1}{2} - it| \leqslant A\varepsilon ^{\tfrac{1}{3}} (t)\} $ contains at least one zero of ζ(s). Bibliography: 2 titles.     

Sharp weak-type inequalities for Hilbert transform and Riesz projection

The paper is devoted to the study of the weak norms of the classical operators in the vector-valued setting.

1. Let S, H denote the singular integral involution operator and the Hilbert transform on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {\mathcal{S}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p,$$ $$\left\| {\mathcal{H}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p.$$ Both inequalities are sharp.
2. Let P ₊ and P _? stand for the Riesz projection and the co-analytic projection on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {P + f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p ,$$ $$\left\| {P - f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p .$$ Both inequalities are sharp.
3. We establish the sharp versions of the estimates above in the nonperiodic case.

The results are new even if the operators act on complex-valued functions. The proof rests on the construction of an appropriate plurisubharmonic function and probabilistic techniques.     

Phase transitions of iterated Higman-style well-partial-orderings

We elaborate Weiermann-style phase transitions for well-partial-orderings (wpo) determined by iterated finite sequences under Higman-Friedman style embedding with Gordeev’s symmetric gap condition. For every d-times iterated wpo ${\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}\right)}$ in question, d >? 1, we fix a natural extension of Peano Arithmetic, ${T \supseteq \sf{PA}}$ , that proves the corresponding second-order sentence ${\sf{WPO}\left({\rm S}{\textsc{eq}}^{d}, \trianglelefteq _{d}\right) }$ . Having this we consider the following parametrized first-order slow well-partial-ordering sentence ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}, r\right):}$ $$\left( \forall K > 0 \right) \left( \exists M > 0\right) \left( \forall x_{0},\ldots ,x_{M}\in {\rm S}\text{\textsc{eq}}^{d}\right)$$ $$\left( \left( \forall i\leq M\right) \left( \left| x_{i}\right| < K + r \left\lceil \log _{d} \left( i+1\right) \right\rceil \right)\rightarrow \left( \exists i < j \leq M \right) \left(x_{i} \trianglelefteq _{d} x_{j}\right) \right)$$ for a natural additive Seq ^d -norm |·| and r ranging over EFA-provably computable positive reals, where EFA is an abbreviation for IΔ ₀?+?exp. We show that the following basic phase transition clauses hold with respect to ${T = \Pi_{1}^{0}\sf{CA}_{ < \varphi ^{_{\left( d-1\right) }} \left(0\right) }}$ and the threshold point1.

1. If r <? 1 then ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d},r \right) }$ is provable in T.

1. If ${r > 1}$ then ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d},r \right) }$ is not provable in T.

Moreover, by the well-known proof theoretic equivalences we can just as well replace T by PA or ACA ₀ and ${\Delta _{1}^{1}\sf{CA}}$ , if d =? 2 and d =? 3, respectively.In the limit case d → ∞ we replaceEFA-provably computable reals r by EFA-provably computable functions ${f: \mathbb{N} \rightarrow \mathbb{R}_{+}}$ and prove analogous theorems. (In the sequel we denote by ${\mathbb{R}_{+}}$ the set of EFA-provably computable positive reals). In the basic case T?=? PA we strengthen the basic phase transition result by adding the following static threshold clause

1. ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1\right)}$ is still provable in T = PA (actually in EFA).

Furthermore we prove the following dynamic threshold clauses which, loosely speaking are obtained by replacing the static threshold t by slowly growing functions 1 _α given by ${1_{\alpha }\left( i\right)\,{:=}\,1+\frac{1}{H_{\alpha }^{-1}\left(i\right) }, H_{\alpha}}$ being the familiar fast growing Hardy function and ${H_{\alpha }^{-1}\left( i\right)\,{:=}\,\rm min \left\{ j \mid H_{\alpha } \left ( j\right) \geq i \right\}}$ the corresponding slowly growing inversion.

1. If ${\alpha < \varepsilon _{0}}$ , then ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1_{\alpha}\right)}$ is provable in T = PA.

1. ${\sf{SWP}\left( {\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2},1_{\varepsilon _{0}}\right)}$ is not provable in T = PA.

We conjecture that this pattern is characteristic for all ${T\supseteq \sf{PA}}$ under consideration and their proof-theoretical ordinals o (T ), instead of ${\varepsilon _{0}}$ .     

Strong approximation of empirical process with independent but non-identically distributed random variables

Let{Y_t,t=1,2,…} be independent random variables with continuous distribution functionsF_i(y).For any y,dencte s=F_t(y)=1/t sum from i=1 to t F_i(y).The empirical process is defind by t~(-1/2)R(s,t) whereR(s,t)=t(1/t sum from i=1 to t I_((?)_t(Y_i)≤s)-s)=sum from i=1 to t I_(?)-ts=sum from i=1 to t I_(?)-(?)_t(y)=sum from i=1 to t I_(Y_(?)≤y)-sum from i=1 to t F_i(y).The purpose of this paper is to investigate the asymptotic properties of the empirical processR(s,t).We shall prove that for some integer sequence {t_k},there is a (?)-process (?)(s,t) such that(?)|R(s,t_k)-(?)(s,t_k)|=O(t_k~(1/2)(log t_k)~(-1/4)(log log t_k)~(1/2))a.s.where (?)(s,t) is a two-parameter Gaussian process defined in §1.     

Properties of kagi and renko moments for homogeneous diffusion processes

For a homogeneous diffusion process (X _t ) _t?0, we consider problems related to the distribution of the stopping times $\begin{gathered} \gamma _{\max } = \inf \{ t \geqslant 0:\mathop {\sup }\limits_{s \leqslant t} X_s - X_t \geqslant H\} ,\gamma _{\min } = \inf \{ t \geqslant 0:X_t - \mathop {\inf }\limits_{s \leqslant t} X_s \geqslant H\} , \hfill \\ \kappa _0 = \inf \{ t \geqslant 0:\mathop {\sup }\limits_{s \leqslant t} X_s - \mathop {\inf }\limits_{s \leqslant t} X_s \geqslant H\} . \hfill \\ \end{gathered} $ . The results obtained are used to construct an inductive procedure allowing us to find the distribution of the increments of the process X between two adjacent kagi and renko instants of time.     

Trivectors yielding spreads in PG(5, 2)

Given an alternating trilinear form ${T\in {\rm Alt}(\times^{3}V_{6})}$ on V ₆ = V(6, 2) let ${\mathcal{L}_{T}}$ denote the set of those lines ${\langle a, b \rangle}$ in ${{\rm PG}(5,2)=\mathbb{P}V_{6}}$ which are T-singular, satisfying, that is, T(a, b, x) = 0 for all ${x\in {\rm PG}(5, 2).}$ If ${\mathcal{L}_{21}}$ is a Desarguesian line-spread in PG(5, 2) it is shown that ${\mathcal{L}_{T}=\mathcal{L}_{21}}$ for precisely three choices T ₁,T ₂,T ₃ of T, which moreover satisfy T ₁ + T ₂ + T ₃ = 0. For ${T\in\mathcal{T}:=\{T_{1},T_{2},T_{3}\}}$ the ${\mathcal{G}_{T}}$ -orbits of flats in PG(5, 2) are determined, where ${\mathcal{G}_{T}\cong {\rm SL}(3,4).2}$ denotes the stabilizer of T under the action of GL(6, 2). Further, for a representative U of each ${\mathcal{G}_{T}}$ -orbit, the T-associate U ^# is also determined, where by definition $$U^{\#}=\{v\in {\rm PG}(5,2)\, |\, T(u_{1},u_{2},v) = 0\, \,{\rm for\,all }\, \, u_{1},u_{2}\in U\}$$ .     

Randomly weighted sums of dependent subexponential random variables*

We consider the randomly weighted sums $ \sum\nolimits_{k = 1}^n {{\theta_k}{X_k},n \geqslant 1} $ , where $ \left\{ {{X_k},1 \leqslant k \leqslant n} \right\} $ are n real-valued random variables with subexponential distributions, and $ \left\{ {{\theta_k},1 \leqslant k \leqslant n} \right\} $ are other n random variables independent of $ \left\{ {{X_k},1 \leqslant k \leqslant n} \right\} $ and satisfying $ a \leqslant \theta \leqslant b $ for some $ 0 < a \leqslant b < \infty $ and all $ 1 \leqslant k \leqslant n $ . For $ \left\{ {{X_k},1 \leqslant k \leqslant n} \right\} $ satisfying some dependent structures, we prove that $$ {\text{P}}\left( {\mathop {{\max }}\limits_{1 \leqslant m \leqslant n} \sum\limits_{k = 1}^m {{\theta_k}{X_k} > x} } \right)\sim {\text{P}}\left( {\sum\limits_{k = 1}^m {{\theta_k}{X_k} > x} } \right)\sim {\text{P}}\left( {\mathop {{\max }}\limits_{1 \leqslant k \leqslant n} {\theta_k}{X_k} > x} \right)\sim \sum\limits_{k = 1}^m {{\text{P}}\left( {{\theta_k}{X_k} > x} \right)} $$ as x??????.     

A Geometry for the Set of Split Operators

We study the set ${\mathcal{X}}$ of split operators acting in the Hilbert space ${\mathcal{H}}$ : $$\mathcal{X}=\{T\in \mathcal{B}(\mathcal{H}): N(T)\cap R(T)=\{0\} \ {\rm and} \ N(T)+R(T)=\mathcal{H}\}.$$ Inside ${\mathcal{X}}$ , we consider the set ${\mathcal{Y}}$ : $$\mathcal{Y}=\{T\in\mathcal{X}: N(T)\perp R(T)\}.$$ Several characterizations of these sets are given. For instance ${T\in\mathcal{X}}$ if and only if there exists an oblique projection ${Q}$ whose range is N(T) such that T + Q is invertible, if and only if T posseses a commuting (necessarilly unique) pseudo-inverse S (i.e. TS = ST, TST = T and STS = S). Analogous characterizations are given for ${\mathcal{Y}}$ . Two natural maps are considered: $${\bf q}:\mathcal{X} \to \mathbb{Q}:=\{{\rm oblique \ projections \ in} \, \mathcal{H} \}, \ {\bf q}(T)=P_{R(T)//N(T)}$$ and $${\bf p}:\mathcal{Y} \to \mathbb{P}:=\{{\rm orthogonal \ projections \ in} \ \mathcal{H} \}, \ {\bf p}(T)=P_{R(T)}, $$ where ${P_{R(T)//N(T)}}$ denotes the projection onto R(T) with nullspace N(T), and P _R(T) denotes the orthogonal projection onto R(T). These maps are in general non continuous, subsets of continuity are studied. For the map q these are: similarity orbits, and the subsets ${\mathcal{X}_{c_k}\subset \mathcal{X}}$ of operators with rank ${k<\infty}$ , and ${\mathcal{X}_{F_k}\subset\mathcal{X}}$ of Fredholm operators with nullity ${k<\infty}$ . For the map p there are analogous results. We show that the interior of ${\mathcal{X}}$ is ${\mathcal{X}_{F_0}\cup\mathcal{X}_{F_1}}$ , and that ${\mathcal{X}_{c_k}}$ and ${\mathcal{X}_{F_k}}$ are arc-wise connected differentiable manifolds.     

Blowing up of solutions to the Cauchy problem for the generalized Zakharov system with combined power-type nonlinearities

This paper deals with blowing up of solutions to the Cauchy problem for a class of general- ized Zakharov system with combined power-type nonlinearities in two and three space dimensions. On the one hand, for c0 = +∞ we obtain two finite time blow-up results of solutions to the aforementioned system. One is obtained under the condition α≥ 0 and 1 + 4/N ≤ p N +2/N-2 or α 0 and 1 p 1 + 4/N (N = 2, 3); the other is established under the condition N = 3, 1 p N +2/N-2 and α(p-3) ≥ 0. On the other hand, for c0 +∞ and α(p-3) ≥ 0, we prove a blow-up result for solutions with negative energy to the Zakharov system under study.     

Laplacian Spectral Radius and Maximum Degree of Trees with Perfect Matchings

Let μ(T) and Δ(T) denote the Laplacian spectral radius and the maximum degree of a tree T, respectively. Denote by ${\mathcal{T}_{2m}}$ the set of trees with perfect matchings on 2m vertices. In this paper, we show that for any ${T_1, T_2\in\mathcal{T}_{2m}}$ , if Δ(T ₁) > Δ(T ₂) and ${\Delta(T_1)\geq \lceil\frac{m}{2}\rceil+2}$ , then μ(T ₁) > μ(T ₂). By using this result, the first 20th largest trees in ${\mathcal{T}_{2m}}$ according to their Laplacian spectral radius are ordered. We also characterize the tree which alone minimizes (resp., maximizes) the Laplacian spectral radius among all the trees in ${\mathcal{T}_{2m}}$ with an arbitrary fixed maximum degree c (resp., when ${c \geq \lceil\frac{m}{2}\rceil + 1}$ ).     

Lower and upper bounds of Dirichlet eigenvalues for totally characteristic degenerate elliptic operators

Let λkbe the k-th Dirichlet eigenvalue of totally characteristic degenerate elliptic operator-ΔB defined on a stretched cone B0 ■ [0,1) × X with boundary on {x1 = 0}. More precisely,ΔB=(x1αx1)2+ α2x2+ + α2xnis also called the cone Laplacian. In this paper,by using Mellin-Fourier transform,we prove thatλk Cnk2 n for any k 1,where Cn=(nn+2)(2π)2(|B0|Bn)-2n,which gives the lower bounds of the Dirchlet eigenvalues of-ΔB. On the other hand,by using the Rayleigh-Ritz inequality,we deduce the upper bounds ofλk,i.e.,λk+1 1 +4n k2/nλ1. Combining the lower and upper bounds of λk,we can easily obtain the lower bound for the first Dirichlet eigenvalue λ1 Cn(1 +4n)-12n2.     

Positive solutions to m-point boundary value problem of fractional differential equation

In this paper, we study the multiplicity of positive solutions to the following m-point boundary value problem of nonlinear fractional differential equations: Dqu(t) + f(t, u(t)) = 0, 0 < t < 1, u(0) = 0, u(1) =sum (μiDpu(t)|t = ξi ) from i =1 to ∞ m-2, where q ∈R , 1 相似文献   

A commutant realization of Odake’s algebra

The bcβγ-system $ \mathcal{W} $ of rank 3 has an action of the affine vertex algebra $ {V_0}\left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ , and the commutant vertex algebra $ \mathcal{C}=\mathrm{Com}\left( {{V_0}\left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right),\mathcal{W}} \right) $ contains copies of V _?3/2 $ \left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ and Odake’s algebra $ \mathcal{O} $ . Odake’s algebra is an extension of the N = 2 super-conformal algebra with c = 9, and is generated by eight fields which close nonlinearly under operator product expansions. Our main result is that V _?3/2 $ \left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ and $ \mathcal{O} $ form a Howe pair (i.e., a pair of mutual commutants) inside $ \mathcal{C} $ . More generally, any finite-dimensional representation of a Lie algebra $ \mathfrak{g} $ gives rise to a similar Howe pair, and this example corresponds to the adjoint representation of $ \mathfrak{s}{{\mathfrak{l}}_2} $ .     

Commutator of hypersingular integral with rough kernels on Sobolev spaces

In this paper, the authors give the boundedness of the commutator of hypersingular integral T γ from the homogeneous Sobolev space Lpγ (Rn) to the Lebesgue space Lp(Rn) for 1p∞ and 0 γ min{ n/2 , n/p }.     

Full regularity of a free boundary problem with two phases

Let ?? be a bounded domain in ${\mathbb{R}^{n}, n\geq2}$ . We use ${\mathcal{M}_{\Omega}}$ to denote the collection of all pairs of (A, u) such that ${A\subset\Omega}$ is a set of finite perimeter and ${u\in H^{1}\left( \Omega\right)}$ satisfies $$u\left( x\right) =0\quad\text{a.e.}x\in A.$$ We consider the energy functional $$E_{\Omega}\left( A,u\right) =\int\limits_{\Omega}\left\vert\triangledown u\right\vert ^{2}+P_{\Omega}\left( A\right)$$ defined on ${\mathcal{M}_{\Omega}}$ , where P _??(A) denotes the perimeter of A inside ??. Let ${\left( A,u\right)\in\mathcal{M}_{\Omega}}$ be a minimizer with volume constraint. Our main result is that when n????7, u is locally Lipschitz and the free boundary ?A is analytic in ??.     

A Note on Quasi-paranormal Operators

Let T be a bounded linear operator on an infinite dimensional complex Hilbert space. In this paper, we introduce the new class, denoted ${{\mathcal{QP}}}$ , of operators satisfying ${{\|T^{2}x\|^{2}\leq \|T^{3}x\|\|Tx\|}}$ for all ${{x \in \mathcal{H}}}$ . This class includes the classes of paranormal operators and quasi-class A operators. We prove basic structural properties of these operators. Using these results, we also prove that if E is the Riesz idempotent for a nonzero isolated point λ₀ of the spectrum of ${{T \in \mathcal{QP}}}$ , then E is self-adjoint if and only if ${{N(T-\lambda_{0}) \subseteq N(T^{*}-\overline{\lambda}_{0})}}$ .     

Step Refinable Functions and Orthogonal MRA on Vilenkin Groups

We find necessary and sufficient conditions on refinable step function under which this function generates an orthogonal MRA in the $L_{2}(\mathfrak{G})$ -spaces on Vilenkin group $\mathfrak{G}$ . We consider a class of refinable step functions for which the mask m ₀(χ) is constant on cosets $\mathfrak{G}_{-1}^{\bot}\chi$ and its modulus |m ₀(χ)| has two values only: 0 and 1. We prove that any refinable step function φ from this class that generates an orthogonal MRA on Vilenkin group $\mathfrak{G}$ has Fourier transform with condition $\operatorname{supp}\hat{\varphi}(\chi)\subset\mathfrak{G}_{p-2}^{\bot}$ . We show the sharpness of this result, too.     

A decomposition of the universal embedding space for the near polygon {{\mathbb H}_n}

Let ${{\mathbb H}_n, n \geq 1}$ , be the near 2n-gon defined on the 1-factors of the complete graph on 2n?+?2 vertices, and let e denote the absolutely universal embedding of ${{\mathbb H}_n}$ into PG(W), where W is a ${\frac{1}{n+2} \left(\begin{array}{c}2n+2 \\ n+1\end{array}\right)}$ -dimensional vector space over the field ${{\mathbb F}_2}$ with two elements. For every point z of ${{\mathbb H}_n}$ and every ${i \in {\mathbb N}}$ , let Δ _i (z) denote the set of points of ${{\mathbb H}_n}$ at distance i from z. We show that for every pair {x, y} of mutually opposite points of ${{\mathbb H}_n, W}$ can be written as a direct sum ${W_0 \oplus W_1 \oplus \cdots \oplus W_n}$ such that the following four properties hold for every ${i \in \{0,\ldots,n \}}$ : (1) ${\langle e(\Delta_i(x) \cap \Delta_{n-i}(y)) \rangle = {\rm PG}(W_i)}$ ; (2) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(x) \right) \right\rangle = {\rm PG}(W_0 \oplus W_1 \oplus \cdots \oplus W_i)}$ ; (3) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(y) \right) \right\rangle = {\rm PG}(W_{n-i}\oplus W_{n-i+1} \oplus \cdots \oplus W_n)}$ ; (4) ${\dim(W_i) = |\Delta_i(x) \cap \Delta_{n-i}(y)| = \left(\begin{array}{c}n \\ i\end{array}\right)^2 - \left(\begin{array}{c}n \\ i-1\end{array}\right) \cdot \left(\begin{array}{c}n \\ i+1\end{array}\right)}$ .     

Uniqueness properties of degenerate elliptic operators

Let ?? be an open subset of R ^d and ${ K=-\sum^d_{i,j=1}\partial_i\,c_{ij}\,\partial_j+\sum^d_{i=1}c_i\partial_i+c_0}$ a second-order partial differential operator with real-valued coefficients ${c_{ij}=c_{ji}\in W^{1,\infty}_{\rm loc}(\Omega),c_i,c_0\in L_{\infty,{\rm loc}}(\Omega)}$ satisfying the strict ellipticity condition ${C=(c_{ij}) >0 }$ . Further let ${H=-\sum^d_{i,j=1} \partial_i\,c_{ij}\,\partial_j}$ denote the principal part of K. Assuming an accretivity condition ${C\geq \kappa (c\otimes c^{\,T})}$ with ${\kappa >0 }$ , an invariance condition ${(1\!\!1_\Omega, K\varphi)=0}$ and a growth condition which allows ${\|C(x)\|\sim |x|^2\log |x|}$ as |x| ?? ?? we prove that K is L ₁-unique if and only if H is L ₁-unique or Markov unique.