懸垂線とは
ロープや糸などの紐の類をその両端を固定して吊り下げたものを懸垂線などといいます。これは物理的なポテンシャルが最小になるときのものであり、ここではそれを表す方程式をオイラーの式を使って求めるのですがいままでのやり方だとちょっとうまくいきません。そこで途中の式で全微分の公式を使います。こうしたやり方は物理現象を数式によってとく際にたまに使われる数学テクニックになります。
たとえば一様な重力場中の質点の力学的エネルギーは時間によらず一定(
になる)であることの証明や、壁に立てかけた棒の運動を数学的に説明するときなどに使われます。
とりあえず実際にやってみましょう。
紐の長さはとします。
微小線要素は先ほどと同じくとします。よって、
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_line_elements_large_2024img.png)
となりますがここで簡単のためにと置きます。
![](https://diff-eq.com/wp-content/uploads/2024/06/lagrangian_function_of_catenary_2024img1.png)
これをオイラーの式に合わせて解いていきます。
![](https://diff-eq.com/wp-content/uploads/2024/06/lagrangian_function_of_catenary_huge_2024img2.png)
オイラーの方程式、
![](https://diff-eq.com/wp-content/uploads/2024/06/euler_lagrange_equation_formula_default_large_2024img.png)
にそれぞれを代入して計算していくのですがそのままの計算を行うと結果がになってしまうのでここでちょっと工夫をします。
まずに対して全微分の公式を適用します。
![](https://diff-eq.com/wp-content/uploads/2024/06/f_total_derivative_euler_lagrange_equation_formula_default_huge_2024img-1024x256-1.png)
さらにオイラー式の両辺をでスカラ倍します。
![](https://diff-eq.com/wp-content/uploads/2024/06/f_total_derivative_euler_lagrange_equation_formula_default_huge_2024img2-1024x135-1.png)
出てきた以下の式、
![](https://diff-eq.com/wp-content/uploads/2024/06/f_total_derivative_euler_lagrange_equation_formula_default_large_2024img4.png)
と、次の式、
![](https://diff-eq.com/wp-content/uploads/2024/06/f_total_derivative_euler_lagrange_equation_formula_default_large_2024img5-1.png)
の式を、次のように互いに足し算引き算してそれを変形させていきます。
![](https://diff-eq.com/wp-content/uploads/2024/06/f_total_derivative_euler_lagrange_equation_formula_default_large_2024img6.png)
ここで上記式左辺の第2項に関して、積の微分を考えると、
![](https://diff-eq.com/wp-content/uploads/2024/06/f_total_derivative_euler_lagrange_equation_formula_default_huge_2024img5-1024x136-1.png)
と考えられるので次のような式変形が導かれます。
![](https://diff-eq.com/wp-content/uploads/2024/06/f_total_derivative_euler_lagrange_equation_formula_default_huge_2024img6.png)
これを積分すれば、
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_integral_calculation_img1.png)
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_integral_calculation_img2.png)
をもとに戻します。
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img1-1024x334-1.png)
上記式の右辺第2項に関しては次のように連鎖律を使って計算していきます。
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img2.png)
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img3.png)
チェインさせます。
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img4.png)
これより右辺第2項の偏微分は以下のように求まります。
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img5.png)
これを代入して計算していきます。
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img6.png)
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img7.png)
この式をさらに計算していきます。
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img8.png)
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img9.png)
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img10.png)
ここでとなる変数変換をします。
これを微分したものは、
![](https://diff-eq.com/wp-content/uploads/2024/06/dy_csinh_dtheta_inline_img-1.png)
これを代入して計算します。
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img11.png)
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img12.png)
さらにこれを積分して出てきた定数をとします。
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_process_img13.png)
元に戻せば次のように求まります。
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_euler_lagrange_equation_calculate_result_img.png)
グラフにすると次のようなものになります。
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_cosh_x_image2024.png)
また以下の画像は上記のものを3次元で出力したものになり一般的に懸垂面、またはカテナリーと呼びます。
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_gnuplot_img1.png)
![](https://diff-eq.com/wp-content/uploads/2024/06/catenoid_3dimg2017_4.png)
独特な感じがする画像になりますがこれの特徴的なところは平均曲率がいたるところでになるというものになります。
![](https://diff-eq.com/wp-content/uploads/2024/06/isoperimetric_problem_img21-e1721698063478.png)
古典的等周問題
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.
![](https://diff-eq.com/wp-content/uploads/2024/06/catenary_mathematica_eye_catch_img1-1-e1721698547222.jpg)
Beltrami identity
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.
![](https://diff-eq.com/wp-content/themes/x-t9/inc/patterns/images/sample-image-gray.png)
Title Text
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.
![](https://diff-eq.com/wp-content/themes/x-t9/inc/patterns/images/sample-image-gray.png)
Title Text
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.
![](https://diff-eq.com/wp-content/themes/x-t9/inc/patterns/images/sample-image-gray.png)
Title Text
Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.