Lambertova funkcija W

Graf funkcije $\operatorname {W} _{0}(x),\ (-1/e\leq x\leq 4)$

Lambertova funkcija W v kompleksni ravnini

Lambertova fúnkcija W [lámbertova ~ v] (tudi fúnkcija ω [~ ómega]) je v matematiki obratna funkcija:

$f(w)=we^{w}\!\,,$

kjer je e^w naravna eksponentna funkcija in w kompleksno število. Imenuje se po Johannu Heinrichu Lambertu.

Tu je funkcija označena z W. To oznako sta prva uporabila Pólya in Szegő leta 1925. Za vsako kompleksno število z velja:

$z=\operatorname {W} (z)e^{\operatorname {W} (z)}\!\,.$

Ker funkcija f v (−∞, 0) ni injektivna, zavzame funkcija W v [−1/e, 0) več vrednosti. Če se omejimo na realne argumente x ≥ −1/e in zahtevamo w ≥ −1, je na ta način določena funkcija W₀(x) z enoličnimi vrednostmi in njen graf je prikazan na sliki. Velja W₀(0) = 0 in W₀(−1/e) = −1.

Lambertove funkcije W ne moremo izraziti s členi elementarnih funkcij. Funkcija je uporabna v kombinatoriki, na primer pri preštevanju dreves. Z njo lahko rešimo različne enačbe, ki vsebujejo eksponente. Pojavlja se pri reševanju časovno zakasnelih diferencialnih enačb, kot je na primer y'(t) − a y(t − 1) = 0.

Odvajanje in integriranje

Z implicitnim odvajanjem je moč pokazati, da za W velja navadna diferencialna enačba:

$z(1+\operatorname {W} ){\frac {\mathrm {d} \operatorname {W} }{\mathrm {d} z}}=\operatorname {W} ;\quad (z\neq -1/e)\!\,$

in od tod odvod:

${\frac {\mathrm {d} \operatorname {W} (z)}{\mathrm {d} z}}={\frac {\operatorname {W} (z)}{z(1+\operatorname {W} (z))}};\quad (z\neq -1/e)\!\,.$

Funkcija W(x) in mnogo izrazov, ki vsebujejo W(x), se lahko integrirajo s substitucijo w = W(x), oziroma x = w e^w:

$\int \operatorname {W} (x)\,\mathrm {d} x=x\left[\operatorname {W} (x)-1+{\frac {1}{\operatorname {W} (x)}}\right]+C\!\,.$

Taylorjeva vrsta

Taylorjeva vrsta funkcije W₀ okrog točke 0 se lahko izračuna z Lagrangeevim izrekom o obratu in je dana z:

${\begin{aligned}\operatorname {W} _{0}(x)&=\sum _{n=1}^{\infty }{\frac {(-n)^{n-1}}{n!}}\ x^{n}=\\&=x-x^{2}+{\frac {3}{2}}x^{3}-{\frac {8}{3}}x^{4}+{\frac {125}{24}}x^{5}-{\frac {54}{5}}x^{6}+{\frac {16807}{720}}x^{7}-{\frac {16384}{315}}x^{8}+{\frac {531441}{4480}}x^{9}-{\frac {156250}{567}}x^{10}+\cdots \!\,.\end{aligned}}$

Njen konvergenčni polmer je 1/e, kot se lahko vidi iz d'Alembertovega kriterija. Funkcijo, določeno s to vrsto, se lahko razširi v holomorfno funkcijo, ki je določena za vsa kompleksna števila z vejiščem vzdolž intervala (-∞, -1/e]. Ta holomorfna funkcija določa glavno vejitev Lambertove funkcije W.

Uporaba

S funkcijo se lahko reši več enačb, ki vsebujejo eksponente. V splošnem se dajo vsi členi z neznanko na eno stran enačbe, tako da ima obliko Y = Xe^X, v katere točki funkcija W da rešitev.

Z drugimi besedami :

$X=Ye^{Y}\;\Longleftrightarrow \;Y=\operatorname {W} (X)\!\,.$

Matematika

Zgled 1

$2^{t}=5t\!\,,$

$\Rightarrow 1={\frac {5t}{2^{t}}}\,$

$\Rightarrow 1=5t\,e^{-t\ln 2}\,$

$\Rightarrow {\frac {1}{5}}=t\,e^{-t\ln 2}\,$

$\Rightarrow {\frac {-\,\ln 2}{5}}=(-\,t\,\ln 2)\,e^{(-t\ln 2)}\,$

$\Rightarrow -t\ln 2=\operatorname {W} \left({\frac {-\ln 2}{5}}\right)\,$

$\Rightarrow t={\frac {-\operatorname {W} \left({\frac {-\ln 2}{5}}\right)}{\ln 2}}\!\,.$

