Section IV.5

Functional Series

[21/100%]
Show
LaTeX
Problem IV.5.1

For which p,q>0p, q>0 and x,y∈Rx, y \in \mathbb {R} does the series

∑∣cos⁡xnp+sin⁡yn2p∣nq? \sum \left|\cos \frac{x}{n^{p}}+\sin \frac{y}{n^{2 p}}\right|^{n^{q}} ?

converge

?
Problem IV.5.2

Let λn→0\lambda_{n} \rightarrow 0. Does the series ∑λne−∣x−n∣\sum \lambda_{n} e^{-\left|x-n\right|} converge uniformly on R\mathbb {R}? Estimate sup⁡x∣∑λne−∣x−n∣∣\sup_{x}\left|\sum \lambda_{n} e^{-\left|x-n\right|}\right| under the condition that ∣λn∣⩽1\left|\lambda_{n}\right| \leqslant 1 for every n∈Nn \in \mathbb {N}.

?
Problem IV.5.3

Does the series

S(x)=∑xn(1+x)(1+x2)…(1+xn) S(x)=\sum \frac{x^{n}}{(1+x)\left(1+x^{2}\right) \ldots \left(1+x^{n}\right)}

converge uniformly on [0,+∞)[0,+\infty )? Estimate sup⁡x⩾0S(x)\sup_{x \geqslant 0} S(x).

?
Problem IV.5.4

Does the series ∑min⁡(xn!,1xn!)\sum \min \left(x n!, \frac{1}{x n!}\right) converge uniformly on (0,+∞)(0,+\infty )? Give a uniform estimate of its sum for x>0x>0.

?
Problem IV.5.5

For which p>0p>0 does the series ∑1npmin⁡(npxn,1npxn)\sum \frac{1}{n^{p}} \min \left(n^{p} x^{n}, \frac{1}{n^{p} x^{n}}\right) converge uniformly on (0,+∞)(0,+\infty )?

?
Problem IV.5.6

Let an>0a_{n}>0 for n∈Nn \in \mathbb {N}. Prove that the series ∑xn(1+xnan)n\sum \frac{x^{n}}{\left(1+x^{n a_{n}}\right)^{n}}

?
(a)

converges uniformly on [0,1]\left[0,1\right] if sup⁡an⩽1\sup a_{n} \leqslant 1;

(b)

does not converge uniformly on [0,1]\left[0,1\right] if lim⁡an‾>1\underline{\lim a_{n}}>1.

Problem IV.5.7

Let an∈R,bn>0,an=O(bn),∑bn=+∞a_{n} \in \mathbb {R}, b_{n}>0, a_{n}=O\left(b_{n}\right), \sum b_{n}=+\infty and let the series B(t)=∑n⩾0bntnB(t)=\sum_{n \geqslant 0} b_{n} t^{n} converge for ∣t∣<1\left|t\right|<1. Prove that the series A(t)=∑n⩾0antnA(t)=\sum_{n \geqslant 0} a_{n} t^{n} converges for ∣t∣<1\left|t\right|<1 and

lim‾⁡anbn⩽lim‾⁡t→1−0A(t)B(t)⩽lim‾⁡t→1−0A(t)B(t)⩽lim‾⁡anbn \varliminf \frac{a_{n}}{b_{n}} \leqslant \varliminf _{t \rightarrow 1-0} \frac{A(t)}{B(t)} \leqslant \varlimsup _{t \rightarrow 1-0} \frac{A(t)}{B(t)} \leqslant \varlimsup \frac{a_{n}}{b_{n}}

(compare with problem II.2.2). In particular, if an∼cbn,c≠0a_{n} \sim c b_{n}, c \neq 0, then A(t)∼cB(t)A(t) \sim c B(t) as t→1−0t \rightarrow 1-0; if an=o(bn)a_{n}=o\left(b_{n}\right), then A(t)=o(B(t))A(t)=o(B(t)) as t→1−0t \rightarrow 1-0.

?
Problem IV.5.8

Prove that if the series ∑n⩾0an\sum_{n \geqslant 0} a_{n} converges, then

∑n⩾0antn→∑n⩾0an as t→1−0 \sum _{n \geqslant 0} a_{n} t^{n} \rightarrow \sum _{n \geqslant 0} a_{n} \quad \text{ as } \quad t \rightarrow 1-0

