P-adic eksponent funktsiyasi - P-adic exponential function

Yilda matematika, ayniqsa p-adik tahlil, p-adik eksponent funktsiyasi a p- odatiy analog eksponent funktsiya ustida murakkab sonlar. Murakkab holatda bo'lgani kabi, u teskari funktsiyaga ega p-adik logaritma.

Ta'rif

Odatiy eksponent funktsiya yoqilgan C cheksiz qator bilan belgilanadi

${ displaystyle exp (z) = sum _ {n = 0} ^ { infty} { frac {z ^ {n}} {n!}}.}$

To'liq o'xshashlik bilan, eksponent funktsiyani belgilaydi C_p, ning algebraik yopilishining yakunlanishi Q_p, tomonidan

${ displaystyle exp _ {p} (z) = sum _ {n = 0} ^ { infty} { frac {z ^ {n}} {n!}}.}$

Biroq, barchasidan farq qiladigan expdan farqli o'laroq C, exp_p faqat diskda birlashadi

${ displaystyle | z | _ {p}$

Buning sababi p-adik qatorlar yig'indilar nolga teng bo'lgan taqdirda va agar beri bo'lsa, birlashadi n! har bir chaqiruvning maxrajida ularni juda katta qilishga intiladi p-adadiy jihatdan juda kichik qiymat z raqamda kerak.

p-adik logarifm funktsiyasi

Quvvat seriyasi

${ displaystyle log (1 + x) = sum _ {n = 1} ^ { infty} { frac {(-1) ^ {n + 1} x ^ {n}} {n}},}$

uchun birlashadi x yilda C_p qoniqarli |x|_p <1 va shuning uchun p-adik logarifm funktsiyasi jurnal_p(z) uchun |z − 1|_p <1 odatiy mulk jurnalini qondiradi_p(zw) = log_pz + log_pw. Funktsiyalar jurnali_p barchasiga kengaytirilishi mumkin C ×
p  (ning nolga teng bo'lmagan elementlari to'plami C_p) ushbu oxirgi xususiyatni qondirishni davom ettirishni talab qilish va jurnalni sozlash_p(p) = 0. Xususan, har bir element w ning C ×
p  sifatida yozilishi mumkin w = p^r· Ζ ·z bilan r ratsional son, ζ tartib birligining ildizi pva |z − 1|_p < 1,^[1] bu holda jurnal_p(w) = log_p(z).^[2] Ushbu funktsiya yoniq C ×
p  ba'zan deb nomlanadi Ivasava logaritmi jurnalni tanlashni ta'kidlash_p(p) = 0. Aslida logarifmning | dan kengaytmasi mavjudz − 1|_p Barchasiga <1 C ×
p  jurnalning har bir tanlovi uchun_p(p) ichida C_p.^[3]

Xususiyatlari

Agar z va w ikkalasi ham exp uchun yaqinlashish radiusida_p, keyin ularning yig'indisi ham bo'ladi va biz odatdagi qo'shimcha formulaga egamiz: exp_p(z + w) = exp_p(z) tugatish_p(w).

Xuddi shunday, agar z va w ning nolga teng bo'lmagan elementlari C_p keyin tizimga kiring_p(zw) = log_pz + log_pw.

Uchun z exp domenida_p, bizda exp bor_p(log_p(1+z)) = 1+z va log_p(exp.)_p(z)) = z.

Iwasawa logaritm jurnalining ildizlari_p(z) ning elementlari C_p shaklning p^r· Qaerda r ratsional son, ζ esa birlikning ildizi.^[4]

Ning analogi yo'qligiga e'tibor bering C_p ning Eylerning shaxsi, e^2πi = 1. Bu xulosa Strassman teoremasi.

Vaziyatdagi yana bir katta farq C exp ning yaqinlashish sohasi_p logga qaraganda ancha kichik_p. O'zgartirilgan eksponent funktsiya - the Artin-Hasse eksponenti - o'rniga yaqinlashadigan, ishlatilishi mumkinz|_p < 1.

Izohlar

Adabiyotlar

• 12-bob Kassellar, J. W. S. (1986). Mahalliy dalalar. London Matematik Jamiyati talabalar uchun matnlar. Kembrij universiteti matbuoti. ISBN  0-521-31525-5.
• Koen, Anri (2007), Raqamlar nazariyasi, I jild: Asboblar va Diofant tenglamalari, Matematikadan aspirantura matnlari, 239, Nyu-York: Springer, doi:10.1007/978-0-387-49923-9, ISBN  978-0-387-49922-2, JANOB  2312337

Tashqi havolalar

• "p-adic exponential and p-adic logarithm". PlanetMath.