Spences функциясы - Википедия - Spences function

Бұл мақала оқырмандардың көпшілігінің түсінуіне тым техникалық болуы мүмкін. өтінемін оны жақсартуға көмектесу дейін оны мамандар емес адамдарға түсінікті етіңіз, техникалық мәліметтерді жоймай. (Қараша 2012) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

Нақты ось бойындағы дилогарифм

Жылы математика, Спенс функциясы, немесе дилогарифм, Ли деп белгіленді₂(з), нақты жағдай полигарифм. Екі байланысты арнайы функциялар Спенс функциясы деп аталады, дилогарифмнің өзі:

${ displaystyle operatorname {Li} _ {2} (z) = - int _ {0} ^ {z} { ln (1-u) over u} , du { text {,}} z in mathbb {C}}$

және оның көрінісі ${ displaystyle | z | <1}$ шексіз қатар да қолданылады (интегралдық анықтама оның аналитикалық кеңейтілген жазықтыққа созылуынан тұрады):

${ displaystyle operatorname {Li} _ {2} (z) = sum _ {k = 1} ^ { infty} {z ^ {k} over k ^ {2}}.}$

Сонымен қатар, дилогарифм функциясы кейде ретінде анықталады

${ displaystyle int _ {1} ^ {v} { frac { ln t} {1-t}} dt = operatorname {Li} _ {2} (1-v).}$

Жылы гиперболалық геометрия дилогарифм ${ displaystyle operatorname {Li} _ {2} (z)}$ ретінде пайда болады гиперболалық көлем туралы идеалды симплекс оның идеалды шыңдары бар айқас қатынас ${ displaystyle z}$. Лобачевскийдің қызметі және Клаузеннің қызметі өзара тығыз байланысты функциялар болып табылады.

Бұл функцияны осы саланың алғашқы жазушылары атаған Уильям Спенс ХІХ ғасырдың басында жұмыс істеген шотланд математигі болды.^[1] Ол мектепте болған Джон Галт,^[2] кейінірек ол Спенс туралы өмірбаяндық очерк жазды.

Аналитикалық құрылым

Жоғарыда келтірілген бұрынғы анықтаманы қолданып, дилогарифм функциясы күрделі жазықтықтың кез келген жерінде аналитикалық болып табылады ${ displaystyle z = 1}$, онда логарифмдік тармақ нүктесі бар. Тармақ кесудің стандартты таңдауы оң нақты ось бойымен ${ displaystyle (1, infty)}$. Алайда, функция тармақталу нүктесінде үздіксіз және мән қабылдайды ${ displaystyle operatorname {Li} _ {2} (1) = pi ^ {2} / 6}$.

Тұлғалар

${ displaystyle operatorname {Li} _ {2} (z) + operatorname {Li} _ {2} (- z) = { frac {1} {2}} operatorname {Li} _ {2} ( z ^ {2}).}$^[3]

${ displaystyle operatorname {Li} _ {2} (1-z) + operatorname {Li} _ {2} left (1 - { frac {1} {z}} right) = - { frac { ln ^ {2} z} {2}}.}$^[4]

${ displaystyle operatorname {Li} _ {2} (z) + operatorname {Li} _ {2} (1-z) = { frac {{ pi} ^ {2}} {6}} - ln z cdot ln (1-z).}$^[3]

${ displaystyle operatorname {Li} _ {2} (- z) - operatorname {Li} _ {2} (1-z) + { frac {1} {2}} operatorname {Li} _ {2 } (1-z ^ {2}) = - { frac {{ pi} ^ {2}} {12}} - ln z cdot ln (z + 1).}$^[4]

${ displaystyle operatorname {Li} _ {2} (z) + operatorname {Li} _ {2} left ({ frac {1} {z}} right) = - { frac { pi ^ {2}} {6}} - { frac {1} {2}} ln ^ {2} (- z).}$^[3]

Ерекше мәннің сәйкестілігі

${ displaystyle operatorname {Li} _ {2} left ({ frac {1} {3}} right) - { frac {1} {6}} operatorname {Li} _ {2} left ({ frac {1} {9}} right) = { frac {{ pi} ^ {2}} {18}} - { frac { ln ^ {2} 3} {6}}. }$^[4]

${ displaystyle operatorname {Li} _ {2} left (- { frac {1} {2}} right) + { frac {1} {6}} operatorname {Li} _ {2} солға ({ frac {1} {9}} оңға) = - { frac {{ pi} ^ {2}} {18}} + ln 2 cdot ln 3 - { frac { ln ^ {2} 2} {2}} - { frac { ln ^ {2} 3} {3}}.}$^[4]

${ displaystyle operatorname {Li} _ {2} left ({ frac {1} {4}} right) + { frac {1} {3}} operatorname {Li} _ {2} left ({ frac {1} {9}} right) = { frac {{ pi} ^ {2}} {18}} + 2 ln 2 ln 3-2 ln ^ {2} 2- { frac {2} {3}} ln ^ {2} 3.}$ ^[4]

${ displaystyle operatorname {Li} _ {2} left (- { frac {1} {3}} right) - { frac {1} {3}} operatorname {Li} _ {2} солға ({ frac {1} {9}} оңға) = - { frac {{ pi} ^ {2}} {18}} + { frac {1} {6}} ln ^ {2 } 3.}$^[4]

${ displaystyle operatorname {Li} _ {2} left (- { frac {1} {8}} right) + operatorname {Li} _ {2} left ({ frac {1} {9) }} right) = - { frac {1} {2}} ln ^ {2} { frac {9} {8}}.}$^[4]