(Abel's theorem).

?
Problem IV.5.9

If the partial sums SnS_{n} of the series ∑n⩾0an\sum_{n \geqslant 0} a_{n} are such that the finite limit lim⁡1n(S1+…+Sn)=l\lim \frac{1}{n}\left(S_{1}+\ldots +S_{n}\right)=l exists, then the series A(t)=∑n⩾0antnA(t)=\sum_{n \geqslant 0} a_{n} t^{n} converges for ∣t∣<1\left|t\right|<1 and A(t)⟶t→1−0lA(t) \underset {t \rightarrow 1-0}{\longrightarrow } l (Frobenius's theorem).

Thus Abel's method of summing series (computing the limit lim⁡t→1−0∑n⩾0antn\lim_{t \rightarrow 1-0} \sum_{n \geqslant 0} a_{n} t^{n}) is stronger than the method of arithmetic means (Cesàro's method).

?
Problem IV.5.10

Let bn⩾0,∑bn=+∞b_{n} \geqslant 0, \sum b_{n}=+\infty and let the series B(t)=∑n⩾0bntnB(t)=\sum_{n \geqslant 0} b_{n} t^{n} converge for ∣t∣<1\left|t\right|<1. If the sequence {an}n⩾0\left\{ a_{n}\right\}_{n \geqslant 0} is such that the finite limit

lim⁡a0+…+anb0+…+bn=l, \lim \frac{a_{0}+\ldots +a_{n}}{b_{0}+\ldots +b_{n}}=l,

exists, then the series A(t)=∑n⩾0antnA(t)=\sum_{n \geqslant 0} a_{n} t^{n} converges for ∣t∣<1\left|t\right|<1 and A(t)B(t)→t→1−0l\frac{A(t)}{B(t)} \xrightarrow [t \rightarrow 1-0]{ } l.

?
Problem IV.5.11

Let the sequence {an}\left\{ a_{n}\right\} be such that an>−1a_{n}>-1 for n∈Nn \in \mathbb {N} and Π(1+an)=A∈(0,+∞)\Pi \left(1+a_{n}\right)=A \in (0,+\infty ). Prove that for ∣t∣<1\left|t\right|<1 the product A(t)=∏(1+antn)A(t)=\prod \left(1+a_{n} t^{n}\right) converges and, if ∑an2<+∞\sum a_{n}^{2}<+\infty, then A(t)→AA(t) \rightarrow A as t→1−0t \rightarrow 1-0.

Can the condition ∑an2<+∞\sum a_{n}^{2}<+\infty be dropped?

?
Problem IV.5.12

Let an∈Ra_{n} \in \mathbb {R} for n∈Nn \in \mathbb {N} and let the product P(t)=∏(1+tan)P(t)=\prod \left(1+t a_{n}\right) converge for at least two nonzero real values of tt. Prove that the series ∑an\sum a_{n} and ∑an2\sum a_{n}^{2} converge.

?
Problem IV.5.13

Let {vk}\left\{ v_{k}\right\} be a strictly increasing sequence of positive numbers, {ck}k⩾0⊂R\left\{ c_{k}\right\}_{k \geqslant 0} \subset \mathbb {R}. Consider the generalized power series c0+c1tν1+c2tν2+…c_{0}+c_{1} t^{\nu_{1}}+c_{2} t^{\nu_{2}}+\ldots for t⩾0t \geqslant 0. Prove that

?
(a)

there exists a number R∈[0,+∞]R \in [0,+\infty ] (the ``radius of convergence'') such that the series converges for t<Rt<R and diverges for t>Rt>R;

(b)

if R>0R>0, then the sum of the series SS is continuous at zero and infinitely differentiable on (0,R)(0, R);

(c)

the number of roots of the function SS on (0,R)(0, R) (not counting multiplicity) does not exceed the number of sign changes of the sequence ∗){ck}k⩾0{ }^{*)}\left\{ c_{k}\right\}_{k \geqslant 0} (Descartes' rule).

Remark.
?

*) In the case where ck≠0c_{k} \neq 0 for all kk, this is the number of those kk for which ckck+1<0c_{k} c_{k+1}<0.

