THE ASYMPTOTIC BEHAVIOUR OF ANALYTIC FUNCTIONS

AIn this paper, the author obtains the following results:(1) If Taylor coeffiients of a function satisfy the conditions:(i),(ii),(iii)A_k=O(1/k) the for any h>0 the function φ(z)=exp{w(z)} satisfies the asymptotic equality the case h>1/2 was proved by Milin.(2) If f(z)=z α_2z~2 …∈S~* and,then for λ>1/2     

Projektive Skalen,Tschebyscheff-Polynome und Fibonacci-Zahlen

Summary. Let $\widehat{\widehat T}_n$ and $\overline U_n$ denote the modified Chebyshev polynomials defined by $\widehat{\widehat T}_n (x) = {T_{2n + 1} \left(\sqrt{x + 3 \over 4} \right) \over \sqrt{x + 3 \over 4}}, \quad \overline U_{n}(x) = U_{n} \left({x + 1 \over 2}\right) \qquad (n \in \mathbb{N}_{0},\ x \in \mathbb{R}).$ For all $n \in \mathbb{N}_{0}$ define $\widehat{\widehat T}_{-(n + 1)} = \widehat{\widehat T}_n$ and $\overline U_{-(n + 2)} = - \overline U_n$, furthermore $\overline U_{-1} = 0$. In this paper, summation formulae for sums of type $\sum\limits^{+\infty}_{k = -\infty} \mathbf a_{\mathbf k}(\nu; x)$ are given, where $\bigl(\mathbf a_{\mathbf k}(\nu; x)\bigr)^{-1} = (-1)^k \cdot \Bigl( x \cdot \widehat{\widehat T}_{\left[k + 1 \over 2\right] - 1} (\nu) +\widehat{\widehat T}_{\left[k + 1 \over 2\right]}(\nu)\Bigr) \cdot \Bigl(x \cdot \overline U_{\left[k \over 2\right] - 1} (\nu) + \overline U_{\left[k \over 2\right]} (\nu)\Bigr)$ with real constants $ x, \nu $. The above sums will turn out to be telescope sums. They appear in connection with projective geometry. The directed euclidean measures of the line segments of a projective scale form a sequence of type $(\mathbf a_{\mathbf k} (\nu;x))_{k \in \mathbb{Z}}$ where $ \nu $ is the cross-ratio of the scale, and x is the ratio of two consecutive line segments once chosen. In case of hyperbolic $(\nu \in \mathbb{R} \setminus] - 3,1[)$ and parabolic $\nu = -3$ scales, the formula $\sum\limits^{+\infty}_{k = -\infty} \mathbf a_{\mathbf k} (\nu; x) = {\frac{1}{x - q_{{+}\atop(-)}}} - {\frac{1}{x - q_{{-}\atop(+)}}} \eqno (1)$ holds for $\nu > 1$ (resp. $\nu \leq - 3$), unless the scale is geometric, that is unless $x = q_+$ or $x = q_-$. By $q_{\pm} = {-(\nu + 1) \pm \sqrt{(\nu - 1)(\nu + 3)} \over 2}$ we denote the quotient of the associated geometric sequence.

     

与$\zeta(2k 1)$函数有关的两类快速收敛级数

Values of new series sum（（（2n-1）!ζ（2n））/（2n ＋ 2k）!）α2n from n=1 to ∞,sum（（（2n-1）!ζ（2n））/（2n＋2k ＋1）!）β2n from n=1 to ∞ are given concerning ζ（2k ＋ 1）,where k is a positive integer,α can be taken as 1,1/2,1/3,2/3,1/4,3/4,1/6,5/6 and β can be taken as 1,1/2.Some previous results are included as special cases in the present paper and new series converges more rapidly than those exsiting results for α = 1/3,or α = 1/4,or α = 1/6.     

Inequalities for combinatorial sums

For \(k,l\in \mathbf {N}\), let

