دالة غودرمان

تربط دالة غودرمان مساحة القطاع الدائري بمساحة القطاع الزائدي ، عبر إسقاط مجسم مشترك . إذا كانت مساحة القطاع الزائدي الأزرق ضعف مساحة القطاع الزائدي ، فإن مساحة القطاع الدائري الأحمر ضعف مساحة القطاع الزائدي، أي ϕ = gd ψ. مساحة المثلث البنفسجي ضعف مساحة المثلث، أي s = tan ½ ϕ = tanh ½ ψ . إحداثيات النقطة الزرقاء هي ( cosh ψ , sinh ψ ) . إحداثيات النقطة الحمراء هي ( cos ϕ , sin ϕ ) . إحداثيات النقطة البنفسجية هي (0, s ).
رسم بياني لدالة غودرمان.
رسم بياني لدالة غودرمان العكسية.

في الرياضيات، تربط دالة غودرمان قياس الزاوية الزائديةψ{\textstyle \psi }قياس الزاوية الدائريةϕ{\textstyle \phi }يُطلق عليه اسم غودرمانيψ{\textstyle \psi }ورمزت إلىجيدψ{\textstyle \اسم المشغل {gd} \psi }[ 1 ] تكشف دالة غودرمان عن علاقة وثيقة بين الدوال الدائرية والدوال الزائدية . وقد طُرحت في ستينيات القرن الثامن عشر الميلادي على يد يوهان هاينريش لامبرت ، وسُميت لاحقًا نسبةً إلى كريستوف غودرمان الذي وصف أيضًا العلاقة بين الدوال الدائرية والزائدية في عام 1830. [ 2 ] استُخدمت دالة غودرمان ومعكوسها تاريخيًا لإنشاء جداول الدوال الزائدية أو لحساب الدوال الزائدية بمعرفة جدول الدوال الدائرية فقط. تُسمى دالة غودرمان أحيانًا بالسعة الزائدية كحالة حدية لسعة جاكوبي الإهليلجية .أكون(ψ،م){\textstyle \operatorname {am} (\psi ,m)}عندما يكون المعاملم=1.m=1.

تُعرَّف دالة غودرمان الحقيقية عادةً لـ-<ψ<{\textstyle -\infty <\psi <\infty }أن يكون تكامل القاطع الزائدي [ 3 ]

ϕ=جيدψ0ψسيشتدت=دالة الظل العكسي(سينهψ).{\displaystyle \phi =\operatorname {gd} \psi \equiv \int _{0}^{\psi }\operatorname {sech} t\,\mathrm {d} t=\operatorname {arctan} (\sinh \psi ).}

يمكن تعريف دالة غودرمان العكسية الحقيقية لـ-12π<ϕ<12π{\textstyle -{\tfrac {1}{2}}\pi <\phi <{\tfrac {1}{2}}\pi }باعتباره تكامل القاطع (الدائري)

ψ=جيد-1ϕ=0ϕثانيةتدت=أرسينه(لون برونزيϕ).{\displaystyle \psi =\operatorname {gd} ^{-1}\phi =\int _{0}^{\phi }\operatorname {sec} t\,\mathrm {d} t=\operatorname {arsinh} (\tan \phi ).}

قياس الزاوية الزائديةψ=جيد-1ϕ{\displaystyle \psi =\operatorname {gd} ^{-1}\phi }يُطلق عليه اسم "مضاد غودرمان "ϕ{\displaystyle \phi }أو أحيانًا لامبرتيان منϕ{\displaystyle \phi }، المشار إليهψ=لامϕ.{\displaystyle \psi =\operatorname {lam} \phi .}[ 4 ] في سياقالجيوديسياوالملاحةلتحديدخطوط العرضϕ{\textstyle \phi }،كجيد-1ϕ{\displaystyle k\operatorname {gd} ^{-1}\phi }(مُقاسًا بثابت اختياري)ك{\textstyle k}كان يُطلق عليه تاريخياً اسم الجزء الميريدياني منϕ{\displaystyle \phi }( بالفرنسية : latitude croissance ). وهو الإحداثي الرأسي لإسقاط مركاتور .

قياسات الزاويتينϕ{\textstyle \phi }وψ{\textstyle \psi }ترتبط هذه العناصر ببعضها البعض من خلال إسقاط مجسم مشترك.

s=لون برونزي12ϕ=tanh12ψ،{\displaystyle s=\tan {\tfrac {1}{2}}\phi =\tanh {\tfrac {1}{2}}\psi ,}

ويمكن أن تكون هذه الهوية بمثابة تعريف بديل لـجيد{\textstyle \اسم المشغل {gd} }وجيد-1{\textstyle \اسم المشغل {gd} ^{-1}}صالحة في جميع أنحاء المستوى المركب :

جيدψ=2دالة الظل العكسي(tanh12ψ)،جيد-1ϕ=2أرتان(لون برونزي12ϕ).{\displaystyle {\begin{aligned}\operatorname {gd} \psi &={2\arctan }{\bigl (}\tanh {\tfrac {1}{2}}\psi \,{\bigr )},\\[5mu]\operatorname {gd} ^{-1}\phi &={2\operatorname {artanh} }{\bigl (}\tan {\tfrac {1}{2}}\phi \,{\bigr )}.\end{aligned}}}

المتطابقات الدائرية والزائدية

يمكننا تقييم تكامل القاطع الزائدي باستخدام الإسقاط المجسم ( نصف الظل الزائدي ) كتغيير للمتغيرات : [ 5 ]

