دالة W للامبرت

تصغير|الرسم البياني للدالة <math>y = W(x)</math> ل <math>x<6</math> و <math>y > -4</math> . الفرع العلوي (باللون الأزرق) مع القيم <math>y \geq -1</math> هو الرسم البياني للدالة <math>W_0</math> (الفرع الرئيسي)، والفرع السفلي (باللون الأرجواني) مع القيم <math>y \leq -1</math> هو الرسم البياني للدالة <math>W_{-1}</math> . الحد الأدنى لقيمة <math>x</math> في <math>(-\frac{1}{e},-1)</math>

في الرياضيات ، **دالة W لِلامبرت** أو **دالة أوميغا**، هي دالة متعددة القيم، والتي تساوي مجموعة فروع الدالة العكسية للدالة f(w)=we^w ، حيث أن w هو عدد مركب وe^w هي الدالة الأسية.

لكل عدد صحيح k يوجد فرع واحد، يُرمز له بِـ W_k(\text{z}). W_0 يعرف بالفرع الرئيسي. لهذه الدوال توجد خاصيّة: إذا كان \text{z} و- w عددان مركبان، ينتج أن:

: we^w = z

يحدث إذا وفقط إذا :

: w = W_k(\text{z}) لـ k صحيح.

: ye^y = x

لهذه المعادلة حل فقط لكل x\geq-\frac{1}{e} ; نحصل على y = W_0(x) اذا كان x\geq 0 ، والقيمتين y = W_0(x) و أيضا y = W_{-1}(x) اذا كان -\frac{1}{e}\leq x  (كما ترون في الصورة).
هذه الدالة (أو عائلة الدوال) مفيدة في التوافقيات، على سبيل المثال، في عد الأشجار. يمكن استخدامها لحل المعادلات التي تحتوي على أس (على سبيل المثال الحد الأقصى لمعادلة بلانك، ومعادلة توزيع بوز-آينشتاين، ومعادلة توزيع فيرمي-ديراك).

## الأصل وسبب التسمية
تمت تسمية دالة W لِلامبرت على اسم عالم الرياضيات يوهان هاينريش لامبرت.

في بعض الأحيان الفرع الرئيسي W_0 يرمز له أيضًا بـ W_p والفرع W_{-1} يرمز له أيضًا بـ W_m .

في بعض الأحيان تسمى الدالة أيضًا " **لوغاريتم** **المضروب**" (**product logarithm**) لأنه إذا كانت الدالة العكسية لـ f(w) = e^w تسمى اللوغاريتم، لذا فمن المنطقي تسمية الدالة العكسية للمضروب we^w بالاسم "لوغاريتم المضروب"

في الفرع الرئيسي سوف نتلقى W_{0}'(0) = 1 .

## التفاضل والتكامل

### المشتقة
وفقا لطريقة إيجاد مشتقة دالة مغلقة، يمكن إثبات أنه بالنسبة لجميع فروع W توجد معادلة تفاضلية عادية:

: z(1+W)\frac{dW}{dz} = W \ \ \ (z \neq\frac{-1}{e})

( W ليست قابلة للاشتقاق لـ z = -\frac{1}{e} ) ولذلك، نحصل على الصيغة التالية:

: \frac{dW}{dz} = \frac{W(z)}{z(1+W(z))} \ \ \ z \notin \{0, -\frac{1}{e}\}

وباستخدام المتطابِقَة e^{W(z)}=\frac{z}{W(z)}  نحصل على التالي:

: \frac{dW}{dz} = \frac{1}{z + e^{W(z)}} \ \ \ (z \neq -\frac{1}{e})

في الفرع الرئيسي سوف نحصل على W_{0}'(0) = 1.

### التكامل
يمكن تكامل الدالة W(x) والعديد من الدوال الأخرى التي تحتوي على الدالة W فيها باستخدام التكامل من خلال طريقة التعويض: w = W(x) \ \ \ (x = we^w)

: \begin{align}\int W(x)dx&= xW(x) - x + e^{W(x)} + C \\ \ &
= x\left(W(x) - 1 + \frac{1}{W(x)}\right) + C\end{align}

المعادلة الثانية هي الأكثر استخداما، ولكنها غير معرفة لـ x=0.

إذا استخدمنا أن W_0(e) = 1 سنحصل على:

: \int_0^eW_0(x)dx = e-1

#### التكامل المحدود
هناك بعض التكاملات المحدودة المفيدة للفرع الرئيسي من الدالة W للامبرت. مثل:

: \int_0^\pi W_0(2\cot^2x) \sec^2xdx = 4\sqrt{\pi}

: \int_0^{\infin}\frac{W_0(x)}{x\sqrt{x}}dx = 2\sqrt{2\pi}

: \int_0^\infin W_0\left(\frac{1}{x^2}\right)dx = 2\sqrt{\pi}

يمكن إيجاد المعادلة الأولى عن طريق كتابة التكامل الغوسي في الإحداثيات القطبية.

ويمكن إيجاد المعادلة الثانية باستخدام التعويض u=W_0(x) ، فيمكنك أيضًا:

\int\frac{W(x)}{x}dx = \frac{W(x)^2}{2} + W(x) + C

: x=ue^u

: \frac{dx}{du}=(u+1)e^u

: \begin{align}
\int_0^\infty \frac{W_0(x)}{x\sqrt{x}}\,dx &=\int_0^\infty \frac{u}{ue^{u}\sqrt{ue^{u}}}(u+1)e^u \, du \\[5pt]
&=\int_0^\infty \frac{u+1}{\sqrt{ue^u}}du \\[5pt]
&=\int_0^\infty \frac{u+1}{\sqrt{u}}\frac{1}{\sqrt{e^u}}du\\[5pt]
&=\int_0^\infty u^\tfrac12 e^{-\frac{u}{2}}du+\int_0^\infty u^{-\tfrac12} e^{-\frac{u}{2}}du\\[5pt]
&=2\int_0^\infty (2w)^\tfrac12 e^{-w} \, dw+2\int_0^\infty (2w)^{-\tfrac12} e^{-w} \, dw && \quad (u =2w) \\[5pt]
&=2\sqrt{2}\int_0^\infty w^\tfrac12 e^{-w} \, dw + \sqrt{2} \int_0^\infty w^{-\tfrac12} e^{-w} \, dw \\[5pt]
&=2\sqrt{2} \cdot \Gamma \left (\tfrac32 \right )+\sqrt{2} \cdot \Gamma \left (\tfrac12 \right ) \\[5pt]
&=2\sqrt{2} \left (\tfrac12\sqrt{\pi} \right )+\sqrt{2}\left(\sqrt{\pi}\right) \\[5pt]
&=2\sqrt{2\pi}.
\end{align}

المعادلة الثالثة تنبع من المعادلة الثانية مع تعويض u=x^{-2} وبالإضافة إلى ذلك فإن المعادلة الأولى تنبع أيضاً من المعادلة الثالثة بتعويض z=\frac{1}{\sqrt{2}}\tan x.

## المراجع

تصنيف:تحليل مركب
تصنيف:توافيقيات
تصنيف:دوال
تصنيف:دوال خاصة