تحلل هيلمهولتز

في الفيزياء والرياضيات ، تنص نظرية هيلمهولتز للتحليل ، أو النظرية الأساسية لحساب المتجهات [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] ، على إمكانية تحليل بعض حقول المتجهات القابلة للتفاضل إلى مجموع حقل متجه غير دوراني ( خالٍ من الدوران ) وحقل متجه لولبي ( خالٍ من التباعد ). في الفيزياء ، غالبًا ما يُناقش تحليل حقول المتجهات السلسة والمتلاشية بسرعة في ثلاثة أبعاد فقط. وقد سُميت هذه النظرية نسبةً إلى هيرمان فون هيلمهولتز .

تعريف

بالنسبة لحقل متجهيFج1(V،Rن){\displaystyle \mathbf {F} \in C^{1}(V,\mathbb {R} ^{n})}مُعرَّف على نطاقVRن{\displaystyle V\subseteq \mathbb {R} ^{n}}، تحليل هيلمهولتز هو زوج من حقول المتجهاتجيج1(V،Rن){\displaystyle \mathbf {G} \in C^{1}(V,\mathbb {R} ^{n})}وRج1(V،Rن){\displaystyle \mathbf {R} \in C^{1}(V,\mathbb {R} ^{n})}بحيث: F(ر)=جي(ر)+R(ر)،جي(ر)=-Φ(ر)،R(ر)=0.{\displaystyle {\begin{aligned}\mathbf {F} (\mathbf {r} )&=\mathbf {G} (\mathbf {r} )+\mathbf {R} (\mathbf {r} ),\\\mathbf {G} (\mathbf {r} )&=-\nabla \Phi (\mathbf {r} ),\\\nabla \cdot \mathbf {R} (\mathbf {r} )&=0.\end{aligned}}} هنا،Φج2(V،R){\displaystyle \Phi \in C^{2}(V,\mathbb {R} )}هو جهد قياسي ،Φ{\displaystyle \nabla \Phi }هو تدرجه ، وR{\displaystyle \nabla \cdot \mathbf {R} }هو تباعد حقل المتجهاتR{\displaystyle \mathbf {R} }حقل المتجهات غير الدورانيجي{\displaystyle \mathbf {G} }يُطلق عليه اسم حقل التدرج وR{\displaystyle \mathbf {R} }يُطلق عليه اسم الحقل اللولبي أو حقل الدوران . يمكن حساب هذا التحليل لحقول المتجهات التي تُحقق شروط انتظام أو اضمحلال معينة. [ 8 ] يوجد تحليل لجميع حقول المتجهات، بغض النظر عن سلوكها عند اللانهاية، ولكنه ليس فريدًا. وينتج وجوده من شمولية مؤثر لابلاس . وقد أثبت لارس هورماندر شمولية المؤثرات الإهليلجية في عمله على المؤثرات التفاضلية الجزئية. [ 9 ]

تاريخ

وُصِفَ تحليل هيلمهولتز في ثلاثة أبعاد لأول مرة عام 1849 [ 10 ] على يد جورج غابرييل ستوكس لنظرية الحيود . ونشر هيرمان فون هيلمهولتز بحثه حول بعض المعادلات الهيدروديناميكية الأساسية عام 1858 [ 11 ] [ 12 ] ، والذي كان جزءًا من بحثه حول نظريات هيلمهولتز التي تصف حركة الموائع بالقرب من خطوط الدوامات [ 12 ] . وقد تطلّب اشتقاق هذه النظريات أن تتلاشى حقول المتجهات بسرعة كافية عند اللانهاية. وفي وقت لاحق، أمكن تخفيف هذا الشرط، وتم توسيع تحليل هيلمهولتز ليشمل أبعادًا أعلى [ 8 ] [ 13 ] [ 14 ] . أما بالنسبة للمشعبات الريمانية ، فقد تم اشتقاق تحليل هيلمهولتز-هودج باستخدام الهندسة التفاضلية وحساب الموترات [ 8 ] [ 12 ] [ 15 ] [ 16 ].

أصبح التفكيك أداة مهمة للعديد من المشاكل في الفيزياء النظرية ، [ 12 ] [ 15 ] ولكنه وجد أيضًا تطبيقات في الرسوم المتحركة ، ورؤية الحاسوب ، وكذلك الروبوتات . [ 16 ]

الفضاء ثلاثي الأبعاد

في الفيزياء، يُستخدم مصطلح نظرية هيلمهولتز أحيانًا لوصف حالة خاصة من نظرية هيلمهولتز للتحليل في ثلاثة أبعاد. [ 17 ] ثم، يكون الجهد الشعاعيأ{\displaystyle A}يمكن تعريفها بحيث يُعطى حقل الدوران بواسطةR=×أ{\displaystyle \mathbf {R} =\nabla \times \mathbf {A} }باستخدام التفاف حقل متجه. [ 18 ]