Bolj splošno se lahko enačba:

$p^{ax+b}=cx+d\!\,,$

kjer je:

$p>0\land c,d\neq 0\!\,,$

pretvori prek substitucije:

$-t=ax+{\frac {ad}{c}}$

v:

$tp^{t}=R=-{\frac {a}{c}}p^{b-{\frac {ad}{c}}}\!\,,$

kar da:

$t={\frac {\operatorname {W} (R\ln p)}{\ln p}}$

in končno rešitev:

$x=-{\frac {\operatorname {W} (-{\frac {a\ln p}{c}}\,p^{b-{\frac {ad}{c}}})}{a\ln p}}-{\frac {d}{c}}\!\,.$

Zgled 2

Podobno se pokaže, da ima enačba:

$x^{x}=z\!\,$

rešitev:

$x={\frac {\ln z}{\operatorname {W} (\ln z)}}\!\,$

ali enakovredno:

$x=\exp \left(\operatorname {W} (\ln z)\right)\!\,.$

Zgled 3

Če kompleksna neskončna eksponentna funkcija (tetracija):

$z^{z^{z^{\cdot ^{\cdot ^{\cdot }}}}}\!\,$

konvergira, Lambertova funkcija W da dejansko vrednost limite:

$c={\frac {\operatorname {W} (-\ln z)}{-\ln z}}\!\,,$

kjer je ln z glavno vejišče funkcije kompleksnega logaritma.

Zgled 4

Rešitve enačbe:

$x\log _{b}x=a\!\,$

imajo obliko:

$x={\frac {a\ln b}{\operatorname {W} (a\ln b)}}\!\,.$

Zgled 5

Asimptotična enačba za Bellova števila:

$B_{n}\sim {\frac {1}{\sqrt {n}}}\left[{e^{\operatorname {W} (n)}}\right]^{n+{\frac {1}{2}}}e^{e^{\operatorname {W} (n)}-n-1}.$

Fizika

Zgled 6

Rešitev za tok v električnem tokokrogu zaporedno vezanih diod/upornikov se lahko zapiše s členi funkcije W. Glej modeliranje diod.

Zgled 7

Časovno zakasnela diferencialna enačba:

${\frac {\mathrm {d} y(t)}{\mathrm {d} t}}-ay(t-1)=0\!\,$

ima karakteristično enačbo $\lambda =ae^{-\lambda }$, kar vodi do $\lambda =\operatorname {W} _{k}(a)$ in $y(t)=e^{W_{k}(a)t}$, kjer je $k$ indeks vejišča. Če je $a$ realen, je treba obravnavati le $\operatorname {W} _{0}(a)$.

Zgled 8

Planckov zakon sevanja črnega telesa ima vrhove za:

$h\nu =\left[3+\operatorname {W} \left({\frac {-3}{e^{3}}}\right)\right]k_{\rm {B}}T=2,8214393721\,k_{\rm {B}}T\!\,,$

${\frac {hc}{\lambda }}=\left[5+\operatorname {W} \left({\frac {-5}{e^{5}}}\right)\right]k_{\rm {B}}T=4,9651142317\,k_{\rm {B}}T\!\,,$

kar določa Wienov zakon. Frekvence in valovne dolžine vrhov spektralnih gostot sevanja so različne za vsako temperaturo, in okrog njih telesa najmočneje sevajo.

Zgled 9

Zrnati in naplavni tok front in naplavin, ter fronte viskoznih tekočin v naravnih pojavih kot tudi v laboratorijskih poskusih lahko opišemo z Lambert-Eulerjevo funkcijo omega:

$H(x)=1+\operatorname {W} \left[(H(0)-1)\exp((H(0)-1)-{\frac {x}{L}})\right]\!\,,$

kjer je H(x) višina toka naplavin, x lega kanalskega toka, L poenoteni modelni parameter, ki ga sestavlja več fizikalnih in geometrijskih parametrov toka, višina toka in gradient hidravličnega tlaka.

Zgled 10

Lambertova funkcija W je optimalna rešitev za potrebno magnetno polje Zeemanovega zaviralnika.

Tehnologija preoblikovanja

Zgled 11

Sila preoblikovanja kovine s posrednim delovanjem sile je dana z enačbo:

$F=Sw{\frac {1}{\eta _{pr}}}\!\,.$

Za istosmerno iztiskavanje valjčka je na primer posebej:

$F={\frac {\pi d_{1}^{2}}{4}}C\left(2\ln {\frac {d_{1}}{d_{0}}}\right)^{n}{\frac {1}{\eta _{pr}}}\!\,,$

tako da je končni premer valjčka $d_{1}$ dan z rešitvijo:

$d_{1}=d_{0}e^{n\operatorname {W} \left(x/n\right)/2}\!\,,$