جيدψ0ψ1ضرب بالعصاتدت=0tanh12ψ1-u21+u22دu1-u2(u=tanh12ت)=20tanh12ψ11+u2دu=2دالة الظل العكسي(tanh12ψ)،لون برونزي12جيدψ=tanh12ψ.\begin{aligned}\operatorname {gd} \psi &\equiv \int _{0}^{\psi }{\frac {1}{\operatorname {cosh} t}}\mathrm {d} t=\int _{0}^{\tanh {\frac {1}{2}}\psi }{\frac {1-u^{2}}{1+u^{2}}}{\frac {2\,\mathrm {d} u}{1-u^{2}}}\qquad {\bigl (}u=\tanh {\tfrac {1}{2}}t{\bigr )}\\[8mu]&=2\int _{0}^{\tanh {\frac {1}{2}}\psi }{\frac {1}{1+u^{2}}}\mathrm {d} u={2\arctan }{\bigl (}\tanh {\tfrac {1}{2}}\psi \,{\bigr )},\\[5mu]\tan {\tfrac {1}{2}}{\operatorname {gd} \psi }&=\tanh {\tfrac {1}{2}}\psi .\end{aligned}}}

تأجيرϕ=جيدψ{\textstyle \phi =\operatorname {gd} \psi }وs=لون برونزي12ϕ=tanh12ψ{\textstyle s=\tan {\tfrac {1}{2}}\phi =\tanh {\tfrac {1}{2}}\psi }يمكننا استنتاج عدد من المتطابقات بين الدوال الزائدية لـψ{\textstyle \psi }والوظائف الدائرية لـϕ.{\textstyle \phi .}[ 6 ]

الهويات المتعلقة بدالة غودرمان ممثلة بيانياً.
الهويات المتعلقة بدالة غودرمان ممثلة بيانياً.
s=لون برونزي12ϕ=tanh12ψ،2s1+s2=الخطيئةϕ=tanhψ،1+s22s=cscϕ=ملابسψ،1-s21+s2=كوسϕ=سيشψ،1+s21-s2=ثانيةϕ=ضرب بالعصاψ،2s1-s2=لون برونزيϕ=سينهψ،1-s22s=سرير أطفالϕ=سي إس سي إتشψ.{\displaystyle {\begin{aligned}s&=\tan {\tfrac {1}{2}}\phi =\tanh {\tfrac {1}{2}}\psi ,\\[6mu]{\frac {2s}{1+s^{2}}}&=\sin \phi =\tanh \psi ,\quad &{\frac {1+s^{2}}{2s}}&=\csc \phi =\coth \psi ,\\[10mu]{\frac {1-s^{2}}{1+s^{2}}}&=\cos \phi =\operatorname {sech} \psi ,\quad &{\frac {1+s^{2}}{1-s^{2}}}&=\sec \phi =\cosh \psi ,\\[10mu]{\frac {2s}{1-s^{2}}}&=\tan \phi =\sinh \psi ,\quad &{\frac {1-s^{2}}{2s}}&=\cot \phi =\operatorname {csch} \psi .\\[8mu]\end{aligned}}}

تُستخدم هذه عادةً كتعبيرات عنجيد{\displaystyle \operatorname {gd} }وجيد-1{\displaystyle \operatorname {gd} ^{-1}}للقيم الحقيقية لـψ{\displaystyle \psi }وϕ{\displaystyle \phi }مع|ϕ|<12π.{\displaystyle |\phi |<{\tfrac {1}{2}}\pi .}على سبيل المثال، الصيغ ذات السلوك العددي الجيد

جيدψ=دالة الظل العكسي(سينهψ)،جيد-1ϕ=أرسينه(لون برونزيϕ).{\displaystyle {\begin{aligned}\operatorname {gd} \psi &=\operatorname {arctan} (\sinh \psi ),\\[6mu]\operatorname {gd} ^{-1}\phi &=\operatorname {arsinh} (\tan \phi ).\end{aligned}}}

(ملاحظة، لـ)|ϕ|>12π{\displaystyle |\phi |>{\tfrac {1}{2}}\pi }(وفي حالة الحجج المعقدة، يجب توخي الحذر عند اختيار فروع الدوال العكسية.) [ 7 ]

يمكننا أيضًا التعبيرψ{\textstyle \psi }وϕ{\textstyle \phi }من ناحيةs:{\textstyle s\colon }

2دالة الظل العكسيs=ϕ=جيدψ،2أرتانs=جيد-1ϕ=ψ.{\displaystyle {\begin{aligned}2\arctan s&=\phi =\operatorname {gd} \psi ,\\[6mu]2\operatorname {artanh} s&=\operatorname {gd} ^{-1}\phi =\psi .\\[6mu]\end{aligned}}}

إذا قمنا بالتوسعلون برونزي12{\textstyle \tan {\tfrac {1}{2}}}وtanh12{\textstyle \tanh {\tfrac {1}{2}}}من حيث الدالة الأسية ، يمكننا أن نرى أنs،{\textstyle s,}خبرةϕأنا،{\displaystyle \exp \phi i,}وخبرةψ{\displaystyle \exp \psi }جميعها تحويلات موبيوس لبعضها البعض (وتحديداً، دوران كرة ريمان ):

s=أنا1-هـϕأنا1+هـϕأنا=هـψ-1هـψ+1،أناs-أناs+أنا=خبرةϕأنا=هـψ-أناهـψ+أنا،1+s1-s=أناأنا+هـϕأناأنا-هـϕأنا=خبرةψ.{\displaystyle {\begin{aligned}s&=i{\frac {1-e^{\phi i}}{1+e^{\phi i}}}={\frac {e^{\psi }-1}{e^{\psi }+1}},\\[10mu]i{\frac {s-i}{s+i}}&=\exp \phi i\quad ={\frac {e^{\psi }-i}{e^{\psi }+i}},\\[10mu]{\frac {1+s}{1-s}}&=i{\frac {i+e^{\phi i}}{i-e^{\phi i}}}\,=\exp \psi .\end{aligned}}}