Problem IV.5.14

Let f(x)=∑an∣sin⁡nx∣f(x)=\sum a_{n}\left|\sin n x\right|, where an⩾0a_{n} \geqslant 0 and ∑an<+∞\sum a_{n}<+\infty. Prove that f∈Lip⁡1f \in \operatorname {Lip}_{1} if and only if ∑nan<+∞\sum n a_{n}<+\infty.

?
Problem IV.5.15

Let α,x∈R\alpha , x \in \mathbb {R}. Prove that

?
(a)

the series ∑n−αsin⁡(πxn)\sum n^{-\alpha } \sin (\pi x \sqrt{n}) converges for α>12\alpha >\frac{1}{2} for any x∈Rx \in \mathbb {R}, while if α⩽12\alpha \leqslant \frac{1}{2} and x≠0x \neq 0, then it diverges;

(b)

for x≠0x \neq 0 this series converges absolutely only in the case α>1\alpha >1;

(c)

for 12<α⩽1\frac{1}{2}<\alpha \leqslant 1 the convergence is uniform on any interval [a,A],0<a<A\left[a, A\right], 0<a<A, but is not uniform on [0,A]\left[0, A\right].

Problem IV.5.16

Let the series ∑an\sum a_{n} converge and ∑ancos⁡xn→L∈R\sum a_{n} \cos \frac{x}{n} \rightarrow L \in \mathbb {R} as x→+∞x \rightarrow +\infty. Prove that an=0a_{n}=0 for all n∈Nn \in \mathbb {N}.

?
Problem IV.5.17

Do the series ∑1nsin⁡xn\sum \frac{1}{n} \sin \frac{x}{n} and ∑1nsin⁡xn2000\sum \frac{1}{n} \sin \frac{x}{n^{2000}} converge uniformly on [0,+∞)[0,+\infty )?

?
Problem IV.5.18

Let cn⩾0c_{n} \geqslant 0 for all n∈Nn \in \mathbb {N}. Prove that uniform convergence of the series ∑cnsin⁡2πx4n\sum c_{n} \sin \frac{2 \pi x}{4^{n}} on [0,+∞)[0,+\infty ) implies convergence of the series ∑cn\sum c_{n}.

?
Problem IV.5.19

Let f(x)=∑1nsin⁡x4nf(x)=\sum \frac{1}{n} \sin \frac{x}{4^{n}}. Prove that

−∞<lim‾⁡∗→+∞f(x)ln⁡ln⁡x<0<lim‾⁡x→+∞f(x)ln⁡ln⁡x<+∞. -\infty <\varliminf _{* \rightarrow +\infty } \frac{f(x)}{\ln \ln x}<0<\varlimsup _{x \rightarrow +\infty } \frac{f(x)}{\ln \ln x}<+\infty .
?
Problem IV.5.20

Does there exist a uniformly convergent series on R\mathbb {R} of the form ∑cnsin⁡xmn\sum c_{n} \sin \frac{x}{m_{n}}, where cn>0c_{n}>0 and ∑cn=+∞\sum c_{n}=+\infty, and {mn}\left\{ m_{n}\right\} is an increasing sequence of natural numbers?

?
Problem IV.5.21

Let −∞⩽a<b⩽+∞-\infty \leqslant a<b \leqslant +\infty and let F,fn,gn∈C((a,b))F, f_{n}, g_{n} \in C((a, b)), fn⩾0,gn⩾0(n∈N)f_{n} \geqslant 0, g_{n} \geqslant 0(n \in \mathbb {N}). Prove that if ∑gn⩽F⩽∑fn\sum g_{n} \leqslant F \leqslant \sum f_{n}, then

∑∫abgn(x)dx⩽∫abF(x)dx⩽∑∫abfn(x)dx \sum \int _{a}^{b} g_{n}(x) d x \leqslant \int _{a}^{b} F(x) d x \leqslant \sum \int _{a}^{b} f_{n}(x) d x

In particular, if F=∑fnF=\sum f_{n}, then ∫abF(x)dx=∑∫abfn(x)dx\int_{a}^{b} F(x) d x=\sum \int_{a}^{b} f_{n}(x) d x.

?