$$\begin{aligned}&P_{k,l}=\Bigl (\frac{l}{k+l}\Bigr )^{k+l} \sum _{\nu =0}^{k-1} {k+l\atopwithdelims ()\nu } \Bigl (\frac{k}{l}\Bigr )^{\nu }\\&\quad \text{ and }\quad Q_{k,l}=\Bigl (\frac{l}{k+l}\Bigr )^{k+l} \sum _{\nu =0}^{k} {k+l\atopwithdelims ()\nu } \Bigl (\frac{k}{l}\Bigr )^{\nu }. \end{aligned}$$

We prove that the inequality

$$\begin{aligned} \frac{1}{4}\le P_{k,l} \end{aligned}$$

is valid for all natural numbers k and l. The sign of equality holds if and only if \(k=l=1\). This complements a result of Vietoris, who showed that

$$\begin{aligned} P_{k,l}<\frac{1}{2} \quad {(k,l\in \mathbf {N})}. \end{aligned}$$

An immediate corollary is that

$$\begin{aligned} \frac{1}{4}\le P_{k,l}<\frac{1}{2} <Q_{k,l}\le \frac{3}{4} \quad {(k,l\in \mathbf {N})}. \end{aligned}$$

The constant bounds are sharp.

     

Hardy-Sobolev类上的Bohr型不等式

Let β 〉 0 and Sβ ：= {z ∈ C ： ｜Imz｜ 〈β} be a strip in the complex plane. For an integer r ≥ 0, let H∞^Г,β denote those real-valued functions f on R, which are analytic in Sβ and satisfy the restriction ｜f^（r）（z）｜ ≤ 1, z ∈ Sβ. For σ 〉 0, denote by Bσ the class of functions f which have spectra in （-2πσ, 2πσ）. And let Bσ^⊥ be the class of functions f which have no spectrum in （-2πσ, 2πσ）. We prove an inequality of Bohr type
‖f‖∞≤π/√λ∧σ^r∑k=0^∞（-1）^k（r＋1）/（2k＋1）^rsinh（（2k＋1）2σβ）,f∈H∞^r,β∩B1/σ,
where λ∈（0,1）,∧and ∧′are the complete elliptic integrals of the first kind for the moduli λ and λ′=√1- λ^2,respectively,and λ satisfies
4∧β/π∧′=1/σ.
The constant in the above inequality is exact.     

On Growth of Polynomials with Restricted Zeros

Let P(z) be a polynomial of degree n which does not vanish in |z| k, k ≥ 1.It is known that for each 0 ≤ s n and 1 ≤ R ≤ k,M (P~(s), R )≤( 1/(R~s+ k~s))[{d~((s)/dx(s))(1+x~n)}_(x=1)]((R+k)/(1+k))~nM(P,1).In this paper, we obtain certain extensions and refinements of this inequality by involving binomial coefficients and some of the coefficients of the polynomial P(z).     

On the evaluation of Tornheim sums and allied double sums

The object of study in this paper is some Tornheim type sums \(\sum_{n=1}^{\infty}\sum_{m=1}^{\infty} \frac{1}{n^{r}m^{s}(n+m)^{t}}\) which are close relatives of the so-called Euler sums \(\sum_{n=1}^{\infty}\frac{1}{n^{s}}\sum_{m=1}^{\infty}\frac{1}{m^{t}}\). Closed form evaluations of several such double sums are obtained using elementary summation techniques earlier developed by the same author.     

对流扩散方程的解

关注如下的对流扩散方程 $$ u_{t}=\text{div}(|\nabla u^{m}|^{p-2}\nabla u^{m})+\sum_{i=1}^{N}\frac{\partial b_{i}(u^{m})}{\partial x_{i}} $$ 的初边值问题. 若 $p>1+\frac{1}{m}$, 通过考虑正则化问题的解 $u_{k}$, 利用 Moser 迭代技巧, 得到了$u_{k}$ 的 $L^{\infty}$ 模与 梯度 $\nabla u_{k}$ 的 $L^{p}$ 模的局部有界性. 利用紧致性定理, 得到了对流扩散方程本身解的存在性. 若 $p<1+\frac{1}{m},\ p>2$ 或者 $p=1+\frac{1}{m}$, 利用类似的方法可以得到解的存在性. 证明了解的唯一性, 同时讨论了正性和熄灭性等解的性质.     