${ displaystyle 36 оператор атауы {Li} _ {2} сол ({ frac {1} {2}} оң) -36 оператор атауы {Li} _ {2} сол ({ frac {1} {) 4}} оң) -12 оператор атауы {Li} _ {2} сол ({ frac {1} {8}} оң) +6 оператор аты {Li} _ {2} сол ({ frac) {1} {64}} оң) = { pi} ^ {2}.}$

Арнайы құндылықтар

${ displaystyle operatorname {Li} _ {2} (- 1) = - { frac {{ pi} ^ {2}} {12}}.}$

${ displaystyle operatorname {Li} _ {2} (0) = 0.}$

${ displaystyle operatorname {Li} _ {2} left ({ frac {1} {2}} right) = { frac {{ pi} ^ {2}} {12}} - { frac { ln ^ {2} 2} {2}}.}$

${ displaystyle operatorname {Li} _ {2} (1) = zeta (2) = { frac {{ pi} ^ {2}} {6}},}$ қайда ${ displaystyle zeta (s)}$ болып табылады Riemann zeta функциясы.

${ displaystyle operatorname {Li} _ {2} (2) = { frac {{ pi} ^ {2}} {4}} - i pi ln 2.}$

${ displaystyle { begin {aligned} operatorname {Li} _ {2} left (- { frac {{ sqrt {5}} - 1} {2}} right) & = - { frac { { pi} ^ {2}} {15}} + { frac {1} {2}} ln ^ {2} { frac {{ sqrt {5}} + 1} {2}} & = - { frac {{ pi} ^ {2}} {15}} + { frac {1} {2}} operatorname {arcsch} ^ {2} 2. end {aligned}}}$

${ displaystyle { begin {aligned} operatorname {Li} _ {2} left (- { frac {{ sqrt {5}} + 1} {2}} right) & = - { frac { { pi} ^ {2}} {10}} - ln ^ {2} { frac {{ sqrt {5}} + 1} {2}} & = - { frac {{ pi } ^ {2}} {10}} - operatorname {arcsch} ^ {2} 2. end {aligned}}}$

${ displaystyle { begin {aligned} operatorname {Li} _ {2} left ({ frac {3 - { sqrt {5}}} {2}} right) & = { frac {{ pi} ^ {2}} {15}} - ln ^ {2} { frac {{ sqrt {5}} + 1} {2}} & = { frac {{ pi} ^ { 2}} {15}} - operatorname {arcsch} ^ {2} 2. end {aligned}}}$

${ displaystyle { begin {aligned} operatorname {Li} _ {2} left ({ frac {{ sqrt {5}} - 1} {2}} right) & = { frac {{ pi} ^ {2}} {10}} - ln ^ {2} { frac {{ sqrt {5}} + 1} {2}} & = { frac {{ pi} ^ { 2}} {10}} - operatorname {arcsch} ^ {2} 2. end {aligned}}}$

Бөлшектер физикасында

Спенс функциясы көбінесе радиациялық түзетулерді есептеу кезінде бөлшектер физикасында кездеседі. Бұл тұрғыда функция логарифм ішіндегі абсолютті мәнмен жиі анықталады:

${ displaystyle operatorname { Phi} (x) = - int _ {0} ^ {x} { frac { ln | 1-u |} {u}} , du = { begin {case} оператор атауы {Li} _ {2} (x), & x leq 1; { frac { pi ^ {2}} {3}} - { frac {1} {2}} ln ^ { 2} (x) - оператор атауы {Li} _ {2} ({ frac {1} {x}}), & x> 1. end {case}}}$

Ескертулер

Әдебиеттер тізімі

• Левин, Л. (1958). Дилогарифмдер және онымен байланысты функциялар. Миллердің алғы сөзі. Лондон: Макдональд. МЫРЗА  0105524.
• Моррис, Роберт (1979). «Нақты аргументтің дилогарифмдік қызметі». Математика. Комп. 33 (146): 778–787. дои:10.1090 / S0025-5718-1979-0521291-X. МЫРЗА  0521291.
• Локстон, Дж. Х. (1984). «Дилогарифмнің ерекше мәндері». Acta Arith. 18 (2): 155–166. дои:10.4064 / aa-43-2-155-166. МЫРЗА  0736728.
• Кириллов, Анатол Н. (1994). «Дилогарифмнің сәйкестілігі». Теориялық физика қосымшасының прогресі. 118: 61–142. arXiv:hep-th / 9408113. Бибкод:1995 PPS.118 ... 61K. дои:10.1143 / PTPS.118.61.
• Осакар, Карлос; Паласиан, Иса; Паласиос, Мануэль (1995). «Күрделі аргументтің дилогарифмін сандық бағалау». Селест. Мех. Дин. Астрон. 62 (1): 93–98. Бибкод:1995CMMDA..62 ... 93O. дои:10.1007 / BF00692071.
• Загьер, Дон (2007). «Дилогарифм функциясы». Пьер Картьеде; Пьер Мусса; Бернард Джулия; Пьер Ванхов (ред.) Сандар теориясы, физика және геометриядағы шекаралар II (PDF). 3–65 бет. дои:10.1007/978-3-540-30308-4_1. ISBN  978-3-540-30308-4.

Әрі қарай оқу

• Блох, Спенсер Дж. (2000). Алгебралық жоғары реттегіштер Қ- эллиптикалық қисықтардың теориясы және дзета функциялары. CRM монография сериясы. 11. Провиденс, RI: Американдық математикалық қоғам. ISBN  0-8218-2114-8. Zbl  0958.19001.

Сыртқы сілтемелер

• Математикалық функциялардың NIST сандық кітапханасы: дилогарифм
• Вайсштейн, Эрик В. «Дилогарифм». MathWorld.