بالنسبة للقيم الحقيقية لـψ{\textstyle \psi }وϕ{\textstyle \phi }مع|ϕ|<12π{\displaystyle |\phi |<{\tfrac {1}{2}}\pi }يمكن كتابة تحويلات موبيوس هذه بدلالة الدوال المثلثية بعدة طرق.

خبرةψ=ثانيةϕ+لون برونزيϕ=لون برونزي12(12π+ϕ)=1+لون برونزي12ϕ1-لون برونزي12ϕ=1+الخطيئةϕ1-الخطيئةϕ،خبرةϕأنا=سيشψ+أناtanhψ=tanh12(-12πأنا+ψ)=1+أناtanh12ψ1-أناtanh12ψ=1+أناسينهψ1-أناسينهψ.{\displaystyle {\begin{aligned}\exp \psi &=\sec \phi +\tan \phi =\tan {\tfrac {1}{2}}{\bigl (}{\tfrac {1}{2}}\pi +\phi {\bigr )}\\[6mu]&={\frac {1+\tan {\tfrac {1}{2}}\phi }{1-\tan {\tfrac {1}{2}}\phi }}={\sqrt {\frac {1+\sin \phi }{1-\sin \phi }}},\\[12mu]\exp \phi i&=\operatorname {sech} \psi +i\tanh \psi =\tanh {\tfrac {1}{2}}{\bigl (}{-{\tfrac {1}{2}}}\pi i+\psi {\bigr )}\\[6mu]&={\frac {1+i\tanh {\tfrac {1}{2}}\psi }{1-i\tanh {\tfrac {1}{2}}\psi }}={\sqrt {\frac {1+i\sinh \psi }{1-i\sinh \psi }}}.\end{aligned}}}

وهذه تعطي تعبيرات إضافية لـجيد{\displaystyle \operatorname {gd} }وجيد-1{\displaystyle \operatorname {gd} ^{-1}}للمناقشات الحقيقية مع|ϕ|<12π.{\displaystyle |\phi |<{\tfrac {1}{2}}\pi .}على سبيل المثال، [ 8 ]

جيدψ=2دالة الظل العكسيهـψ-12π،جيد-1ϕ=سجل(ثانيةϕ+لون برونزيϕ).{\displaystyle {\begin{aligned}\operatorname {gd} \psi &=2\arctan e^{\psi }-{\tfrac {1}{2}}\pi ,\\[6mu]\operatorname {gd} ^{-1}\phi &=\log(\sec \phi +\tan \phi ).\end{aligned}}}

القيم المركبة

دالة غودرمان z ↦ gd z هي دالة تحويلية من شريط لانهائي إلى شريط لانهائي آخر. يمكن تقسيمها إلى جزأين: دالة z ↦ tanh 1 / 2 z من شريط لانهائي إلى قرص الوحدة المركب، ودالة ζ ↦ 2 arctan ζ من القرص إلى الشريط اللانهائي الآخر.

كدالة لمتغير مركب ،zw=جيدz{\textstyle z\mapsto w=\operatorname {gd} z}يرسم بشكل متطابق الشريط اللانهائي|أناz|12π{\textstyle \left|\operatorname {Im} z\right|\leq {\tfrac {1}{2}}\pi }إلى الشريط اللانهائي|يكررw|12π،{\textstyle \left|\operatorname {Re} w\right|\leq {\tfrac {1}{2}}\pi ,}بينماwz=جيد-1w{\textstyle w\mapsto z=\operatorname {gd} ^{-1}w}يرسم بشكل متطابق الشريط اللانهائي|يكررw|12π{\textstyle \left|\operatorname {Re} w\right|\leq {\tfrac {1}{2}}\pi }إلى الشريط اللانهائي|أناz|12π.{\textstyle \left|\operatorname {Im} z\right|\leq {\tfrac {1}{2}}\pi .}

ويستمر التحليل بالانعكاسات إلى المستوى المركب بأكمله،zw=جيدz{\textstyle z\mapsto w=\operatorname {gd} z}هي دالة دورية ذات دورة2πأنا{\textstyle 2\pi i}والذي يرسل أي شريط لانهائي من "الارتفاع"2πأنا{\textstyle 2\pi i}على الشريط-π<يكررwπ.{\textstyle -\pi <\operatorname {Re} w\leq \pi .}وبالمثل، عند امتدادها إلى المستوى المركب بأكمله،wz=جيد-1w{\textstyle w\mapsto z=\operatorname {gd} ^{-1}w}هي دالة دورية ذات دورة2π{\textstyle 2\pi }والذي يرسل أي شريط لا نهائي من "العرض"2π{\textstyle 2\pi }على الشريط-π<أناzπ.{\textstyle -\pi <\operatorname {Im} z\leq \pi .}[ 9 ] بالنسبة لجميع النقاط في المستوى المركب، يمكن كتابة هذه الدوال بشكل صحيح على النحو التالي:

جيدz=2دالة الظل العكسي(tanh12z)،جيد-1w=2أرتان(لون برونزي12w).{\displaystyle {\begin{aligned}\operatorname {gd} z&={2\arctan }{\bigl (}\tanh {\tfrac {1}{2}}z\,{\bigr )},\\[5mu]\operatorname {gd} ^{-1}w&={2\operatorname {artanh} }{\bigl (}\tan {\tfrac {1}{2}}w\,{\bigr )}.\end{aligned}}}