kjer je:

$x=e^{\ln \left[4F\eta _{pr}/(\pi Cd_{0}^{2})\right]/n}\!\,,$

$d_{0}$ pa začetni premer.

Medicina/nevroznanosti/psihologija

Zgled 12

Lambertovo funkcijo W so uporabili na področju nevrološkega slikanja pri povezovanju možganskega pretoka krvi in sprememb porabe kisika med možganskimi voksli na ustreznem signalu nivoja krvne oksigenacije (BOLD).

Posebne vrednosti

$\operatorname {W} \left(-{\frac {\pi }{2}}\right)={\frac {\mathrm {i} \pi }{2}}\!\,$

$\operatorname {W} \left(-{\frac {\ln a}{a}}\right)=-\ln a,\quad {\frac {1}{e}}\leq a\leq e\!\,$

$\operatorname {W} \left(-{1 \over e}\right)=-1\!\,$

$\operatorname {W} (0)=0\!\,$

$\operatorname {W} (1)\equiv \Omega ={\frac {1}{\displaystyle \int _{-\infty }^{\infty }{\frac {{\rm {d}}x}{(e^{x}-x)^{2}+\pi ^{2}}}}}-1=0,567143290409783872999968662210...\!\,$
(konstanta Ω, (OEIS A030178))

$\operatorname {W} (e)=1\!\,$

$\operatorname {W} \left(-1\right)\approx -0,31813-1,33723{\mathrm {i} }\!\,$

$\operatorname {W} '\left(0\right)=1\!\,$

Druge formule

$\int _{0}^{\pi }\operatorname {W} {\bigl (}2\cot ^{2}(x){\bigr )}\sec ^{2}(x)\;\mathrm {d} x=4{\sqrt {\pi }}\!\,$

$\int _{0}^{+\infty }\operatorname {W} \left({\frac {1}{x^{2}}}\right)\;\mathrm {d} x={\sqrt {2\pi }}\!\,$

$\int _{0}^{+\infty }{\frac {\operatorname {W} (x)}{x{\sqrt {x}}}}\mathrm {d} x=2{\sqrt {2\pi }}\!\,$

Računski algoritem

Funkcijo W se lahko izračuna z rekurenčno enačbo:

$w_{j+1}=w_{j}-{\frac {w_{j}e^{w_{j}}-z}{e^{w_{j}}(w_{j}+1)-{\frac {(w_{j}+2)(w_{j}e^{w_{j}}-z)}{2w_{j}+2}}}}\!\,,$

ki so jo podali Corless idr. Naslednja Pythonova koda uporablja zgornjo zvezo in oceno računske napake, dano v delu Chapeau-Blondeauja in Monirja:

import math
 
def lambertW(x, prec = 1E-12, maxiters = 100):
    w = 0
    for i in range(maxiters):
        we = w * math.exp(w)
        w1e = (w + 1) * math.exp(w)
        if prec > abs((x - we) / w1e):
            return w
        w -= (we - x) / (w1e - (w+2) * (we-x) / (2*w+2))
    raise ValueError("W ne konvergira dovolj hitro za abs(z) = %f" % abs(x))

Program izračuna glavno vejišče za $x>1/e$. lahko se izboljša z boljšimi začetnimi ocenami.

Če je potrebna manjša točnost, se lahko uporabi zaprta oblika približka v C, ali pa se lahko vzame kot odlična začetna ocena zgornjega programa, ki nato računa le z nekaj iteracijami:

double desy_lambert_W(double x) {
double  lx1;
   if (x <= 500.0) {
      lx1 = ln(x + 1.0);
      return 0.665 * (1 + 0.0195 * lx1) * lx1 + 0.04;
   }
   return ln(x - 4.0) - (1.0 - 1.0/ln(x)) * ln(ln(x));
}