يتركF{\displaystyle \mathbf {F} }ليكن حقل متجه على مجال محدودVR3{\displaystyle V\subseteq \mathbb {R} ^{3}}، والتي يمكن تفاضلها مرتين بشكل مستمر داخلV{\displaystyle V}ودعS{\displaystyle S}ليكن السطح الذي يحيط بالمجالV{\displaystyle V}مع اتجاه عمودي على السطح الخارجين^{\displaystyle \mathbf {\hat {n}} '}. ثمF{\displaystyle \mathbf {F} }يمكن تحليلها إلى مكون خالٍ من الالتفاف ومكون خالٍ من التباعد على النحو التالي: [ 19 ]

F=-Φ+×أ،{\displaystyle \mathbf {F} =-\nabla \Phi +\nabla \times \mathbf {A} ,} أين Φ(ر)=14πVF(ر)|ر-ر|دV-14πSن^F(ر)|ر-ر|دSأ(ر)=14πV×F(ر)|ر-ر|دV-14πSن^×F(ر)|ر-ر|دS{\displaystyle {\begin{aligned}\Phi (\mathbf {r} )&={\frac {1}{4\pi }}\int _{V}{\frac {\nabla '\cdot \mathbf {F} (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}\,\mathrm {d} V'-{\frac {1}{4\pi }}\oint _{S}\mathbf {\hat {n}} '\cdot {\frac {\mathbf {F} (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}\,\mathrm {d} S'\\[8pt]\mathbf {A} (\mathbf {r} )&={\frac {1}{4\pi }}\int _{V}{\frac {\nabla '\times \mathbf {F} (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}\,\mathrm {d} V'-{\frac {1}{4\pi }}\oint _{S}\mathbf {\hat {n}} '\times {\frac {\mathbf {F} (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}\,\mathrm {d} S'\end{aligned}}}

و{\displaystyle \nabla '}هو عامل نابلا بالنسبة إلىر{\displaystyle \mathbf {r'} }، لار{\displaystyle \mathbf {r} }.

لوV=R3{\displaystyle V=\mathbb {R} ^{3}}وبالتالي فهو غير محدود، وF{\displaystyle \mathbf {F} }يختفي أسرع من1/ر{\displaystyle 1/r}مثلر{\displaystyle r\to \infty }، ثم يكون لدى المرء [ 20 ]

Φ(ر)=14πR3F(ر)|ر-ر|دVأ(ر)=14πR3×F(ر)|ر-ر|دV{\displaystyle {\begin{aligned}\Phi (\mathbf {r} )&={\frac {1}{4\pi }}\int _{\mathbb {R} ^{3}}{\frac {\nabla '\cdot \mathbf {F} (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}\,\mathrm {d} V'\\[8pt]\mathbf {A} (\mathbf {r} )&={\frac {1}{4\pi }}\int _{\mathbb {R} ^{3}}{\frac {\nabla '\times \mathbf {F} (\mathbf {r} ')}{|\mathbf {r} -\mathbf {r} '|}}\,\mathrm {d} V'\end{aligned}}} وينطبق هذا بشكل خاص إذاF{\displaystyle \mathbf {F} }قابلة للتفاضل مرتين بشكل مستمر فيR3{\displaystyle \mathbb {R} ^{3}}وذات دعم محدود.

الاشتقاق

دليل

لنفترض أن لدينا دالة متجهةF(ر){\displaystyle \mathbf {F} (\mathbf {r} )}والتي نعرف شكلها الحلزوني،×F{\displaystyle \nabla \times \mathbf {F} }والاختلاف،F{\displaystyle \nabla \cdot \mathbf {F} }، في المجال والحقول على الحدود. كتابة الدالة باستخدام دالة دلتا بالشكل دلتا3(ر-ر)=-14π21|ر-ر|،{\displaystyle \delta ^{3}(\mathbf {r} -\mathbf {r} ')=-{\frac {1}{4\pi }}\nabla ^{2}{\frac {1}{|\mathbf {r} -\mathbf {r} '|}}\,,} أين2{\displaystyle \nabla ^{2}}هو عامل لابلاس ، لدينا

F(ر)=VF(ر)دلتا3(ر-ر)دV=VF(ر)(-14π21|ر-ر|)دV{\displaystyle {\begin{aligned}\mathbf {F} (\mathbf {r} )&=\int _{V}\mathbf {F} \left(\mathbf {r} '\right)\delta ^{3}(\mathbf {r} -\mathbf {r} ')\mathrm {d} V'\\&=\int _{V}\mathbf {F} (\mathbf {r} ')\left(-{\frac {1}{4\pi }}\nabla ^{2}{\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}\right)\mathrm {d} V'\end{aligned}}}

والآن، تغيير معنى2{\displaystyle \nabla ^{2}}إلى مؤثر لابلاس المتجهي (لدينا الحق في القيام بذلك لأن هذا اللابلاس يتعلق بـر{\displaystyle \mathbf {r} }لذلك فهو يرى حقل المتجهاتF(ر){\displaystyle \mathbf {F} (\mathbf {r'} )}(كثافت)، يمكننا التحركF(ر){\displaystyle \mathbf {F} (\mathbf {r'} )}إلى يمين2{\displaystyle \nabla ^{2}}المشغل.

F(ر)=V-14π2F(ر)|ر-ر|دV=-14π2VF(ر)|ر-ر|دV=-14π[(VF(ر)|ر-ر|دV)-×(×VF(ر)|ر-ر|دV)]=-14π[(VF(ر)1|ر-ر|دV)+×(VF(ر)×1|ر-ر|دV)]=-14π[-(VF(ر)1|ر-ر|دV)-×(VF(ر)×1|ر-ر|دV)]{\displaystyle {\begin{aligned}\mathbf {F} (\mathbf {r} )&=\int _{V}-{\frac {1}{4\pi }}\nabla ^{2}{\frac {\mathbf {F} (\mathbf {r} ')}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\\&=-{\frac {1}{4\pi }}\nabla ^{2}\int _{V}{\frac {\mathbf {F} (\mathbf {r} ')}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\\&=-{\frac {1}{4\pi }}\left[\nabla \left(\nabla \cdot \int _{V}{\frac {\mathbf {F} (\mathbf {r} ')}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)-\nabla \times \left(\nabla \times \int _{V}{\frac {\mathbf {F} (\mathbf {r} ')}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)\right]\\&=-{\frac {1}{4\pi }}\left[\nabla \left(\int _{V}\mathbf {F} (\mathbf {r} ')\cdot \nabla {\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)+\nabla \times \left(\int _{V}\mathbf {F} (\mathbf {r} ')\times \nabla {\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)\right]\\&=-{\frac {1}{4\pi }}\left[-\nabla \left(\int _{V}\mathbf {F} (\mathbf {r} ')\cdot \nabla '{\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)-\nabla \times \left(\int _{V}\mathbf {F} (\mathbf {r} ')\times \nabla '{\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)\right]\end{aligned}}}

حيث استخدمنا متطابقة لابلاس المتجهة: 2أ=(أ)-×(×أ) ،{\displaystyle \nabla ^{2}\mathbf {a} =\nabla (\nabla \cdot \mathbf {a} )-\nabla \times (\nabla \times \mathbf {a} )\ ,}

التفاضل/التكامل فيما يتعلق بـر{\displaystyle \mathbf {r} '}بواسطة/دV،{\displaystyle \nabla '/\mathrm {d} V',}وفي السطر الأخير، خطية وسائط الدالة: 1|ر-ر|=-1|ر-ر| .{\displaystyle \nabla {\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}=-\nabla '{\frac {1}{\left|\mathbf {r} -\mathbf {r} '\right|}}\ .}

(لكن التحول

V-14π2F(ر)|ر-ر|دV=-14π2VF(ر)|ر-ر|دV{\displaystyle \int _{V}-{\frac {1}{4\pi }}\nabla ^{2}{\frac {\mathbf {F} (\mathbf {r} ')}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'=-{\frac {1}{4\pi }}\nabla ^{2}\int _{V}{\frac {\mathbf {F} (\mathbf {r} ')}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'} هذا غير صحيح رياضياً لأن التكامل الأخير يتباعد بمعدل ln R عندما يؤول R إلى اللانهاية. هذا التباعد للتكامل مهم بالنسبة للمجالات الكهرومغناطيسية. هـ1/R2{\displaystyle \mathbf {E} \sim 1/R^{2}}- هذه الحقول القريبة. (لا، ما سبق ليس صحيحًا بشكل عام، انظر إلى التكامل الثلاثي) 0101011x2+y2+z2دxدyدz=1.19004{\displaystyle \int _{0}^{1}\int _{0}^{1}\int _{0}^{1}{\frac {1}{\sqrt {x^{2}+y^{2}+z^{2}}}}dxdydz=1.19004}يبدو أنها متباعدة، لكنها متقاربة. إذا كان حقل المتجهات قابلاً للتفاضل مرتين، وبالتالي متصلاً بمشتقات جزئية أولى متصلة، فإن جميع التكاملات في هذا البرهان تتقارب. ثم باستخدام المتطابقات المتجهة...

أψ=-ψ(أ)+(ψأ)أ×ψ=ψ(×أ)-×(ψأ){\displaystyle {\begin{aligned}\mathbf {a} \cdot \nabla \psi &=-\psi (\nabla \cdot \mathbf {a} )+\nabla \cdot (\psi \mathbf {a} )\\\mathbf {a} \times \nabla \psi &=\psi (\nabla \times \mathbf {a} )-\nabla \times (\psi \mathbf {a} )\end{aligned}}}

نحصل F(ر)=-14π[-(-VF(ر)|ر-ر|دV+VF(ر)|ر-ر|دV)-×(V×F(ر)|ر-ر|دV-V×F(ر)|ر-ر|دV)].{\displaystyle {\begin{aligned}\mathbf {F} (\mathbf {r} )=-{\frac {1}{4\pi }}{\bigg [}&-\nabla \left(-\int _{V}{\frac {\nabla '\cdot \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'+\int _{V}\nabla '\cdot {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right)\\&-\nabla \times \left(\int _{V}{\frac {\nabla '\times \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'-\int _{V}\nabla '\times {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'\right){\bigg ]}.\end{aligned}}}

بفضل نظرية التباعد، يمكن إعادة كتابة المعادلة على النحو التالي

F(ر)=-14π[-(-VF(ر)|ر-ر|دV+Sن^F(ر)|ر-ر|دS)-×(V×F(ر)|ر-ر|دV-Sن^×F(ر)|ر-ر|دS)]=-[14πVF(ر)|ر-ر|دV-14πSن^F(ر)|ر-ر|دS]+×[14πV×F(ر)|ر-ر|دV-14πSن^×F(ر)|ر-ر|دS]{\displaystyle {\begin{aligned}\mathbf {F} (\mathbf {r} )&=-{\frac {1}{4\pi }}{\bigg [}-\nabla \left(-\int _{V}{\frac {\nabla '\cdot \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'+\oint _{S}\mathbf {\hat {n}} '\cdot {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} S'\right)\\&\qquad \qquad -\nabla \times \left(\int _{V}{\frac {\nabla '\times \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'-\oint _{S}\mathbf {\hat {n}} '\times {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} S'\right){\bigg ]}\\&=-\nabla \left[{\frac {1}{4\pi }}\int _{V}{\frac {\nabla '\cdot \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'-{\frac {1}{4\pi }}\oint _{S}\mathbf {\hat {n}} '\cdot {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} S'\right]\\&\quad +\nabla \times \left[{\frac {1}{4\pi }}\int _{V}{\frac {\nabla '\times \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'-{\frac {1}{4\pi }}\oint _{S}\mathbf {\hat {n}} '\times {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} S'\right]\end{aligned}}}

مع اتجاه السطح الخارجي العمودين^{\displaystyle \mathbf {\hat {n}} '}.

تعريف

Φ(ر)14πVF(ر)|ر-ر|دV-14πSن^F(ر)|ر-ر|دS{\displaystyle \Phi (\mathbf {r} )\equiv {\frac {1}{4\pi }}\int _{V}{\frac {\nabla '\cdot \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'-{\frac {1}{4\pi }}\oint _{S}\mathbf {\hat {n}} '\cdot {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} S'}أ(ر)14πV×F(ر)|ر-ر|دV-14πSن^×F(ر)|ر-ر|دS{\displaystyle \mathbf {A} (\mathbf {r} )\equiv {\frac {1}{4\pi }}\int _{V}{\frac {\nabla '\times \mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'-{\frac {1}{4\pi }}\oint _{S}\mathbf {\hat {n}} '\times {\frac {\mathbf {F} \left(\mathbf {r} '\right)}{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} S'}

وأخيرًا نحصل F=-Φ+×أ.{\displaystyle \mathbf {F} =-\nabla \Phi +\nabla \times \mathbf {A} .}

مساحة الحلول

لو(Φ1،أ1){\displaystyle (\Phi _{1},{\mathbf {A} _{1}})}هو تحليل هيلمهولتز لـF{\displaystyle \mathbf {F} }، ثم (Φ2،أ2){\displaystyle (\Phi _{2},{\mathbf {A} _{2}})}يُعدّ تفكيكًا آخر إذا، وفقط إذا،

Φ1-Φ2=λ{\displaystyle \Phi _{1}-\Phi _{2}=\lambda \quad }وأ1-أ2=أλ+φ،{\displaystyle \quad \mathbf {A} _{1}-\mathbf {A} _{2}={\mathbf {A} }_{\lambda }+\nabla \varphi ,}
أين
  • λ{\displaystyle \lambda }هو حقل قياسي توافقي ،
  • أλ{\displaystyle {\mathbf {A} }_{\lambda }}هو حقل متجه يحقق×أλ=λ،{\displaystyle \nabla \times {\mathbf {A} }_{\lambda }=\nabla \lambda ,}
  • φ{\displaystyle \varphi }هو حقل قياسي.

البرهان: مجموعةλ=Φ2-Φ1{\displaystyle \lambda =\Phi _{2}-\Phi _{1}}وب=أ2-أ1{\displaystyle {\mathbf {B} =A_{2}-A_{1}}}وفقًا لتعريف تحليل هيلمهولتز، فإن الشرط مكافئ لـ

-λ+×ب=0{\displaystyle -\nabla \lambda +\nabla \times \mathbf {B} =0}.

بأخذ تباعد كل طرف من أطراف هذه المعادلة ينتج 2λ=0{\displaystyle \nabla ^{2}\lambda =0}، لذلكλ{\displaystyle \lambda }هو توافقي.

وعلى العكس من ذلك، بالنظر إلى أي دالة توافقيةλ{\displaystyle \lambda }، λ{\displaystyle \nabla \lambda }هو ملف لولبي لأن

(λ)=2λ=0.{\displaystyle \nabla \cdot (\nabla \lambda )=\nabla ^{2}\lambda =0.}

وبالتالي، وفقًا للقسم أعلاه، يوجد حقل متجهيأλ{\displaystyle {\mathbf {A} }_{\lambda }}بحيث λ=×أλ{\displaystyle \nabla \lambda =\nabla \times {\mathbf {A} }_{\lambda }}.

لوأλ{\displaystyle {\mathbf {A} '}_{\lambda }}إذا كان حقل متجه آخر من هذا القبيل، فإنج=أλ-أλ{\displaystyle \mathbf {C} ={\mathbf {A} }_{\lambda }-{\mathbf {A} '}_{\lambda }} يفي×ج=0{\displaystyle \nabla \times {\mathbf {C} }=0}، لذلكج=φ{\displaystyle C=\nabla \varphi } لبعض الحقول العدديةφ{\displaystyle \varphi }.

حقول ذات تباعد وانحناء محددين

يمكن أن يشير مصطلح "نظرية هيلمهولتز" أيضًا إلى ما يلي: ليكن C حقلًا متجهيًا لولبيًا و d حقلًا قياسيًا على ، وهما سلسلان بدرجة كافية ويتلاشيان أسرع من 1/ عند اللانهاية. عندئذٍ يوجد حقل متجهي F بحيث

F=د و ×F=ج؛{\displaystyle \nabla \cdot \mathbf {F} =d\quad {\text{ and }}\quad \nabla \times \mathbf {F} =\mathbf {C} ;}

إذا كان حقل المتجهات F يتلاشى أيضًا عندما r → ∞ ، فإن F يكون فريدًا. [ 20 ]

بمعنى آخر، يمكن إنشاء حقل متجهي بتباعد ودوران محددين، وإذا انعدم أيضًا عند اللانهاية، فإنه يُحدد بشكل فريد من خلال تباعده ودورانه. لهذه النظرية أهمية بالغة في علم الكهرباء الساكنة ، لأن معادلات ماكسويل للحقول الكهربائية والمغناطيسية في الحالة الساكنة هي من هذا النوع تحديدًا. [ 20 ] يتم البرهان عن طريق بناء يُعمم البناء المذكور أعلاه: نضع

F=(جي(د))-×(جي(ج))،{\displaystyle \mathbf {F} =\nabla ({\mathcal {G}}(d))-\nabla \times ({\mathcal {G}}(\mathbf {C} )),}

أينجي{\displaystyle {\mathcal {G}}}يمثل عامل الجهد النيوتوني . (عند تطبيقه على حقل متجه، مثل ∇ × F ، فإنه يُعرَّف بأنه يؤثر على كل مكون من مكوناته.)

تركيبة ضعيفة

يمكن تعميم تحليل هيلمهولتز بتقليل افتراضات الانتظام (الحاجة إلى وجود مشتقات قوية). لنفترض أن Ω نطاق محدود، بسيط الاتصال، وليبشيتز . كل حقل متجه قابل للتكامل التربيعي u ∈ ( ( Ω)) ³ له تحليل متعامد : [ 21 ] [ 22 ] [ 23 ]

u=φ+×أ{\displaystyle \mathbf {u} =\nabla \varphi +\nabla \times \mathbf {A} }

حيث φ في فضاء سوبوليف H 1 (Ω) للدوال القابلة للتكامل التربيعي على Ω والتي تكون مشتقاتها الجزئية المعرفة بمعنى التوزيع قابلة للتكامل التربيعي، و AH (curl, Ω) ، فضاء سوبوليف لحقول المتجهات التي تتكون من حقول متجهات قابلة للتكامل التربيعي مع curl قابل للتكامل التربيعي.

بالنسبة لحقل متجه أكثر سلاسة قليلاً uH (curl, Ω) ، ينطبق تحليل مماثل:

u=φ+v{\displaystyle \mathbf {u} =\nabla \varphi +\mathbf {v} }

حيث φH 1 (Ω)، v ∈ ( H 1 (Ω)) d .

الاشتقاق من تحويل فورييه

لاحظ أنه في النظرية المذكورة هنا، فرضنا الشرط التالي: إذاF{\displaystyle \mathbf {F} }إذا لم تكن الدالة معرفة على نطاق محدود،F{\displaystyle \mathbf {F} }سوف يتحلل أسرع من1/ر{\displaystyle 1/r}وبالتالي، فإن تحويل فورييه لـF{\displaystyle \mathbf {F} }، المشار إليه بـجي{\displaystyle \mathbf {G} }، مضمون وجوده. نطبق الاتفاقية F(ر)=جي(ك)هـأناكردVك{\displaystyle \mathbf {F} (\mathbf {r} )=\iiint \mathbf {G} (\mathbf {k} )e^{i\mathbf {k} \cdot \mathbf {r} }dV_{k}}

إن تحويل فورييه لحقل قياسي هو حقل قياسي، وتحويل فورييه لحقل متجه هو حقل متجه من نفس البعد.

والآن، لننظر في الحقول العددية والمتجهة التالية: جيΦ(ك)=أناكجي(ك)ك2جيأ(ك)=أناك×جي(ك)ك2Φ(ر)=جيΦ(ك)هـأناكردVكأ(ر)=جيأ(ك)هـأناكردVك{\displaystyle {\begin{aligned}G_{\Phi }(\mathbf {k} )&=i{\frac {\mathbf {k} \cdot \mathbf {G} (\mathbf {k} )}{\|\mathbf {k} \|^{2}}}\\\mathbf {G} _{\mathbf {A} }(\mathbf {k} )&=i{\frac {\mathbf {k} \times \mathbf {G} (\mathbf {k} )}{\|\mathbf {k} \|^{2}}}\\[8pt]\Phi (\mathbf {r} )&=\iiint G_{\Phi }(\mathbf {k} )e^{i\mathbf {k} \cdot \mathbf {r} }dV_{k}\\\mathbf {A} (\mathbf {r} )&=\iiint \mathbf {G} _{\mathbf {A} }(\mathbf {k} )e^{i\mathbf {k} \cdot \mathbf {r} }dV_{k}\end{aligned}}}

لذلك

جي(ك)=-أناكجيΦ(ك)+أناك×جيأ(ك)F(ر)=-أناكجيΦ(ك)هـأناكردVك+أناك×جيأ(ك)هـأناكردVك=-Φ(ر)+×أ(ر){\displaystyle {\begin{aligned}\mathbf {G} (\mathbf {k} )&=-i\mathbf {k} G_{\Phi }(\mathbf {k} )+i\mathbf {k} \times \mathbf {G} _{\mathbf {A} }(\mathbf {k} )\\[6pt]\mathbf {F} (\mathbf {r} )&=-\iiint i\mathbf {k} G_{\Phi }(\mathbf {k} )e^{i\mathbf {k} \cdot \mathbf {r} }dV_{k}+\iiint i\mathbf {k} \times \mathbf {G} _{\mathbf {A} }(\mathbf {k} )e^{i\mathbf {k} \cdot \mathbf {r} }dV_{k}\\&=-\nabla \Phi (\mathbf {r} )+\nabla \times \mathbf {A} (\mathbf {r} )\end{aligned}}}

المجالات الطولية والمستعرضة

يُستخدم مصطلح شائع في الفيزياء للإشارة إلى المركبة الخالية من الدوران لحقل متجه باسم المركبة الطولية، وإلى المركبة الخالية من التباعد باسم المركبة العرضية . [ 24 ] ويستند هذا المصطلح إلى البناء التالي: حساب تحويل فورييه ثلاثي الأبعادF^{\displaystyle {\hat {\mathbf {F} }}}حقل المتجهاتF{\displaystyle \mathbf {F} }ثم نحلل هذا المجال، عند كل نقطة k ، إلى مركبتين، إحداهما تشير طولياً، أي موازية لـ k ، والأخرى تشير عرضياً، أي عمودية على k . حتى الآن، لدينا

F^(ك)=F^ت(ك)+F^ل(ك){\displaystyle {\hat {\mathbf {F} }}(\mathbf {k} )={\hat {\mathbf {F} }}_{t}(\mathbf {k} )+{\hat {\mathbf {F} }}_{l}(\mathbf {k} )}كF^ت(ك)=0.{\displaystyle \mathbf {k} \cdot {\hat {\mathbf {F} }}_{t}(\mathbf {k} )=0.}ك×F^ل(ك)=0.{\displaystyle \mathbf {k} \times {\hat {\mathbf {F} }}_{l}(\mathbf {k} )=\mathbf {0} .}

الآن نطبق تحويل فورييه العكسي على كل مكون من هذه المكونات. باستخدام خصائص تحويلات فورييه، نستنتج ما يلي:

F(ر)=Fت(ر)+Fل(ر){\displaystyle \mathbf {F} (\mathbf {r} )=\mathbf {F} _{t}(\mathbf {r} )+\mathbf {F} _{l}(\mathbf {r} )}Fت(ر)=0{\displaystyle \nabla \cdot \mathbf {F} _{t}(\mathbf {r} )=0}×Fل(ر)=0{\displaystyle \nabla \times \mathbf {F} _{l}(\mathbf {r} )=\mathbf {0} }

منذ×(Φ)=0{\displaystyle \nabla \times (\nabla \Phi )=0}و(×أ)=0{\displaystyle \nabla \cdot (\nabla \times \mathbf {A} )=0}،

يمكننا الحصول على

Fت=×أ=14π×V×F|ر-ر|دV{\displaystyle \mathbf {F} _{t}=\nabla \times \mathbf {A} ={\frac {1}{4\pi }}\nabla \times \int _{V}{\frac {\nabla '\times \mathbf {F} }{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'}Fل=-Φ=-14πVF|ر-ر|دV{\displaystyle \mathbf {F} _{l}=-\nabla \Phi =-{\frac {1}{4\pi }}\nabla \int _{V}{\frac {\nabla '\cdot \mathbf {F} }{\left|\mathbf {r} -\mathbf {r} '\right|}}\mathrm {d} V'}

إذن هذا هو بالفعل تحليل هيلمهولتز. [ 25 ]

التعميم إلى أبعاد عشوائية

بصورة غير رسمية، فيRد{\displaystyle \mathbb {R} ^{d}}يمكن التعبير عن تحليل هيلمهولتز بواسطةF=-Φ+R{\displaystyle \mathbf {F} =-\nabla \Phi +\mathbf {R} }أينΦ{\displaystyle \Phi }هي أي دالة قياسية تحل معادلة بواسون-2Φ=و{\displaystyle -\nabla ^{2}\Phi =f}، أينو=F{\displaystyle f=\nabla \cdot \mathbf {F} }هو تباعد حقل المتجهاتF{\displaystyle \mathbf {F} }فيRد{\displaystyle \mathbb {R} ^{d}}، وR=F+Φ{\displaystyle \mathbf {R} =\mathbf {F} +\nabla \Phi }خالٍ من التباين:R=0{\displaystyle \nabla \cdot \mathbf {R} =0}وبالتالي، فإن وجود تحليل هيلمهولتز هو نتيجة لوجود حل لمعادلة بواسون.-2Φ=و{\displaystyle -\nabla ^{2}\Phi =f}.

نهج المصفوفة

التعميم إلىد{\displaystyle d}لا يمكن تحديد الأبعاد باستخدام جهد متجهي، لأن عامل الدوران والضرب الاتجاهي معرفان (كمتجهات) فقط في ثلاثة أبعاد.

يتركF{\displaystyle \mathbf {F} }ليكن حقل متجه فيRد{\displaystyle \mathbb {R} ^{d}}والذي يتحلل أسرع من|ر|-دلتا{\displaystyle |\mathbf {r} |^{-\delta }}ل|ر|{\displaystyle |\mathbf {r} |\to \infty }ودلتا>2{\displaystyle \delta >2}.

يُعرَّف الجهد القياسي بشكل مشابه للحالة ثلاثية الأبعاد على النحو التالي: Φ(ر)=-Rدdiv(F(ر))ك(ر،ر)دV=-RدأناFأنارأنا(ر)ك(ر،ر)دV،{\displaystyle \Phi (\mathbf {r} )=-\int _{\mathbb {R} ^{d}}\operatorname {div} (\mathbf {F} (\mathbf {r} '))K(\mathbf {r} ,\mathbf {r} ')\mathrm {d} V'=-\int _{\mathbb {R} ^{d}}\sum _{i}{\frac {\partial F_{i}}{\partial r_{i}}}(\mathbf {r} ')K(\mathbf {r} ,\mathbf {r} ')\mathrm {d} V',} بينما نواة التكاملك(ر،ر){\displaystyle K(\mathbf {r} ,\mathbf {r} ')}وهو مرة أخرى الحل الأساسي لمعادلة لابلاس ، ولكن في فضاء ذي أبعاد d: ك(ر،ر)={12πسجل|ر-ر|د=2،1د(2-د)Vد|ر-ر|2-دخلاف ذلك،{\displaystyle K(\mathbf {r} ,\mathbf {r} ')={\begin{cases}{\frac {1}{2\pi }}\log {|\mathbf {r} -\mathbf {r} '|}&d=2,\\{\frac {1}{d(2-d)V_{d}}}|\mathbf {r} -\mathbf {r} '|^{2-d}&{\text{otherwise}},\end{cases}}} معVد=πد2/Γ(د2+1){\displaystyle V_{d}=\pi ^{\frac {d}{2}}/\Gamma {\big (}{\tfrac {d}{2}}+1{\big )}}حجم الكرات ذات الأبعاد d وΓ(ر){\displaystyle \Gamma (\mathbf {r} )}دالة غاما .

لد=3{\displaystyle d=3}،Vد{\displaystyle V_{d}}يساوي تمامًا4π3{\displaystyle {\frac {4\pi }{3}}}مما ينتج عنه نفس المعامل المسبق المذكور أعلاه. الجهد الدوراني عبارة عن مصفوفة متناظرة عكسيًا بعناصر: أأناج(ر)=Rد(Fأناxج(ر)-Fجxأنا(ر))ك(ر،ر)دV.{\displaystyle A_{ij}(\mathbf {r} )=\int _{\mathbb {R} ^{d}}\left({\frac {\partial F_{i}}{\partial x_{j}}}(\mathbf {r} ')-{\frac {\partial F_{j}}{\partial x_{i}}}(\mathbf {r} ')\right)K(\mathbf {r} ,\mathbf {r} ')\mathrm {d} V'.} أعلى الخط القطري(د2){\displaystyle \textstyle {\binom {d}{2}}}تظهر المدخلات مرة أخرى معكوسة على القطر، ولكن بإشارة سالبة. في الحالة ثلاثية الأبعاد، تتوافق عناصر المصفوفة مع مكونات الجهد الشعاعي.أ=[أ1،أ2،أ3]=[أ23،أ31،أ12]{\displaystyle \mathbf {A} =[A_{1},A_{2},A_{3}]=[A_{23},A_{31},A_{12}]}ومع ذلك، لا يمكن كتابة مثل هذا الجهد المصفوفي كمتجه إلا في الحالة ثلاثية الأبعاد، لأن(د2)=د{\displaystyle \textstyle {\binom {d}{2}}=d}صالحة فقط لـد=3{\displaystyle d=3}.

كما هو الحال في الحالة ثلاثية الأبعاد، يُعرَّف حقل التدرج على النحو التالي: جي(ر)=-Φ(ر).{\displaystyle \mathbf {G} (\mathbf {r} )=-\nabla \Phi (\mathbf {r} ).} أما المجال الدوراني، من ناحية أخرى، فيُعرَّف في الحالة العامة على أنه تباعد الصفوف للمصفوفة: R(ر)=[كركأأناك(ر)؛1أناد].{\displaystyle \mathbf {R} (\mathbf {r} )=\left[\sum \nolimits _{k}\partial _{r_{k}}A_{ik}(\mathbf {r} );{1\leq i\leq d}\right].} في الفضاء ثلاثي الأبعاد، يُعادل هذا دوران الكمون الشعاعي. [ 8 ] [ 26 ]

نهج الموتر

فيد{\displaystyle d}فضاء متجهي ذو أبعاد n معد3{\displaystyle d\neq 3}،-14π|ر-ر|{\textstyle -{\frac {1}{4\pi \left|\mathbf {r} -\mathbf {r} '\right|}}}يمكن استبدالها بدالة غرين المناسبة لمؤثر لابلاس ، والمحددة بواسطة 2جي(ر،ر)=رμرμجي(ر،ر)=دلتاد(ر-ر){\displaystyle \nabla ^{2}G(\mathbf {r} ,\mathbf {r} ')={\frac {\partial }{\partial r_{\mu }}}{\frac {\partial }{\partial r_{\mu }}}G(\mathbf {r} ,\mathbf {r} ')=\delta ^{d}(\mathbf {r} -\mathbf {r} ')} حيث يتم استخدام اصطلاح جمع أينشتاين للمؤشرμ{\displaystyle \mu }. على سبيل المثال،جي(ر،ر)=12πln|ر-ر|{\textstyle G(\mathbf {r} ,\mathbf {r} ')={\frac {1}{2\pi }}\ln \left|\mathbf {r} -\mathbf {r} '\right|}في بُعدين.

باتباع نفس الخطوات المذكورة أعلاه، يمكننا كتابة Fμ(ر)=VFμ(ر)رμرμجي(ر،ر)ددر=دلتاμνدلتاρσVFν(ر)رρرσجي(ر،ر)ددر{\displaystyle F_{\mu }(\mathbf {r} )=\int _{V}F_{\mu }(\mathbf {r} '){\frac {\partial }{\partial r_{\mu }}}{\frac {\partial }{\partial r_{\mu }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '=\delta _{\mu \nu }\delta _{\rho \sigma }\int _{V}F_{\nu }(\mathbf {r} '){\frac {\partial }{\partial r_{\rho }}}{\frac {\partial }{\partial r_{\sigma }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '} أيندلتاμν{\displaystyle \delta _{\mu \nu }}هي دلتا كرونكر (ويُستخدم اصطلاح الجمع مرة أخرى). بدلاً من تعريف لابلاس المتجهي المستخدم أعلاه، نستخدم الآن متطابقة لرمز ليفي-تشيفيتاε{\displaystyle \varepsilon }، εαμρεανσ=(د-2)!(دلتاμνدلتاρσ-دلتاμσدلتاνρ){\displaystyle \varepsilon _{\alpha \mu \rho }\varepsilon _{\alpha \nu \sigma }=(d-2)!(\delta _{\mu \nu }\delta _{\rho \sigma }-\delta _{\mu \sigma }\delta _{\nu \rho })} وهو أمر صحيح فيد2{\displaystyle d\geq 2}الأبعاد، حيثα{\displaystyle \alpha }هو(د-2){\displaystyle (d-2)}-component multi-index . هذا يعطي Fμ(ر)=دلتاμσدلتاνρVFν(ر)رρرσجي(ر،ر)ددر+1(د-2)!εαμρεανσVFν(ر)رρرσجي(ر،ر)ددر{\displaystyle F_{\mu }(\mathbf {r} )=\delta _{\mu \sigma }\delta _{\nu \rho }\int _{V}F_{\nu }(\mathbf {r} '){\frac {\partial }{\partial r_{\rho }}}{\frac {\partial }{\partial r_{\sigma }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '+{\frac {1}{(d-2)!}}\varepsilon _{\alpha \mu \rho }\varepsilon _{\alpha \nu \sigma }\int _{V}F_{\nu }(\mathbf {r} '){\frac {\partial }{\partial r_{\rho }}}{\frac {\partial }{\partial r_{\sigma }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '}

لذلك يمكننا أن نكتب Fμ(ر)=-رμΦ(ر)+εμραرρأα(ر){\displaystyle F_{\mu }(\mathbf {r} )=-{\frac {\partial }{\partial r_{\mu }}}\Phi (\mathbf {r} )+\varepsilon _{\mu \rho \alpha }{\frac {\partial }{\partial r_{\rho }}}A_{\alpha }(\mathbf {r} )} أين Φ(ر)=-VFν(ر)رνجي(ر،ر)ددرأα=1(د-2)!εανσVFν(ر)رσجي(ر،ر)ددر{\displaystyle {\begin{aligned}\Phi (\mathbf {r} )&=-\int _{V}F_{\nu }(\mathbf {r} '){\frac {\partial }{\partial r_{\nu }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '\\A_{\alpha }&={\frac {1}{(d-2)!}}\varepsilon _{\alpha \nu \sigma }\int _{V}F_{\nu }(\mathbf {r} '){\frac {\partial }{\partial r_{\sigma }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '\end{aligned}}} لاحظ أن الجهد الشعاعي يُستبدل برتبة-(د-2){\displaystyle (d-2)}الموتر فيد{\displaystyle d}أبعاد.

لأنجي(ر،ر){\displaystyle G(\mathbf {r} ,\mathbf {r} ')}هي وظيفة خاصة بـر-ر{\displaystyle \mathbf {r} -\mathbf {r} '}يمكن للمرء أن يستبدلرμ-رμ{\displaystyle {\frac {\partial }{\partial r_{\mu }}}\rightarrow -{\frac {\partial }{\partial r'_{\mu }}}}، إعطاء Φ(ر)=VFν(ر)رνجي(ر،ر)ددرأα=-1(د-2)!εανσVFν(ر)رσجي(ر،ر)ددر{\displaystyle {\begin{aligned}\Phi (\mathbf {r} )&=\int _{V}F_{\nu }(\mathbf {r} '){\frac {\partial }{\partial r'_{\nu }}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '\\A_{\alpha }&=-{\frac {1}{(d-2)!}}\varepsilon _{\alpha \nu \sigma }\int _{V}F_{\nu }(\mathbf {r} '){\frac {\partial }{\partial r_{\sigma }'}}G(\mathbf {r} ,\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '\end{aligned}}}يمكن بعد ذلك استخدام التكامل بالتجزئة لإعطاء Φ(ر)=-Vجي(ر،ر)رνFν(ر)ددر+Sجي(ر،ر)Fν(ر)ن^νدد-1رأα=1(د-2)!εανσVجي(ر،ر)رσFν(ر)ددر-1(د-2)!εανσSجي(ر،ر)Fν(ر)ن^σدد-1ر{\displaystyle {\begin{aligned}\Phi (\mathbf {r} )&=-\int _{V}G(\mathbf {r} ,\mathbf {r} '){\frac {\partial }{\partial r'_{\nu }}}F_{\nu }(\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '+\oint _{S}G(\mathbf {r} ,\mathbf {r} ')F_{\nu }(\mathbf {r} '){\hat {n}}'_{\nu }\,\mathrm {d} ^{d-1}\mathbf {r} '\\A_{\alpha }&={\frac {1}{(d-2)!}}\varepsilon _{\alpha \nu \sigma }\int _{V}G(\mathbf {r} ,\mathbf {r} '){\frac {\partial }{\partial r_{\sigma }'}}F_{\nu }(\mathbf {r} ')\,\mathrm {d} ^{d}\mathbf {r} '-{\frac {1}{(d-2)!}}\varepsilon _{\alpha \nu \sigma }\oint _{S}G(\mathbf {r} ,\mathbf {r} ')F_{\nu }(\mathbf {r} '){\hat {n}}'_{\sigma }\,\mathrm {d} ^{d-1}\mathbf {r} '\end{aligned}}} أينS=V{\displaystyle S=\partial V}هي حدودV{\displaystyle V}هذه التعبيرات مماثلة لتلك المذكورة أعلاه للفضاء ثلاثي الأبعاد .

للحصول على تعميم إضافي للمتشعبات، انظر مناقشة تفكيك هودج أدناه .

الأشكال التفاضلية

يرتبط تحليل هودج ارتباطًا وثيقًا بتحليل هيلمهولتز، [ 27 ] حيث يُعمم من حقول المتجهات على إلى الأشكال التفاضلية على مشعب ريماني M. تتطلب معظم صيغ تحليل هودج أن يكون M متراصًا . [ 28 ] ولأن هذا الشرط غير صحيح بالنسبة لـ ، فإن نظرية تحليل هودج لا تُعد تعميمًا دقيقًا لنظرية هيلمهولتز. مع ذلك، يمكن استبدال شرط التراص في الصيغة المعتادة لتحليل هودج بافتراضات اضمحلال مناسبة عند اللانهاية على الأشكال التفاضلية المعنية، مما يُعطي تعميمًا صحيحًا لنظرية هيلمهولتز.

امتدادات للحقول التي لا تتلاشى عند اللانهاية

معظم الكتب الدراسية لا تتناول إلا الحقول المتجهة التي تتلاشى أسرع من|ر|-دلتا{\displaystyle |\mathbf {r} |^{-\delta }}معدلتا>1{\displaystyle \delta >1}عند اللانهاية. [ 18 ] [ 14 ] [ 29 ] ومع ذلك، أظهر أوتو بلومنتال في عام 1905 أنه يمكن استخدام نواة تكامل معدلة لتكامل الحقول التي تتلاشى بشكل أسرع من|ر|-دلتا{\displaystyle |\mathbf {r} |^{-\delta }}معدلتا>0{\displaystyle \delta >0}وهو أقل صرامة بكثير. ولتحقيق ذلك، فإن النواةك(ر،ر){\displaystyle K(\mathbf {r} ,\mathbf {r} ')}يجب استبدال التكاملات الالتفافية بـك(ر،ر)=ك(ر،ر)-ك(0،ر){\displaystyle K'(\mathbf {r} ,\mathbf {r} ')=K(\mathbf {r} ,\mathbf {r} ')-K(0,\mathbf {r} ')}[ 30 ] باستخدام نواة تكامل أكثر تعقيدًا، يمكن إيجاد حلول حتى للدوال المتباعدة التي لا يشترط أن تنمو أسرع من كثير الحدود . [ 13 ] [ 14 ] [ 26 ] [ 31 ]

بالنسبة لجميع حقول المتجهات التحليلية التي لا يلزم أن تؤول إلى الصفر حتى عند اللانهاية، يمكن استخدام الطرق القائمة على التكامل الجزئي وصيغة كوشي للتكامل المتكرر [ 32 ] لحساب الحلول المغلقة للكمونات الدورانية والكمونات العددية، كما هو الحال في الدوال متعددة المتغيرات ، ودوال الجيب ، وجيب التمام ، والدوال الأسية . [ 8 ]

فرادة الحل

بشكل عام، لا يُعرَّف تحليل هيلمهولتز تعريفًا فريدًا. دالة توافقيةح(ر){\displaystyle H(\mathbf {r} )}هي دالة تحققΔح(ر)=0{\displaystyle \Delta H(\mathbf {r} )=0}بإضافةح(ر){\displaystyle H(\mathbf {r} )}إلى الجهد القياسيΦ(ر){\displaystyle \Phi (\mathbf {r} )}، ويمكن الحصول على تحليل هيلمهولتز مختلف:

جي(ر)=(Φ(ر)+ح(ر))=جي(ر)+ح(ر)،R(ر)=R(ر)-ح(ر).{\displaystyle {\begin{aligned}\mathbf {G} '(\mathbf {r} )&=\nabla (\Phi (\mathbf {r} )+H(\mathbf {r} ))=\mathbf {G} (\mathbf {r} )+\nabla H(\mathbf {r} ),\\\mathbf {R} '(\mathbf {r} )&=\mathbf {R} (\mathbf {r} )-\nabla H(\mathbf {r} ).\end{aligned}}}

بالنسبة للحقول المتجهةF{\displaystyle \mathbf {F} }وبما أن الكميات تتلاشى عند اللانهاية، فمن المعقول أن تتلاشى الكميات العددية والدورانية أيضًا عند اللانهاية.ح(ر)=0{\displaystyle H(\mathbf {r} )=0}هي الدالة التوافقية الوحيدة التي تتمتع بهذه الخاصية، والتي تتبع من نظرية ليوفيل ، وهذا يضمن تفرد حقول التدرج والدوران. [ 33 ]

لا تنطبق هذه الخاصية الفريدة على الكمونات: ففي الحالة ثلاثية الأبعاد، يمتلك الكمون القياسي والكمون المتجهي معًا أربعة مركبات، بينما يمتلك الحقل المتجهي ثلاثة مركبات فقط. الحقل المتجهي ثابت تحت تحويلات القياس، واختيار الكمونات المناسبة، المعروف بتثبيت القياس، هو موضوع نظرية القياس . من الأمثلة المهمة في الفيزياء شرط لورنز القياسي وشرط كولوم القياسي . وثمة بديل آخر يتمثل في استخدام التفكيك القطبي-الحلقي .

التطبيقات

الديناميكا الكهربائية

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

ديناميكا الموائع

في ديناميكا الموائع ، يلعب إسقاط هيلمهولتز دورًا هامًا، لا سيما في نظرية قابلية حل معادلات نافيير-ستوكس . عند تطبيق إسقاط هيلمهولتز على معادلات نافيير-ستوكس الخطية غير القابلة للانضغاط، نحصل على معادلة ستوكس . تعتمد هذه المعادلة فقط على سرعة الجسيمات في التدفق، دون الحاجة إلى الضغط الساكن، مما يسمح باختزالها إلى مجهول واحد. مع ذلك، فإن المعادلتين، معادلة ستوكس والمعادلة الخطية، متكافئتان.PΔ{\displaystyle P\Delta }يُطلق عليه اسم عامل ستوكس . [ 34 ]

نظرية الأنظمة الديناميكية

في نظرية الأنظمة الديناميكية ، يمكن استخدام تحليل هيلمهولتز لتحديد "الجهود شبه الكامنة" وكذلك لحساب دوال ليابونوف في بعض الحالات. [ 35 ] [ 36 ] [ 37 ]

بالنسبة لبعض الأنظمة الديناميكية مثل نظام لورنز ( إدوارد ن. لورنز ، 1963 [ 38 ] )، وهو نموذج مبسط للحمل الحراري في الغلاف الجوي ، يمكن الحصول على تعبير مغلق لتحليل هيلمهولتز: ر˙=F(ر)=[أ(ر2-ر1)،ر1(ب-ر3)-ر2،ر1ر2-جر3].{\displaystyle {\dot {\mathbf {r} }}=\mathbf {F} (\mathbf {r} )={\big [}a(r_{2}-r_{1}),r_{1}(b-r_{3})-r_{2},r_{1}r_{2}-cr_{3}{\big ]}.} تحلل هيلمهولتز لـF(ر){\displaystyle \mathbf {F} (\mathbf {r} )}، مع الجهد القياسيΦ(ر)=أ2ر12+12ر22+ج2ر32{\displaystyle \Phi (\mathbf {r} )={\tfrac {a}{2}}r_{1}^{2}+{\tfrac {1}{2}}r_{2}^{2}+{\tfrac {c}{2}}r_{3}^{2}}يُعطى على النحو التالي:

جي(ر)=[-أر1،-ر2،-جر3]،{\displaystyle \mathbf {G} (\mathbf {r} )={\big [}-ar_{1},-r_{2},-cr_{3}{\big ]},}R(ر)=[+أر2،بر1-ر1ر3،ر1ر2].{\displaystyle \mathbf {R} (\mathbf {r} )={\big [}+ar_{2},br_{1}-r_{1}r_{3},r_{1}r_{2}{\big ]}.}

يُوفر الجهد القياسي التربيعي حركةً في اتجاه نقطة الأصل، وهو المسؤول عن نقطة التثبيت المستقرة لنطاق معين من المعاملات. أما بالنسبة للمعاملات الأخرى، فيضمن مجال الدوران إنشاء جاذب غريب ، مما يجعل النموذج يُظهر تأثير الفراشة . [ 8 ] [ 39 ]

التصوير الطبي

في التصوير بالرنين المغناطيسي المرن ، وهو نوع من التصوير بالرنين المغناطيسي حيث تُستخدم الموجات الميكانيكية لدراسة لزوجة الأعضاء، يُستخدم أحيانًا تحليل هيلمهولتز لفصل حقول الإزاحة المقاسة إلى مُركّبة القص (الخالية من التباعد) ومُركّبة الضغط (الخالية من الالتفاف). [ 40 ] وبهذه الطريقة، يُمكن حساب مُعامل القص المُركّب دون مُساهمات من موجات الضغط.

الرسوم المتحركة الحاسوبية والروبوتات

يُستخدم تحليل هيلمهولتز أيضًا في مجال هندسة الحاسوب. ويشمل ذلك الروبوتات، وإعادة بناء الصور، بالإضافة إلى الرسوم المتحركة الحاسوبية، حيث يُستخدم التحليل لتصوير السوائل أو الحقول المتجهة بشكل واقعي. [ 16 ] [ 41 ]

انظر أيضاً

ملحوظات

  1. دانيال ألكسندر موراي : دورة تمهيدية في حساب التكامل . شركة الكتب الأمريكية، 1898. ص 8.
  2. جيه دبليو جيبس ، إدوين بيدويل ويلسون : تحليل المتجهات . 1901، ص 237، رابط من أرشيف الإنترنت .
  3. أوليفر هيفسايد : النظرية الكهرومغناطيسية . المجلد 1، شركة الطباعة والنشر "The Electrician" المحدودة، 1893.
  4. ويسلي ستوكر باركر وولهاوس : عناصر حساب التفاضل والتكامل . ويل، 1854.
  5. ويليام وولسي جونسون : رسالة تمهيدية في حساب التكامل: مبنية على طريقة المعدلات أو التدفقات . جون وايلي وأولاده، 1881.انظر أيضًا: طريقة التدفقات .
  6. جيمس بيرني شو: حساب المتجهات: مع تطبيقات في الفيزياء . دار فان نوستراند، 1922، ص 205.انظر أيضًا: نظرية غرين .
  7. جوزيف إدواردز، رسالة في حساب التكامل . المجلد 2. شركة تشيلسي للنشر، 1922.
  8. 1 2 3 4 5 6 غلوتزل، إرهارد؛ ريخترز، أوليفر (2023). "تحليل هيلمهولتز ودوال الجهد لحقول المتجهات التحليلية ذات الأبعاد n". مجلة التحليل الرياضي والتطبيقات . 525 (2) 127138. arXiv : 2102.09556v3 . doi : 10.1016/j.jmaa.2023.127138 .. ورقة عمل الرياضيات في دوي : 10.5281/zenodo.7512798 .
  9. لارس هورماندر : تحليل المؤثرات التفاضلية الجزئية الخطية II . سبرينغر-فيرلاغ، 2005، القسم 10.6.
  10. غابرييل ستوكس، جورج (1849). "حول النظرية الديناميكية للانعراج". معاملات الجمعية الفلسفية في كامبريدج . 9 : 1-62 . doi : 10.1017/cbo9780511702259.015 .انظر الصفحتين 9-10.
  11. ^ فون هيلمهولتز ، هيرمان (1858). "Über Integrale der hydrodynamischen Gleichungen، welche den Wirbelbewegungen entsprechen" . Journal für die reine und angewandte Mathematik . 55 : 25 – 55. دوى : 10.1515/crll.1858.55.25 .في الصفحة 38، يتم التعبير عن مكونات سرعة السائل ( u ، v ، w ) بدلالة تدرج الجهد القياسي P ودوران الجهد الشعاعي ( L ، M ، N ).     
  12. 1 2 3 4 كوستيبيلي، ألب (2016). "حول نظرية هيلمهولتز وتعميمها للطبقات المتعددة" . الكهرومغناطيسية . 36 (3): 135-148 . doi : 10.1080/02726343.2016.1149755 . hdl : 11147/6104 .
  13. 1 2 تون تران كونغ 1993 "حول نظرية هيلمهولتز للتحليل ومعادلة بواسون مع مجال لانهائي" مجلة الرياضيات التطبيقية الفصلية 51.1، ص 23-35 JSTOR 43637902 . 
  14. 1 2 3 بيتراشيك، د.؛ فولك، ر. (2017). " نظرية تفكيك هيلمهولتز وتوسيع بلومنتال بالتنظيم ". فيزياء المادة المكثفة . 20 (1) 13002. arXiv : 1704.02287 . Bibcode : 2017CMPh...2013002P . doi : 10.5488/CMP.20.13002 .
  15. 1 2 سبروسيج، وولفغانغ (2009). "حول تحليلات هيلمهولتز وتعميماتها - نظرة عامة". الأساليب الرياضية في العلوم التطبيقية . 33 (4): 374-383 . doi : 10.1002/mma.1212 .
  16. 1 2 3 بهاتيا، هارش؛ نورغارد، غريغوري؛ باسكوتشي، فاليريو؛ بريمر، بير-تيمو (2013). "تحليل هيلمهولتز-هودج - دراسة استقصائية". معاملات IEEE في التصور ورسومات الحاسوب . 19 (8): 1386-1404 . Bibcode : 2013ITVCG..19.1386B . doi : 10.1109/tvcg.2012.316 . PMID 23744268 . 
  17. آرفكين، جورج (1985). الأساليب الرياضية للفيزيائيين ( الطبعة الثالثة). § 1.15: دار النشر الأكاديمية، الصفحات 78-83 . ISBN   0-12-059820-5.{{cite book}}: CS1 maint: location ( link )
  18. 1 2 3 بيتراشيك، ديتمار (2015). "إعادة النظر في تحليل هيلمهولتز". المجلة الأوروبية للفيزياء . 37 (1) 015201. doi : 10.1088/0143-0807/37/1/015201 .
  19. "نظرية هيلمهولتز" (ملف PDF) . جامعة فيرمونت. مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 13 أغسطس 2012. تم الاطلاع عليه بتاريخ 11 مارس 2011 .
  20. 1 2 3 ديفيد ج. جريفيث : مقدمة في الديناميكا الكهربائية . برنتيس هول، 1999، ص 556.
  21. عمروش، شريف؛ برناردي، كريستين ؛ دوج، مونيك ؛ جيرو، فيفيت (1998). "الجهود المتجهة في المجالات غير الملساء ثلاثية الأبعاد". الأساليب الرياضية في العلوم التطبيقية . 21 (9): 823-864 . Bibcode : 1998MMAS...21..823A . doi : 10.1002/(sici)1099-1476(199806)21:9 < 823::aid-mma976 > 3.0.co ; 2-b .
  22. ر. دوتراي وج . ل. ليونز . نظرية الأطياف وتطبيقاتها، المجلد 3 من التحليل الرياضي والأساليب العددية للعلوم والتكنولوجيا. سبرينغر-فيرلاغ، 1990.
  23. V. Girault , PA Raviart: طرق العناصر المحدودة لمعادلات نافيير-ستوكس: النظرية والخوارزميات. سلسلة سبرينغر في الرياضيات الحاسوبية. سبرينغر-فيرلاغ، 1986.
  24. ستيوارت، أ.م. (2011). "المكونات الطولية والعرضية لحقل متجه". المجلة السريلانكية للفيزياء . 12 : 33-42 . arXiv : 0801.0335 . doi : 10.4038/sljp.v12i0.3504 .
  25. روبرت ليتلجون: هاميلتونيان المجال الكهرومغناطيسي الكلاسيكي . ملاحظات المحاضرة على الإنترنت، berkeley.edu.
  26. 1 2 إرهارد غلوتزل، أوليفر ريخترز: تحليل هيلمهولتز وإمكانات الدوران في الإحداثيات الديكارتية ذات الأبعاد n . 2020، arXiv : 2012.13157 .
  27. فرانك دبليو. وارنر: نظرية هودج . في: أسس المشعبات التفاضلية ومجموعات لي . (= نصوص الدراسات العليا في الرياضيات 94). سبرينغر، نيويورك 1983، doi : 10.1007/978-1-4757-1799-0_6 .
  28. كانتاريلا، جيسون؛ ديترك، دينيس؛ جلوك، هيرمان (2002). "حساب المتجهات وطوبولوجيا المجالات في الفضاء ثلاثي الأبعاد". المجلة الرياضية الأمريكية الشهرية . 109 (5): 409-442 . doi : 10.2307/2695643 . JSTOR 2695643 . 
  29. غريغوري، ر. دوغلاس (1996). "نظرية هيلمهولتز عندما يكون المجال لانهائيًا وعندما يحتوي الحقل على نقاط شاذة". المجلة الفصلية للميكانيكا والرياضيات التطبيقية . 49 (3): 439-450 . doi : 10.1093/qjmam/49.3.439 .
  30. ^ بلومنثال، أوتو (1905). "Über die Zerlegung unendlicher Vektorfelder". الرياضيات أنالن . 61 (2): 235-250 . دوى : 10.1007 / BF01457564 .
  31. جورتين، مورتون إي. (1962). "حول نظرية هيلمهولتز واكتمال دوال إجهاد بابكوفيتش-نيوبر للمجالات اللانهائية". أرشيف الميكانيكا والتحليل العقلاني . 9 (1): 225-233 . Bibcode : 1962ArRMA...9..225G . doi : 10.1007/BF00253346 .
  32. ^ كوشي، أوغسطين لويس (1823). "Trente-Cinquième Leçon". ملخص الدروس المستفادة من المدرسة الملكية للفنون التطبيقية sur le calcul infinitésimal (باللغة الفرنسية). باريس: المطبعة الملكية. ص 133 – 140. 
  33. شيلدون أكسلر، بول بوردون، ويد رامي "الدوال التوافقية المحدودة" نظرية الدوال التوافقية (= نصوص الدراسات العليا في الرياضيات 137). سبرينغر، نيويورك 1992، ص 31-44 doi : 10.1007/0-387-21527-1_2 .
  34. ألكسندر ج. شورين، جيرولد إي. مارسدن، مقدمة رياضية في ميكانيكا الموائع (= نصوص في الرياضيات التطبيقية 4). سبرينغر الولايات المتحدة، نيويورك 1990 doi : 10.1007/978-1-4684-0364-0 .
  35. سودا، توموهارو (2019). "بناء دوال ليابونوف باستخدام تحليل هيلمهولتز-هودج". الأنظمة الديناميكية المنفصلة والمستمرة - أ . 39 (5): 2437-2454 . arXiv : 1901.05794 . doi : 10.3934/dcds.2019103 .
  36. سودا، توموهارو (2020). "تطبيق تحليل هيلمهولتز-هودج لدراسة بعض الحقول المتجهة". مجلة الفيزياء أ: الرياضية والنظرية . 53 (37): 375703. arXiv : 1911.10382 . Bibcode : 2020JPhA...53K5703S . doi : 10.1088/1751-8121/aba657 .
  37. شو تشو، جوزيف؛ عليو، إم دي إس؛ أوريل، إريك؛ هوانغ، سوي (2012). "مشهد شبه الجهد في الأنظمة المعقدة متعددة الاستقرار" . مجلة الجمعية الملكية للواجهات . 9 (77): 3539-3553 . Bibcode : 2012JRSI....9.3539Z . doi : 10.1098 / rsif.2012.0434 . PMC 3481575. PMID 22933187 .  
  38. لورنز، إدوارد ن. (1963). "التدفق غير الدوري الحتمي". مجلة علوم الغلاف الجوي . 20 (2): 130-141 . Bibcode : 1963JAtS...20..130L . doi : 10.1175/1520-0469(1963)020 < 0130:DNF > 2.0.CO ; 2 .
  39. ^ هاينز أوتو بيتجن، هارتموت يورجنز، ديتمار سوب: جاذبون غريبون: موضع الفوضى . في: الفوضى والفركتلات . سبرينغر، نيويورك، ص 655-768. دوى : 10.1007/978-1-4757-4740-9_13 .
  40. ماندوكا، أرماندو (2021). " التصوير المرن بالرنين المغناطيسي: المبادئ والتوجيهات والمصطلحات" . الرنين المغناطيسي في الطب . 85 (5): 2377-2390 . doi : 10.1002/mrm.28627 . PMC 8495610. PMID 33296103 .  
  41. بهاتيا، هيرش؛ باسكوتشي، فاليريو؛ بريمر، بير-تيمو (2014). "تحليل هيلمهولتز-هودج الطبيعي لتحليل تدفق الحدود المفتوحة". معاملات IEEE في التصور ورسومات الحاسوب . 20 (11): 1566-1578 . Bibcode : 2014ITVCG..20.1566B . doi : 10.1109/TVCG.2014.2312012 . PMID 26355335 . 

مراجع

  • جورج ب. أرفكن وهانز ج. ويبر، الأساليب الرياضية للفيزيائيين ، الطبعة الرابعة، دار النشر الأكاديمية: سان دييغو (1995)، الصفحات  92-93
  • جورج ب. أرفكن وهانز ج. ويبر، الأساليب الرياضية للفيزيائيين - الطبعة الدولية ، الطبعة السادسة، دار النشر الأكاديمية: سان دييغو (2005)، الصفحات  95-101
  • روثرفورد أريس ، المتجهات، الموترات، والمعادلات الأساسية لميكانيكا الموائع ، برنتيس هول (1962)، OCLC 299650765 ، الصفحات 70-72