Մասնակից:Զաբելա Աբելյան/ավազարկղ14

Աստիճանային շարք մեկ փոփոխականով, դա ֆորմալ հանրահաշվական արտահայտություն է։

$F(X)=\sum \limits _{n=0}^{\infty }a_{n}X^{n},$

որում գործակիցներ ${a_{n}}$ ընտրվում է մի ինչ որ ${R}$ օղակից

Աստիճանային շարքերի տարածություն

Տարածությունը մեկ փոփոխականով աստիճանային շարքով և գործակիցներ ${R}$-ից նշանակում են$R[[X]]$. $R[[X]]$ տարածությունը ունի դիֆֆերենցիալ հանրահաշվի կառուցվածք ( կոմուտատիվ ${R}$ օղակով, ամբողջական, միավորով, եթե այդպիսին է ${R}$) օղակը։ Այն հաճախ օգտագործում են մաթեմատիկայում նկատի առնելով, որ նրանում հեշտ ներկայացնելի և լուծելի է ֆորմալ դիֆֆերենցիալ-հանրահաշվական և նույնիսկ ֆունկցիոնալ հարաբերակցությունը ( տես․ մեթոդ ածանցավոր ֆունկցիաներ)։Դրա օգտագործումով այդ հարաբերակցությունը փոխակերպվում է աստիճանական գործակիցներով հանրահաշվական հավասարման։ Եթե այն թույլատրվում է, ասում է ֆորմալ աստիճանային շարքի տրված խնդրի լուծման մասին։

$R[[X]]$- ում սահմամված է գումարման, բազմապատկման, ֆորմալ դիֆֆերենցում և ֆորմալ վերադրում գործողությունները։

Ենթադրենք

$F(X)=\sum \limits _{n=0}^{\infty }a_{n}X^{n},G(X)=\sum \limits _{n=0}^{\infty }b_{n}X^{n},H(X)=\sum \limits _{n=0}^{\infty }c_{n}X^{n}.$

Այդ ժամանակ:

$H=F+G\Leftrightarrow \forall n\,c_{n}=a_{n}+b_{n}$

$H=F\,\cdot \,G\Leftrightarrow \forall n\,c_{n}=\sum \limits _{k+l=n}a_{k}b_{l}$

$H=F\circ G\Leftrightarrow \forall n\,c_{n}=\sum \limits _{s=1}^{n}a_{s}\sum \limits _{k_{1}+\dots +k_{s}=n}b_{k_{1}}b_{k_{2}}\dots b_{k_{s}}$ (այդ դեպում անհրաժեշտ է, որ պահպանվի $b_{0}=0$)

$H=F'\Leftrightarrow \forall n\,c_{n}=(n+1)a_{n+1}$

Աստիճանային շարքի զուգամիտություն

Իրական կամ կոմպլեքս գործակիցներով ֆորմալ աստիճանային շարքից, գրառման ճանապարհով, ինչ որ ${X}$ իրական ֆորմալ փոփոխականի մեծությունից, իրական և կոմպլեքս դաշտում կարելի է ստանալ աստիճանային շարք։ Աստիճանային շարքը համարվում է զուգամիտվող (գումարվող), եթե զուգամիտվում է մասնակի հաջորդականության գումարը,կազմված նրա անդամներից և կոչվում է բացարձակ զուգամիտություն, եթե զուգամիտվում է մասնակի հաջորդականության գումարը, կազմված նրա անդամներից, վերցրած մոդուլով (նորմայով)

Զուգամիտության հայտանիշներ

Աստիճանային շարքի համար գոյություն ունի մի քանի թեորեմ, նկարագրելով պայմանը և բնույթը զուգամիտության։

• Աբելի առաջին թեորեմ: Ենթադրենք $\Sigma \,a_{n}x^{n}$ շարքը զուգամիտվում է ${x_{0}}$ կետում։ Այդ ժամանակ այդ շարքը զուգամիտվում է բացարձակապես ${|x|<|x_{0}|}$ շրջանում և հավասարաչափորեն այդ շրջանի ${x}$ ցանկացած կոմպակտ ենթաբազմությունում։

Հակադարձելով այդ թեորեմային , ստանում ենք, եթե աստիճանային շարքը տարամիտվում է ${x=x_{0}}$ դեպքում, այն տարամիտվում է ցանկացած ${x}$ դեպքում, այնպիսիք որ ${|x|>|x_{0}|}$։Աբելի առաջին թեորեմայից նույնպես հետևում է , որ գոյություն ունի շրջանագծի այդպիսի ${R}$ շառավիղ ( հնարավոր է, զրոյական կամ անվերջ), որ ${|x|<R}$-ի դեպքում շարքը զուգամիտում է բացարձակապես (և հավասարաչափորեն այդ շրջանի $x$-ի ${|x|<R}$) կոմպակտ ենթաբազմությունում, իսկ ${|x|>R}$ դեպքում տարամիտում է։ Այդ $R$ մեծությանը անվանում են շարքի զուգամիտության շառավիղ, իսկ ${|x|<R}$ շրջանը՝ զուգամիտության շրջան։

• Կոշի- Ադամարի բանաձև: Աստիճանային շարքի զուգամիտության շառավղի մեծությունը (եթե վերևի սահման գոյություն ունի և դրական է, Աստիճանային շարքի մասին Ադամարի թեորեմ) կարելի է հաշվել հետևյալ բանաձևով․