(povzeto iz: http://www.desy.de/~t00fri/qcdins/texhtml/lambertw/)

Zgodovina

Lambertova funkcija W ima nenavadno zgodovino. Raziskovanje njenih značilnosti vodi do Eulerjevega članka iz leta 1779. Inverza we^w, kot omembe vredne funkcije, niso raziskovali vse do 1980-ih. Razpoznanje je prišlo pri uporabi v računalniškem programu za simbolno računanje Maple, kjer so v ta namen uvedli rezervirano ime LambertW. Izbrali so Lambertovo ime, ker se je Euler v svojem članku skliceval na predhodno Lambertovo delo in morda zaradi tega, »ker poimenovanje še ene funkcije po Eulerju ne bi bilo uporabno« (Corless idr.).

Lambert je leta 1758 obravnaval rešitev enačbe:

$x^{a}-x^{b}=(a-b)vx^{a+b}\!\,,$

sedaj znane kot Lambertova transcendentna enačba. Euler je izvedel za Lambertov članek leta 1764. Leta 1783 je napisal članek o tej enačbi, kjer je obravnaval posebni primer z obliko:

$wa^{w}=lx\!\,,$

ki je skoraj enaka definiciji funkcije $\operatorname {W} (x)$, čeprav je predlagal definicijo funkcije v obliki $-\operatorname {W} (-x)$. Enačba ima rešitev:

$x={\frac {1}{e^{\operatorname {W} (-av)/b}}}\!\,.$

Glej tudi

• Wrightova funkcija omega
• trinom (Lambertova trinomska funkcija)
• eksperimentalna matematika
• Jackiw-Teitelboimova gravitacija (model R=T)

Viri

• Euler, Leonhard (1783), »De serie Lambertina Plurimisque eius insignibus proprietatibus«, Acta Acad. Scient. Petropol. (2): 29–51 Ponatisnjeno v Euler, L., Opera Omnia, Series Prima, Vol. 6: Commentationes Algebraicae. Leipzig: Teubner, str. 350-369, 1921. (faksimile)
• Lambert, Johann Henrich (1758), »Observationes variae in mathesin puram« (PDF), Acta Helveticae physico-mathematico-anatomico-botanico-medica (Band III): 128–168
• Ohayon, B.; Ron, G. (2013), »New approaches in designing a Zeeman Slower«, Journal of Instrumentation, 8 (02): P02016, doi:10.1088/1748-0221/8/02/P02016
• Pudasaini, S. P. (2011), »Some exact solutions for debris and avalanche flows«, Physics of Fluids, 23 (4): 043301, doi:10.1063/1.3570532
• Sotero, Roberto C.; Iturria-Medina, Yasser (2011), »From Blood oxygenation level dependent (BOLD) signals to brain temperature maps«, Bulletin of Mathematical Biology, 73 (11): 2731–47, doi:10.1007/s11538-011-9645-5, PMID 21409512
• Širca, Simon; Horvat, Martin (2010), Računske metode za fizike, Matematika – fizika : zbirka univerzitetnih učbenikov in monografij, zv. 46 (1. izd.), DMFA – založništvo, COBISS 253114368, ISBN 978-961-212-227-0, ISSN 1408-1571

Zunanje povezave

• Corles idr., Zapiski o raziskovanju funkcije Lambert W (angleško)
• Corless idr., »On the Lambert W function« Adv. Computational Maths. 5, 329 - 359 (1996) (PDF)
• Scott, T.C.; Mann, R.B.; Martinez Ii, Roberto E. (2006). »General Relativity and Quantum Mechanics: Towards a Generalization of the Lambert W Function«. AAECC (Applicable Algebra in Engineering, Communication and Computing). Zv. 17, št. 1. str. 41–47. arXiv:math-ph/0607011. doi:10.1007/s00200-006-0196-1.
• Scott, T. C.; Fee, G.; Grotendorst, J. (2013). »Asymptotic series of Generalized Lambert W Function«. SIGSAM (ACM Special Interest Group in Symbolic and Algebraic Manipulation). Zv. 47, št. 185. str. 75–83.
• Scott, T. C.; Fee, G.; Grotendorst, J.; Zhang, W.Z. (2014). »Numerics of the Generalized Lambert W Function«. SIGSAM. Zv. 48, št. 1–2. str. 42–56.
• Maignan, Aude; Scott, T. C. (2016). »Fleshing out the Generalized Lambert W Function«. SIGSAM. Zv. 50, št. 2. str. 45–60. doi:10.1145/2992274.2992275.
• Chapeau-Blondeau, F. in Monir, A., »Evaluation of the Lambert W Function and Application to Generation of Generalized Gaussian Noise With Exponent 1/2«, IEEE Trans. Signal Processing, 50(9), 2002 Arhivirano 2012-03-28 na Wayback Machine.
• Weisstein, Eric Wolfgang. »Lambert W-Function«. MathWorld.
• Lambertova funkcija na Wolframovi strani funkcij. (angleško)
• Francis idr., »Quantitative General Theory for Periodic Breathing« Circulation 102 (18): 2214. (2000). Uporaba Lambertove funkcije pri reševanju časovno zakasnele dinamike v bolezni človeka.
• Extreme Mathematics. Monografije o Lambertovi funkciji W, njeni numerični aproksimaciji in posplošitvah za inverze W transcendentnih oblik s ponavljajočimi eksponetnimi stolpi. (angleško)
• Računanje Lambertove funkcije W Arhivirano 2008-01-30 na Wayback Machine. (angleško)
• Hayes, Brian, Zakaj W? (Why W?) Arhivirano 2008-04-07 na Wayback Machine. (angleško)