لـجيد{\textstyle \operatorname {gd} }وجيد-1{\textstyle \operatorname {gd} ^{-1}}إذا أردنا أن تظل الدوال قابلة للعكس مع هذه المجالات الموسعة، فيمكننا اعتبار كل دالة متعددة القيم (ربماالله{\textstyle \operatorname {Gd} }والله-1{\textstyle \operatorname {Gd} ^{-1}}، معجيد{\textstyle \operatorname {gd} }وجيد-1{\textstyle \operatorname {gd} ^{-1}}الفرع الرئيسي ) أو اعتبار مجالاتها ومجالاتها المقابلة كسطوح ريمان .

لوu+أناv=جيد(x+أناy)،{\textstyle u+iv=\operatorname {gd} (x+iy),}ثم المكونات الحقيقية والخياليةu{\textstyle u}وv{\textstyle v}يمكن العثور عليه من خلال: [ 10 ]

لون برونزيu=سينهxكوسy،tanhv=الخطيئةyضرب بالعصاx.{\displaystyle \tan u={\frac {\sinh x}{\cos y}},\quad \tanh v={\frac {\sin y}{\cosh x}}.}

(في التطبيق العملي، تأكد من استخدام دالة الظل العكسي ذات الوسيطين ،u=atan2(سينهx،كوسy){\textstyle u=\operatorname {atan2} (\sinh x,\cos y)}.)

وبالمثل، إذاx+أناy=جيد-1(u+أناv)،{\textstyle x+iy=\operatorname {gd} ^{-1}(u+iv),}ثم المكوناتx{\textstyle x}وy{\textstyle y}يمكن العثور عليه من خلال: [ 11 ]

tanhx=الخطيئةuضرب بالعصاv،لون برونزيy=سينهvكوسu.{\displaystyle \tanh x={\frac {\sin u}{\cosh v}},\quad \tan y={\frac {\sinh v}{\cos u}}.}

بضرب هذه معًا، يتضح الهوية الإضافية [ 8 ]

tanhxلون برونزيy=لون برونزيutanhv.{\displaystyle \tanh x\,\tan y=\tan u\,\tanh v.}

التناظرات

يمكن اعتبار الدالتين بمثابة دوران أو انعكاس لبعضهما البعض، بعلاقة مماثلة لـسينهأناz=أناالخطيئةz{\textstyle \sinh iz=i\sin z}بين الجيب والجيب الزائدي : [ 12 ]

جيدأناz=أناجيد-1z،جيد-1أناz=أناجيدz.{\displaystyle {\begin{aligned}\operatorname {gd} iz&=i\operatorname {gd} ^{-1}z,\\[5mu]\operatorname {gd} ^{-1}iz&=i\operatorname {gd} z.\end{aligned}}}

الدالتان فرديتان وتتبادلان مع المرافق المركب . أي أن الانعكاس حول المحور الحقيقي أو التخيلي في المجال ينتج عنه نفس الانعكاس في المجال المقابل .

جيد(-z)=-جيدz،جيدz¯=جيدz¯،جيد(-z¯)=-جيدz¯،جيد-1(-z)=-جيد-1z،جيد-1z¯=جيد-1z¯،جيد-1(-z¯)=-جيد-1z¯.{\displaystyle {\begin{aligned}\operatorname {gd} (-z)&=-\operatorname {gd} z,&\quad \operatorname {gd} {\bar {z}}&={\overline {\operatorname {gd} z}},&\quad \operatorname {gd} (-{\bar {z}})&=-{\overline {\operatorname {gd} z}},\\[5mu]\operatorname {gd} ^{-1}(-z)&=-\operatorname {gd} ^{-1}z,&\quad \operatorname {gd} ^{-1}{\bar {z}}&={\overline {\operatorname {gd} ^{-1}z}},&\quad \operatorname {gd} ^{-1}(-{\bar {z}})&=-{\overline {\operatorname {gd} ^{-1}z}}.\end{aligned}}}

الدوال دورية ، ولها دورات.2πأنا{\textstyle 2\pi i}و2π{\textstyle 2\pi }:

جيد(z+2πأنا)=جيدz،جيد-1(z+2π)=جيد-1z.{\displaystyle {\begin{aligned}\operatorname {gd} (z+2\pi i)&=\operatorname {gd} z,\\[5mu]\operatorname {gd} ^{-1}(z+2\pi )&=\operatorname {gd} ^{-1}z.\end{aligned}}}

ترجمة في مجالجيد{\textstyle \operatorname {gd} }بواسطة±πأنا{\textstyle \pm \pi i}ينتج عن ذلك دوران نصف دورة وانتقال في المجال المقابل بواسطة أحد±π،{\textstyle \pm \pi ,}والعكس صحيح بالنسبة لـجيد-1:{\textstyle \operatorname {gd} ^{-1}\colon }[ 13 ]