参数函数$\epsilon$取边际值时的$GCF_\epsilon$集

Let ∈ :N → R be a parameter function satisfying the condition ∈(k) + k + 1 > 0and let T∈ :(0,1] →(0,1] be a transformation defined by T∈(x) =-1 +(k + 1)x1 + k-k∈x for x ∈(1k + 1,1k].Under the algorithm T∈,every x ∈(0,1] is attached an expansion,called generalized continued fraction(GCF∈) expansion with parameters by Schweiger.Define the sequence {kn(x)}n≥1of the partial quotients of x by k1(x) = ∈1/x∈ and kn(x) = k1(Tn-1∈(x)) for every n ≥ 2.Under the restriction-k-1 < ∈(k) <-k,define the set of non-recurring GCF∈expansions as F∈= {x ∈(0,1] :kn+1(x) > kn(x) for infinitely many n}.It has been proved by Schweiger that F∈has Lebesgue measure 0.In the present paper,we strengthen this result by showing that{dim H F∈≥12,when ∈(k) =-k-1 + ρ for a constant 0 < ρ < 1;1s+2≤ dimHF∈≤1s,when ∈(k) =-k-1 +1ksfor any s ≥ 1where dim H denotes the Hausdorff dimension.     

Approximation of Sondow’s generalized-Euler-constant function on the interval [−1, 1]

Using the Euler-Maclaurin (Boole/Hermite) summation formula, the generalized-Euler-Sondow-constant function γ(z),

$ \gamma(z):=\sum_{k=1}^{\infty}z^{k-1}\left(\frac{1}{k}-\ln\frac{k+1}{k}\right) \qquad (-1\le z\le 1),$

where \({\gamma(-1)=\ln\frac{4}{\pi}}\) and γ(1) is the Euler-Mascheroni constant, is estimated accurately.

     

THROREMS OF DISTORTION FOR SCHLICHT FUNCTIONS

Let \[f(z) = z + \sum\limits_{n = 1}^\infty {{a_n}{z^n} \in S} {\kern 1pt} {\kern 1pt} {\kern 1pt} and{\kern 1pt} {\kern 1pt} {\kern 1pt} \log \frac{{f(z) - f(\xi )}}{{z - \xi }} - \frac{{z\xi }}{{f(z)f(\xi )}} = \sum\limits_{m,n = 1}^\infty {{d_{m,n}}{z^m}{\xi ^n},} \], we denote \[{f_v} = f({z_v})\] , \[\begin{array}{l} {\varphi _\varepsilon }({z_u}{z_v}) = {\left| {\frac{{{f_u} - {f_v}}}{{{z_u} - {z_v}}}} \right|^\varepsilon }\frac{1}{{(1 - {z_u}{{\bar z}_v})}},\g_m^\varepsilon (z) = - {F_m}(\frac{1}{{f(z)}}) + \frac{1}{{{z^m}}} + \varepsilon {{\bar z}^m}, \end{array}\], where \({F_m}(t)\) is a Faber polynomial of degree m. Theorem 1. If \[f(z) \in S{\kern 1pt} {\kern 1pt} {\kern 1pt} and{\kern 1pt} {\kern 1pt} {\kern 1pt} \sum\limits_{u,v = 1}^N {{A_{u,v}}{x_u}{{\bar x}_v} \ge 0} \] and then \[\begin{array}{l} \sum\limits_{u,v = 1}^N {{A_{u,v}}{\lambda _u}{{\bar \lambda }_v}} {\left| {\frac{{{f_u} - {f_v}}}{{{z_u} - {z_v}}}} \right|^\varepsilon }\exp \{ \alpha {F_l}({z_u},{z_v})\} \ \le \sum\limits_{u,v = 1}^N {{A_{u,v}}{\lambda _u}{{\bar \lambda }_v}} \varphi _\varepsilon ^\alpha ({z_u}{z_v})l = 1,2,3, \end{array}\], where \[\begin{array}{l} {F_1}({z_u},{z_v}) = \frac{1}{2}\sum\limits_{n = 1}^\infty {\frac{1}{n}} g_n^\varepsilon ({z_u})\bar g_n^\varepsilon ({z_v}),\{F_2}({z_u},{z_v}) = \frac{1}{{1 + {\varepsilon _n}R{d_{n,n}}}}Rg_n^\varepsilon ({z_u})Rg_n^\varepsilon ({z_v}),\{F_3}({z_u},{z_v}) = \frac{1}{{1 - {\varepsilon _n}R{d_{n,n}}}}Rg_n^\varepsilon ({z_u})Rg_n^\varepsilon ({z_v}). \end{array}\] The \[F({z_u},{z_v}) = \frac{1}{2}{g_1}({z_u}){{\bar g}_2}({z_v})\] is due to Kungsun. Theorem 2. If \(f(z) \in S\) ,then \[P(z) + \left| {\sum\limits_{u,v = 1}^N {{A_{u,v}}{\lambda _u}{{\bar \lambda }_v}} {{\left| {\frac{{{f_u} - {f_v}}}{{{z_u} - {z_v}}}\frac{{{z_u}{z_v}}}{{{f_u}{f_v}}}} \right|}^\varepsilon }} \right| \le \sum\limits_{u,v = 1}^N {{\lambda _u}{{\bar \lambda }_v}} \frac{1}{{1 - {z_u}{{\bar z}_v}}}\], where \[\begin{array}{l} P(z) = \frac{1}{2}\sum\limits_{n = 1}^\infty {\frac{1}{n}} {G_n}(z),\{G_n}(z) = {\left| {\left| {\sum\limits_{n = 1}^N {{\beta _u}({F_n}(\frac{1}{{f({z_u})}}) - \frac{1}{{z_u^n}})} } \right| - \left| {\sum\limits_{n = 1}^N {{\beta _u}z_u^n} } \right|} \right|^2}, \end{array}\], \(P(z) \equiv 0\) is due to Xia Daoxing.     

Positive Gegenbauer Polynomial Sums and Applications to Starlike Functions

Let $s_n(f,z):=\sum_{k=0}^{n}a_kz^k$ be the $n$th partial sum of $f(z)=\sum_{k=0}^{\infty{}}a_kz^k$. We show that $\RE s_n(f/z,z)>0$ holds for all $z\in\D,\ n\in\N$, and all starlike functions $f$ of order $\lambda$ iff $\lambda_0\leq\lambda<1$ where $\lambda_0=0.654222...$ is the unique solution $\lambda\in(\frac{1}{2},1)$ of the equation $\int_{0}^{3\pi/2}t^{1-2\lambda}\cos t \,dt=0$. Here $\D$ denotes the unit disk in the complex plane $\C$. This result is the best possible with respect to $\lambda_0$. In particular, it shows that for the Gegenbauer polynomials $C_{n}^{\mu}(x)$ we have $\sum_{k=0}^n C_{k}^{\mu}(x)\cos k \theta>0$ for all $n\in\N,\ x\in[-1,1]$, and $0<\mu\leq\mu_0:=1-\lambda_0=0.345778...$. This result complements an inequality of Brown, Wang, and Wilson (1993) and extends a result of Ruscheweyh and Salinas (2000).     

Fractional sums and Euler-like identities

We introduce a natural definition for sums of the form

$\sum_{\nu=1}^xf(\nu)$

when the number of terms x is a rather arbitrary real or even complex number. The resulting theory includes the known interpolation of the factorial by the Γ function or Euler’s little-known formula \(\sum_{\nu=1}^{-1/2}\frac{1}{\nu}=-2\ln 2\).

Many classical identities like the geometric series and the binomial theorem nicely extend to this more general setting. Sums with a fractional number of terms are closely related to special functions, in particular the Riemann and Hurwitz ζ functions. A number of results about fractional sums can be interpreted as classical infinite sums or products or as limits, including identities like

$\begin{array}{l}\displaystyle\lim_{n\to\infty}\Biggl[e^{\frac{n}{4}(4n+1)}n^{-\frac{1}{8}-n(n+1)}(2\pi)^{-\frac{n}{2}}\prod_{k=1}^{2n}\Gamma\biggl(1+\frac{k}{2}\biggr)^{k(-1)^k}\Biggr]\\[12pt]\quad =\displaystyle\sqrt[12]{2}\exp\biggl(\frac{5}{24}-\frac{3}{2}\zeta'(-1)-\frac{7\zeta(3)}{16\pi^2}\biggr),\end{array}$

some of which seem to be new; and even for those which are known, our approach provides a new method to derive these identities and many others.

     

某类$q$差分方程亚纯解的性质

对于一个有穷非零复数$q$, 若下列$q$差分方程存在一个非常数亚纯解$f$, $$f(qz)f(\frac{z}{q})=R(z,f(z))=\frac{P(z,f(z))}{Q(z,f(z))}=\frac{\sum_{j=0}^{\tilde{p}}a_j(z)f^{j}(z)}{\sum_{k=0}^{\tilde{q}}b_k(z)f^{k}(z)},\eqno(\dag)$$ 其中 $\tilde{p}$和$\tilde{q}$是非负整数, $a_j$ ($0\leq j\leq \tilde{p}$)和$b_k$ ($0\leq k\leq \tilde{q}$)是关于$z$的多项式满足$a_{\tilde{p}}\not\equiv 0$和$b_{\tilde{q}}\not\equiv 0$使得$P(z,f(z))$和$Q(z,f(z))$是关于$f(z)$互素的多项式, 且$m=\tilde{p}-\tilde{q}\geq 3$. 则在$|q|=1$时得到方程$(\dag)$不存在亚纯解, 在$m\geq 3$和$|q|\neq 1$时得到方程$(\dag)$解$f$的下级的下界估计.     

UNUNIQUENESS OF SOME HOLOMORPHIC FUNCTIONS

In the present paper, we show that there exist a bounded, holomorphic function $\[f(z) \ne 0\]$ in the domain $\[\{ z = x + iy:\left| y \right| < \alpha \} \]$ such that $\[f(z)\]$ has a Dirichlet expansion $\[\sum\limits_{n = 0}^{ + \infty } {{d_n}{e^{ - {u_n}}}} \]$ in the halfplane $\[x > {x_f}\]$ if and only if $\[\frac{a}{\pi }\log r - \sum\limits_{{u_n} < r} {\frac{2}{{{u_n}}}} \]$ has a finite upperbound on $\[[1, + \infty )\]$, where $\[\alpha \]$ is a positive constant,$\[{x_f}( < + \infty )\]$ is the abscissa of convergence of $\[\sum\limits_{n = 0}^{ + \infty } {{d_n}{e^{ - {u_n}}}} \]$ and the infinite sequence $\[\{ {u_n}\} \]$ satisfies $\[\mathop {\lim }\limits_{n \to + \infty } ({u_{n + 1}} - {u_n}) > 0\]$. We also point out some necessary conditions and sufficient ones Such that a bounded holomorphic function in an angular(or half-band) domain is identically zero if an infinite sequence of its derivatives and itself vanish at some point of the domain. Here some result are generalizations of those in [4].     

一类对称函数的Schur凸性及其应用

对x=(x_1,…,x_n)∈[0,1)~n∪(1,+∞o)~n,定义对称函数■其中r∈N,i_1,i_2,…,i_n为非负整数.研究了F_n(x,r)的Schur凸性、Schur乘性凸性和Schur调和凸性.作为应用,用控制理论建立了一些不等式,特别地,给出了高维空间的一些新的几何不等式.     

线性过程关于大数律的精确渐近性

该文主要讨论的是滑线性过程 $X_k=\sum\limits_{i=-\infty}^\infty a_{i+k}\varepsilon_i$,其中 $\{\varepsilon_i; -\infty$\varphi$ -混合或负相伴随机变量序列,$\{a_i;-\inftyp$, 若 $E|\varepsilon_1|^r<\infty$$\lim_{\epsilon\searrow 0}\epsilon^{2(r-p)/(2-p)}\sum\limits_{n=1}^\infty n^{r/p-2}P\{|S_n|\geq \epsilonn^{1/p}\}=\frac{p}{r-p}E|Z|^{2(r-p)/(2-p)},$ 其中 $Z$ 是服从均值为零,方差为 $\tau^2=\sigma^2\cdot(\sum\limits_{i=-\infty}^\infty a_i)^2$的正态分布.     

Polynomiality of some hook-length statistics

We prove a conjecture of Okada giving an exact formula for a certain statistic for hook-lengths of partitions:

$\frac{1}{n!} \sum_{\lambda \vdash n} f_{\lambda}^2 \sum_{u \in \lambda} \prod_{i=1}^{r}\bigl(h_u^2 - i^2\bigr) = \frac{1}{2(r+1)^2} \binom{2r}{r}\binom{2r+2}{ r+1} \prod_{j=0}^{r} (n-j),$

where f _λ is the number of standard Young tableaux of shape λ and h _u is the hook length of the square u of the Young diagram of λ. We also obtain other similar formulas.

     

Estimates for the coefficients of univalent functions in terms of the second coefficient

For the coefficients b_n of an odd function \(f(z) = z + \sum\nolimits_{k = 1}^\infty {{}^bk^{z^{2k + 1} } } \) , regular in the unit disk, we obtain the estimate $$|b_n | \leqslant \frac{1}{{\sqrt 2 }}\sqrt {1 + |b_1 |^2 } \exp \frac{1}{2}\left( {\delta + \frac{1}{2}|b_1 |^2 } \right),where \delta = 0.312,$$ (1) from which it follows that ¦b_n¦≤1, if ¦b₁¦≤0.524. It follows from (1) that the coefficients c_n, n = 3, 4,..., of a regular function \(f(2) = z + \sum\nolimits_{k = 2}^\infty {{}^ck^{z^k } } \) , univalent in the unit desk, satisfy $$|c_n | \leqslant \frac{1}{2}\left( {1 + \frac{{|c_2 |^2 }}{4}} \right)n\exp \left( {\delta + \frac{{|c_2 |^2 }}{8}} \right),where \delta = 0.312,$$ in particular, ¦c_n¦≤n, if ¦c₂¦≤1.046.     

On sums of binomial coefficients involving Catalan and Delannoy numbers modulo $$p^2$$

In this paper, we prove some congruences conjectured by Z.-W. Sun: For any prime \(p>3\), we determine

$$\begin{aligned} \sum \limits _{k = 0}^{p - 1} {\frac{{{C_k}C_k^{(2)}}}{{{{27}^k}}}} \quad {\text { and }}\quad \sum \limits _{k = 1}^{p - 1} {\frac{{\left( {\begin{array}{l} {2k} \\ {k - 1} \\ \end{array}} \right) \left( { \begin{array}{l} {3k} \\ {k - 1} \\ \end{array} } \right) }}{{{{27}^k}}}} \end{aligned}$$

modulo \(p^2\), where \(C_k=\frac{1}{k+1}\left( {\begin{array}{c}2k\\ k\end{array}}\right) \) is the k-th Catalan number and \(C_k^{(2)}=\frac{1}{2k+1}\left( {\begin{array}{c}3k\\ k\end{array}}\right) \) is the second-order Catalan numbers of the first kind. And we prove that

$$\begin{aligned} \sum _{k=1}^{p-1}\frac{D_k}{k}\equiv -q_p(2)+pq_p(2)^2\pmod {p^2}, \end{aligned}$$

where \(D_n=\sum _{k=0}^{n}\left( {\begin{array}{c}n\\ k\end{array}}\right) \left( {\begin{array}{c}n+k\\ k\end{array}}\right) \) is the n-th Delannoy number and \(q_p(2)=(2^{{p-1}}-1)/p\) is the Fermat quotient.