${1 \over R}={\varlimsup \limits _{n\rightarrow +\infty }}\,|a_{n}|^{1/n}$

(Վերին սահմանի սահմանման առիթով $\varlimsup \limits _{n\rightarrow +\infty }$ տես․ «Հաջորդականության մասնակի սահման» հոդվածը)։

Ենթադրենք $F(x)$ և $G(x)$, երկու աստիճանային շարք են ${R_{F}}$ и ${R_{G}}$ զուգամիտության շառավիղներով։Այն ժամանակ

$R_{F+G}\geq \min\{R_{F},\,R_{G}\}$

$R_{F\cdot G}\geq \min\{R_{F},R_{G}\}$

$R_{F'}\,=\,R_{F}$

Եթե շարքի համար $G(x)$-ը զրոյական ազատ անդամ է, ապա

$R_{F\circ G}\geq {R_{F} \over {R_{F}+1}}R_{G}$

Հարցը ${|x|=R}$ վերին սահմանի կետերում զուգամիտության շարքի մասին բավականին բարդ է շրջանի զուգամիտությունը և այստեղ ընդհանուր պատասխան չկա։ Ահա մի քանիսը շարքի զուգամիտության սահմանային կետերում շրջանի զուգամիտության մասին թեորեմայից։

• Դալամբերի հայտանիշ: Եթե $n>N$ և $\alpha >1$ դեպքում,

$\left|{a_{n} \over a_{n+1}}\right|\geq R\left(1+{\alpha \over n}\right)$ անհվասարությունը տեղի ունի,

ապա $\Sigma \,a_{n}x^{n}$ աստիճանային շարքը զուգամիտվում է ${|x|=R}$ շրջանի բոլոր կետերում և հավասարաչափ $x$-ով։

• Դիրիխլիի հայտանիշ: Եթե $\Sigma \,a_{n}x^{n}$ աստիճանային շարքի բոլոր գործակիցները դրական են և $a_{n}$ հաջորդականությունը մոնոտոն զուգամիտվում է 0-ի, ապա այդ շարքը զուգամիտվում է ${|x|=1}$ շրջանագծի բոլոր կետերում, բացի, գուցե ${x=1}$ կետում։.

Աստիճանային շարքի գումարը, ինչպես $x$ կոմպլեքս պարամետրի ֆունկցիա, հանդիսանում է վերլուծական ֆունկցիայի տեսության ուսումնասիրման առարկա։

Տես նաև

• Круг сходимости
• Теорема Адамара о степенном ряде

Փոփոխակումներ և ընդհանրացումներ

n փոփոխականով աստիճանային շարք, դա ֆորմալ հանրահաշվական տեսքի արտահայտություն է,

$F(X_{1},X_{2},\dots ,X_{n})=\sum \limits _{k_{1},k_{2},\dots ,k_{n}=0}^{+\infty }a_{k_{1},k_{2},\dots ,k_{n}}X_{1}^{k_{1}}X_{2}^{k_{2}}\dots X_{n}^{k_{n}}$ կամ բազմաինդեքս նշանակումներ,

$F(X)=\sum \limits _{\alpha }a_{\alpha }X^{\alpha },$

որտեղ $X$-ը $X=(X_{1},X_{2},\dots ,X_{n})$ վեկտորն է, $\alpha$-ն ՝ $\alpha =(k_{1},k_{2},\dots k_{n})$ մուլտիինդեքսը, $X^{\alpha }$-ն $X^{\alpha }=X_{1}^{k_{1}}X_{2}^{k_{2}}\dots X_{n}^{k_{n}}$ միանդամը։ $n$ պարամետրերով և $R$ գործակիցներով աստիճանային շարքի տարածությունը նշանակվում է՝ $R[[X_{1},X_{2},\dots ,X_{n}]]$։Նրանում սահմանված է գումարման,բազմապատկման, յուրաքանչյուր փոփոխականի դիֆֆերենցման և $n$-տեղային վերադրման գործողություններ։ Ենթադրենք

$F(X)=\sum \limits _{\alpha }a_{\alpha }X^{\alpha },G(X)=\sum \limits _{\alpha }b_{\alpha }X^{\alpha },H(X)=\sum \limits _{\alpha }c_{\alpha }X^{\alpha }.$

Ապա:

$H=F+G\Leftrightarrow \forall {\alpha }\,c_{\alpha }=a_{\alpha }+b_{\alpha }$

$H=F\,\cdot \,G\Leftrightarrow \forall {\alpha }\,c_{\alpha }=\sum \limits _{\beta +\gamma =\alpha }a_{\beta }b_{\gamma }$

$H={\partial F \over \partial X_{i}}\Leftrightarrow \forall (k_{1},k_{2},\dots ,k_{n})\,c_{k_{1},k_{2},\dots ,k_{n}}=(k_{i}+1)a_{(k_{1},k_{2},\dots ,k_{i}+1,\dots ,k_{n})}$

$R[[X_{1},X_{2},\dots ,X_{n}]]$ տարածության մասին կարելի է գործնականում ասել նույնը, ինչ և $R[[X]]$.

Տես նաև

• Ряд Пюизё
• Теорема Харди — Литтлвуда