جيد(±πأنا+z)={π-جيدzلو   يكررz0،-π-جيدzلو   يكررz<0،جيد-1(±π+z)={πأنا-جيد-1zلو   أناz0،-πأنا-جيد-1zلو   أناz<0.{\displaystyle {\begin{aligned}\operatorname {gd} ({\pm \pi i}+z)&={\begin{cases}\pi -\operatorname {gd} z\quad &{\mbox{if }}\ \ \operatorname {Re} z\geq 0,\\[5mu]-\pi -\operatorname {gd} z\quad &{\mbox{if }}\ \ \operatorname {Re} z<0,\end{cases}}\\[15mu]\operatorname {gd} ^{-1}({\pm \pi }+z)&={\begin{cases}\pi i-\operatorname {gd} ^{-1}z\quad &{\mbox{if }}\ \ \operatorname {Im} z\geq 0,\\[3mu]-\pi i-\operatorname {gd} ^{-1}z\quad &{\mbox{if }}\ \ \operatorname {Im} z<0.\end{cases}}\end{aligned}}}

انعكاس في مجالجيد{\textstyle \operatorname {gd} }عبر أي من الخطينx±12πأنا{\textstyle x\pm {\tfrac {1}{2}}\pi i}ينتج عن ذلك انعكاس في المجال المقابل عبر أحد الخطوط±12π+yأنا،{\textstyle \pm {\tfrac {1}{2}}\pi +yi,}والعكس صحيح بالنسبة لـجيد-1:{\textstyle \operatorname {gd} ^{-1}\colon }

جيد(±πأنا+z¯)={π-جيدz¯لو   يكررz0،-π-جيدz¯لو   يكررz<0،جيد-1(±π-z¯)={πأنا+جيد-1z¯لو   أناz0،-πأنا+جيد-1z¯لو   أناz<0.{\displaystyle {\begin{aligned}\operatorname {gd} ({\pm \pi i}+{\bar {z}})&={\begin{cases}\pi -{\overline {\operatorname {gd} z}}\quad &{\mbox{if }}\ \ \operatorname {Re} z\geq 0,\\[5mu]-\pi -{\overline {\operatorname {gd} z}}\quad &{\mbox{if }}\ \ \operatorname {Re} z<0,\end{cases}}\\[15mu]\operatorname {gd} ^{-1}({\pm \pi }-{\bar {z}})&={\begin{cases}\pi i+{\overline {\operatorname {gd} ^{-1}z}}\quad &{\mbox{if }}\ \ \operatorname {Im} z\geq 0,\\[3mu]-\pi i+{\overline {\operatorname {gd} ^{-1}z}}\quad &{\mbox{if }}\ \ \operatorname {Im} z<0.\end{cases}}\end{aligned}}}

هذا مرتبط بالهوية

tanh12(πأنا±z)=لون برونزي12(πجيدz).{\displaystyle \tanh {\tfrac {1}{2}}({\pi i}\pm z)=\tan {\tfrac {1}{2}}({\pi }\mp \operatorname {gd} z).}

قيم محددة

بعض القيم المحددة (حيث{\textstyle \infty }يشير إلى الحد عند أحد طرفي الشريط اللانهائي): [ 14 ]

جيد(0)=0،جيد(±سجل(2+3))=±13π،جيد(πأنا)=π،جيد(±13πأنا)=±سجل(2+3)أنا،جيد(±)=±12π،جيد(±سجل(1+2))=±14π،جيد(±12πأنا)=±أنا،جيد(±14πأنا)=±سجل(1+2)أنا،جيد(سجل(1+2)±12πأنا)=12π±سجل(1+2)أنا،جيد(-سجل(1+2)±12πأنا)=-12π±سجل(1+2)أنا.{\displaystyle {\begin{aligned}\operatorname {gd} (0)&=0,&\quad {\operatorname {gd} }{\bigl (}{\pm {\log }{\bigl (}2+{\sqrt {3}}{\bigr )}}{\bigr )}&=\pm {\tfrac {1}{3}}\pi ,\\[5mu]\operatorname {gd} (\pi i)&=\pi ,&\quad {\operatorname {gd} }{\bigl (}{\pm {\tfrac {1}{3}}}\pi i{\bigr )}&=\pm {\log }{\bigl (}2+{\sqrt {3}}{\bigr )}i,\\[5mu]\operatorname {gd} ({\pm \infty })&=\pm {\tfrac {1}{2}}\pi ,&\quad {\operatorname {gd} }{\bigl (}{\pm {\log }{\bigl (}1+{\sqrt {2}}{\bigr )}}{\bigr )}&=\pm {\tfrac {1}{4}}\pi ,\\[5mu]{\operatorname {gd} }{\bigl (}{\pm {\tfrac {1}{2}}}\pi i{\bigr )}&=\pm \infty i,&\quad {\operatorname {gd} }{\bigl (}{\pm {\tfrac {1}{4}}}\pi i{\bigr )}&=\pm {\log }{\bigl (}1+{\sqrt {2}}{\bigr )}i,\\[5mu]&&{\operatorname {gd} }{\bigl (}{\log }{\bigl (}1+{\sqrt {2}}{\bigr )}\pm {\tfrac {1}{2}}\pi i{\bigr )}&={\tfrac {1}{2}}\pi \pm {\log }{\bigl (}1+{\sqrt {2}}{\bigr )}i,\\[5mu]&&{\operatorname {gd} }{\bigl (}{-\log }{\bigl (}1+{\sqrt {2}}{\bigr )}\pm {\tfrac {1}{2}}\pi i{\bigr )}&=-{\tfrac {1}{2}}\pi \pm {\log }{\bigl (}1+{\sqrt {2}}{\bigr )}i.\end{aligned}}}

المشتقات

بما أن دالتي غودرمان ودالة غودرمان العكسية يمكن تعريفهما على أنهما الدوال الأصلية للقاطع الزائدي والقاطع الدائري، على التوالي، فإن مشتقاتهما هي دوال القاطع هذه:

ددzجيدz=سيشz،ددzجيد-1z=ثانيةz.{\displaystyle {\begin{aligned}{\frac {\mathrm {d} }{\mathrm {d} z}}\operatorname {gd} z&=\operatorname {sech} z,\\[10mu]{\frac {\mathrm {d} }{\mathrm {d} z}}\operatorname {gd} ^{-1}z&=\sec z.\end{aligned}}}

متطابقات جمع الحجج

من خلال الجمع بين متطابقات الجمع الزائدية والدائرية ،

tanh(z+w)=tanhz+tanhw1+tanhztanhw،لون برونزي(z+w)=لون برونزيz+لون برونزيw1-لون برونزيzلون برونزيw،{\displaystyle {\begin{aligned}\tanh(z+w)&={\frac {\tanh z+\tanh w}{1+\tanh z\,\tanh w}},\\[10mu]\tan(z+w)&={\frac {\tan z+\tan w}{1-\tan z\,\tan w}},\end{aligned}}}

باستخدام متطابقة القطع الزائد الدائرية ،

لون برونزي12(جيدz)=tanh12z،{\displaystyle \tan {\tfrac {1}{2}}(\operatorname {gd} z)=\tanh {\tfrac {1}{2}}z,}

لدينا متطابقات جمع الحجج الخاصة بجودرمان:

جيد(z+w)=2دالة الظل العكسيلون برونزي12(جيدz)+لون برونزي12(جيدw)1+لون برونزي12(جيدz)لون برونزي12(جيدw)،جيد-1(z+w)=2أرتانtanh12(جيد-1z)+tanh12(جيد-1w)1-tanh12(جيد-1z)tanh12(جيد-1w).{\displaystyle {\begin{aligned}\operatorname {gd} (z+w)&=2\arctan {\frac {\tan {\tfrac {1}{2}}(\operatorname {gd} z)+\tan {\tfrac {1}{2}}(\operatorname {gd} w)}{1+\tan {\tfrac {1}{2}}(\operatorname {gd} z)\,\tan {\tfrac {1}{2}}(\operatorname {gd} w)}},\\[12mu]\operatorname {gd} ^{-1}(z+w)&=2\operatorname {artanh} {\frac {\tanh {\tfrac {1}{2}}(\operatorname {gd} ^{-1}z)+\tanh {\tfrac {1}{2}}(\operatorname {gd} ^{-1}w)}{1-\tanh {\tfrac {1}{2}}(\operatorname {gd} ^{-1}z)\,\tanh {\tfrac {1}{2}}(\operatorname {gd} ^{-1}w)}}.\end{aligned}}}

يمكن كتابة متطابقات جمع الوسائط الإضافية بدلالة دوال دائرية أخرى، [ 15 ] لكنها تتطلب عناية أكبر في اختيار الفروع في الدوال العكسية. والجدير بالذكر،

جيد(z+w)=u+v،أين لون برونزيu=سينهzضرب بالعصاw، لون برونزيv=سينهwضرب بالعصاz،جيد-1(z+w)=u+v،أين tanhu=الخطيئةzكوسw، tanhv=الخطيئةwكوسz،{\displaystyle {\begin{aligned}\operatorname {gd} (z+w)&=u+v,\quad {\text{where}}\ \tan u={\frac {\sinh z}{\cosh w}},\ \tan v={\frac {\sinh w}{\cosh z}},\\[10mu]\operatorname {gd} ^{-1}(z+w)&=u+v,\quad {\text{where}}\ \tanh u={\frac {\sin z}{\cos w}},\ \tanh v={\frac {\sin w}{\cos z}},\end{aligned}}}

والتي يمكن استخدامها لاستنتاج الحساب لكل مكون من مكونات غودرمانيان المركب وغودرمانيان العكسي. [ 16 ]

في هذه الحالة المحددةz=w،{\textstyle z=w,}المتطابقات ذات الوسيطين هي

جيد(2z)=2دالة الظل العكسي(الخطيئة(جيدz))،جيد-1(2z)=2أرتان(سينه(جيد-1z)).{\displaystyle {\begin{aligned}\operatorname {gd} (2z)&=2\arctan(\sin(\operatorname {gd} z)),\\[5mu]\operatorname {gd} ^{-1}(2z)&=2\operatorname {artanh} (\sinh(\operatorname {gd} ^{-1}z)).\end{aligned}}}

سلسلة تايلور

متسلسلة تايلور بالقرب من الصفر، صالحة للقيم المركبةz{\textstyle z}مع|z|<12π،{\textstyle |z|<{\tfrac {1}{2}}\pi ,}هي [ 17 ]

جيدz=ك=0هـك(ك+1)!zك+1=z-16z3+124z5-615040z7+27772576z9-...،جيد-1z=ك=0|هـك|(ك+1)!zك+1=z+16z3+124z5+615040z7+27772576z9+...،{\displaystyle {\begin{aligned}\operatorname {gd} z&=\sum _{k=0}^{\infty }{\frac {E_{k}}{(k+1)!}}z^{k+1}=z-{\frac {1}{6}}z^{3}+{\frac {1}{24}}z^{5}-{\frac {61}{5040}}z^{7}+{\frac {277}{72576}}z^{9}-\dots ,\\[10mu]\operatorname {gd} ^{-1}z&=\sum _{k=0}^{\infty }{\frac {|E_{k}|}{(k+1)!}}z^{k+1}=z+{\frac {1}{6}}z^{3}+{\frac {1}{24}}z^{5}+{\frac {61}{5040}}z^{7}+{\frac {277}{72576}}z^{9}+\dots ,\end{aligned}}}

حيث الأرقامهـك{\textstyle E_{k}}هي أعداد قاطع أويلر ، 1، 0، -1، 0، 5، 0، -61، 0، 1385 ... (المتتاليات A122045 ، A000364 ، و A028296 في OEIS ). تم حساب هذه المتسلسلات لأول مرة بواسطة جيمس غريغوري في عام 1671. [ 18 ]

بما أن دالتي غودرمان ودالة غودرمان العكسية هما تكاملات دالتي القاطع الزائدي والقاطع، فإن البسطينهـك{\textstyle E_{k}}و|هـك|{\textstyle |E_{k}|}هي نفسها بسط متسلسلة تايلور لـ sech و sec على التوالي، ولكن تم إزاحتها بمقدار خانة واحدة.

البسط المختزلة غير الموقعة هي 1، 1، 1، 61، 277، ... والمقامات المختزلة هي 1، 6، 24، 5040، 72576، ... (المتتاليات A091912 و A136606 في OEIS ).

تاريخ

ترتبط الدالة ومعكوسها بإسقاط مركاتور . يُطلق على الإحداثي الرأسي في إسقاط مركاتور اسم خط العرض المتساوي القياس ، ويُرمز إليه غالبًا بـψ.{\textstyle \psi .}من حيث خط العرضϕ{\textstyle \phi }على الكرة (معبرًا عنها بالراديان ) يمكن كتابة خط العرض المتساوي القياس

ψ=جيد-1ϕ=0ϕثانيةتدت.{\displaystyle \psi =\operatorname {gd} ^{-1}\phi =\int _{0}^{\phi }\sec t\,\mathrm {d} t.}

المقلوب من خط العرض المتساوي القياس إلى خط العرض الكروي هوϕ=جيدψ.{\textstyle \phi =\operatorname {gd} \psi .}(ملاحظة: على سطح إهليلجي دوراني ، تكون العلاقة بين خط العرض الجيوديسي وخط العرض المتساوي القياس أكثر تعقيدًا بعض الشيء.)

رسم جيراردوس ميركاتور خريطته الشهيرة عام 1569، لكن الطريقة الدقيقة لرسمها لم تُكشف. وفي عام 1599، وصف إدوارد رايت طريقةً لرسم إسقاط ميركاتور عدديًا باستخدام جداول الدوال المثلثية، لكنه لم يُقدّم صيغةً مغلقة. نُشرت الصيغة المغلقة عام 1668 على يد جيمس غريغوري .

جدول يضم الدوال الدائرية والزائدية ودوال غودرمان معًا: من خلال توفير عمود يسرد زاوية زائدية u تتوافق مع كل زاوية دائرية (تسمى "arc"، تساوي gd u )، يمكن أن يشغل جيب القوس الدائري وظل الزاوية الزائدية u نفس العمود، إلخ.

قدّم يوهان هاينريش لامبرت دالة غودرمان في ستينيات القرن الثامن عشر، بالتزامن مع الدوال الزائدية . أطلق عليها اسم "الزاوية المتسامية"، وحملت أسماءً مختلفة حتى عام 1862، حين اقترح آرثر كايلي تسميتها باسمها الحالي تكريمًا لعمل كريستوف غودرمان في ثلاثينيات القرن التاسع عشر حول نظرية الدوال الخاصة . [ 19 ] كان غودرمان قد نشر مقالات في مجلة كريل ، جُمعت لاحقًا في كتاب [ 20 ] شرح فيهاسينه{\textstyle \sinh }وضرب بالعصا{\textstyle \cosh }لجمهور واسع (على الرغم من تمثيله بالرموز)Sأنان{\textstyle {\mathfrak {Sin}}}وجos{\textstyle {\mathfrak {Cos}}}).

الترميزجيد{\textstyle \operatorname {gd} }تم تقديمها من قبل كايلي التي بدأت بالاتصالϕ=جيدu{\textstyle \phi =\operatorname {gd} u}سعة جاكوبي الإهليلجيةأكونu{\textstyle \operatorname {am} u}في الحالة المنحلة حيث يكون معامل القطع الناقصم=1،{\textstyle m=1,}لهذا السبب.1-مالخطيئة2ϕ{\textstyle {\sqrt {1-m\sin \!^{2}\,\phi }}}يتقلص إلىكوسϕ.{\textstyle \cos \phi .}[ 21 ] هذا هو معكوستكامل دالة القاطع. باستخدام ترميز كايلي،

u=0دϕكوسϕ=سجللون برونزي(14π+12ϕ).{\displaystyle u=\int _{0}{\frac {d\phi }{\cos \phi }}={\log \,\tan }{\bigl (}{\tfrac {1}{4}}\pi +{\tfrac {1}{2}}\phi {\bigr )}.}

ثم يستنتج "تعريف المتعالي".

جيدu=1أناسجللون برونزي(14π+12uأنا)،{\displaystyle \operatorname {gd} u={{\frac {1}{i}}\log \,\tan }{\bigl (}{\tfrac {1}{4}}\pi +{\tfrac {1}{2}}ui{\bigr )},}

مع ملاحظة أنه "على الرغم من ظهورها في شكل تخيلي، إلا أنها وظيفة حقيقية لـu{\textstyle u}".

استُخدمت مصفوفة غودرمان ومعكوسها لجعل الجداول المثلثية للدوال الدائرية تعمل أيضًا كجداول للدوال الزائدية. بفرض زاوية زائديةψ{\textstyle \psi }يمكن إيجاد الدوال الزائدية من خلال البحث أولاً عنϕ=جيدψ{\textstyle \phi =\operatorname {gd} \psi }في جدول غودرمان، ثم البحث عن الدالة الدائرية المناسبة لـϕ{\textstyle \phi }أو عن طريق تحديد الموقع مباشرةψ{\textstyle \psi }في جهاز مساعدجيد-1{\displaystyle \operatorname {gd} ^{-1}}عمود من جدول حساب المثلثات. [ 22 ]

تعميم

يمكن اعتبار دالة غودرمان بمثابة تحويل نقاط على أحد فرعي القطع الزائد إلى نقاط على نصف دائرة. وبالمثل، يمكن تحويل نقاط على ورقة واحدة من سطح زائد ذي بُعد n مكون من ورقتين إلى نصف كرة ذي بُعد n عبر الإسقاط المجسم. ويستخدم نموذج نصف الكرة للفضاء الزائدي هذا التحويل لتمثيل هذا الفضاء.

التطبيقات

المسافة في نموذج بوانكاريه لنصف المستوى الزائدي من قمة نصف دائرة إلى نقطة أخرى عليها هي دالة غودرمان العكسية للزاوية المركزية.
  • من خلال ربط الدوال الدائرية والزائدية، يمكن استخدام دالة غودرمان للتعبير عن أحد النوعين بدلالة الآخر. وقد استُخدمت تاريخيًا في إنشاء جداول الدوال الزائدية، أو، عند توفيرها كجدول مستقل، كان من الممكن الاستغناء عن الحاجة إلى جداول منفصلة للدوال الزائدية، حيث كان يُمكن حساب كل منها بالبحث في جدول غودرمان متبوعًا بالبحث في جدول الدوال الدائرية. في بعض الحالات، كانت الزاوية الزائدية المقابلة لكل زاوية دائرية تُدرج كعمود في جدول حساب المثلثات القياسي، مما يسمح باستخدام هذا الجدول الواحد لكل من الدوال الدائرية والزائدية.
  • دالة زاوية التوازي في الهندسة الزائدية هي مكملة لدالة غودرمان.Π(ψ)=12π-جيدψ.{\displaystyle {\mathit {\Pi }}(\psi )={\tfrac {1}{2}}\pi -\operatorname {gd} \psi .}
  • في إسقاط ميركاتور، يكون خط العرض الثابت موازياً لخط الاستواء (على الإسقاط) على مسافة تتناسب مع مضاد غودرمان لخط العرض.
  • يمكن استخدام دالة غودرمان (مع وسيط مركب ) لتعريف إسقاط ميركاتور المستعرض . [ 23 ]
  • تظهر دالة غودرمان في حل غير دوري للبندول المقلوب . [ 24 ]
  • تظهر دالة غودرمان في حل المرآة المتحركة لتأثير كازيمير الديناميكي . [ 25 ]
  • إذا تم الحفاظ على عدد لا نهائي من الأسلاك المستقيمة المتوازية والمتساوية البعد والمتوازية والمستوية عند جهود متساوية ذات إشارات متناوبة، فإن توزيع الجهد والتدفق في مستوى مقطع عرضي عمودي على الأسلاك هو دالة غودرمان المركبة. [ 26 ]
  • دالة غودرمان هي دالة سيجمويد ، وعلى هذا النحو يتم استخدامها أحيانًا كدالة تنشيط في التعلم الآلي.
  • دالة غودرمان (المُقاسة والمُزاحة) هي دالة التوزيع التراكمي لتوزيع القاطع الزائدي .
  • توفر دالة تعتمد على غودرمان نموذجًا جيدًا لشكل أذرع المجرات الحلزونية . [ 27 ]

انظر أيضاً

ملحوظات

  1. الرموزψ{\textstyle \psi }وϕ{\textstyle \phi }تم اختيارها لهذه المقالة لأنها تستخدم بشكل شائع في علم الجيوديسيا لخط العرض المتساوي القياس (الإحداثي الرأسي لإسقاط ميركاتور ) وخط العرض الجيوديسي ، على التوالي، وكان علم الجيوديسيا / رسم الخرائط هو السياق الأصلي لدراسة وظائف غودرمان ووظائف غودرمان العكسية.
  2. نشر غودرمان العديد من الأوراق البحثية حول الدوال المثلثية والزائدية في مجلة كريل في الفترة 1830-1831. وقد تم جمعها في كتاب بعنوان غودرمان (1833) .
  3. روي وأولفر (2010) §4.23(viii) "دالة غودرمان" ؛ باير (1987)
  4. كينلي (1929) ؛ لي (1976)
  5. ماسون (2021)
  6. غوتشالك (2003) ص 23-27
  7. قام ماسون (2021) برسم مخططات ذات قيم مركبة للعديد من هذه، مما يدل على أن التطبيقات الساذجة التي تختار الفرع الرئيسي للدوال المثلثية العكسية تعطي نتائج غير صحيحة.
  8. 1 2 وايسشتاين، إريك دبليو. "جودرمانيان" . عالم الرياضيات .
  9. كينلي (1929)
  10. كينلي (1929) ص 181 ؛ باير (1987) ص 269
  11. باير (1987) ص 269 – لاحظ الخطأ المطبعي.
  12. ^ ليجيندر (1817) §4.2.8(163) ص 144-145
  13. كينلي (1929) ص 182
  14. كاهليغ ورايخ (2013)
  15. كايلي (1862) ص 21
  16. كينلي (1929) ص 180-183
  17. ^ ليجيندر (1817) §4.2.7(162) ص 143-144
  18. تورنبول، هربرت ويسترن، محرر. (1939). جيمس غريغوري؛ المجلد التذكاري للذكرى المئوية الثالثة . جي. بيل وأولاده. ص 170. 
  19. بيكر وفان أورستراند (1909)
  20. غودرمان (1833)
  21. كايلي (1862)
  22. ^ على سبيل المثال، قام Hoüel بتسمية الدوال الزائدية عبر الجزء العلوي في الجدول الرابع عشر من: Hoüel, Guillaume Jules (1885). استعادة الصيغ والجداول الرقمية . غوتييه فيلارز. ص. 36. 
  23. أوزبورن (2013) ص 74
  24. روبرتسون (1997)
  25. جود، أندرسون وإيفانز (2013)
  26. كينلي (1928)
  27. رينجرماخر وميد (2009)

مراجع