正多角形板のChladni図形の対称性nalab.mind.meiji.ac.jp/sentan2018/20150909-endo.pdf ·...

1
正多角形板の Chladni 図形の対称性 遠藤 小欽 1 , 桂田 祐史 2 , 末松 信彦 2 1 明治大学大学院先端数理科学研究科 2 明治大学総合数理学部 2015 9 9 Chladni 図形とは 砂や塩などの粒子を特定の周波数で振動している板の上に撒くと,粒子が振動の節 (i.e., 振幅が 0) に集まり,現れる幾何学的図形のこと. Examples (Chladni [2]) 薄い板の振動の Kirchho-Love モデル z = z (x, y, t) を時刻 t の点 (x, y ) における板の変位とすると 2 z t 2 (x, y, t)= D2 z (x, y, t) in × (0, ) μz + (1 μ) 2 z n 2 =0 on × (0, ) n (z + (1 μ) S 2 z ∂τ )=0 on × (0, ) 角の点で 2 z ∂τ∂ n 2 つの片側極限が等しい ここで 2 = 4 x 4 +2 4 x 2 y 2 + 4 y 4 , D = Eh 2 12ρ(1 μ 2 ) であり, は板の占める領域, S は境界 に沿っての弧長, ∂τ は接線方向の微分, n は外向き法線方向の 微分を表す. ただし,E : ヤング率, h : 板の厚さ, ρ : 密度,μ :ポアソン比 とする. 固有値問題 (無次元化版) 2 u = λu in μu + (1 μ) 2 u n 2 =0 on n (u + (1 μ) S 2 u ∂τ )=0 on 角の点で 2 u ∂τ∂ n 2 つの片側極限が等しい 先行研究 (正方形領域) Chladni ([2]) 節線パターンを 2 つの指数 m, n を用いて,m|n, m|n, m|n として表した. Ritz ([4]) Ritz の方法を提案し,領域 (0, 1) × (0, 1) において,数値計算を行い,次の結果を得た. 板の固有関数 W m ,W mn ,W + mn (0 n m) は,それぞれ w m (x, y )= u m (x)u m (y ) w mn (x, y )= u m (x)u n (y ) u n (x)u m (y ) w + mn (x, y )= u m (x)u n (y )+ u n (x)u m (y ) により良い近似が与えられる.ただし,u m (x) は長さ 1 の自由な棒の固有関数とする. (これは Ritz の方法による級数解の主要な 2 項だけ残したものに相当する ). このとき,w m ,w mn ,w + mn はそれぞれ m|m, m|n m|n に対応している. また,固有関数 W m ,W mn ,W + mn の節線パターンの特徴によって,5 つのクラスに分類した. Waller ([1],[3]) Ritz の結果を現代的な実験で検証を行った上で,Ritz による 5 つのクラスを 7 つに増やし,二面体群を用 いて節線パターンの対称性を説明した. D n を正 n 角形の合同変換群(二面体群)とする.つまり,R を中心の周りに 2π n だけ回転させる変換,S を対称軸 (y ) に関する鏡映変換,I を恒等変換としたとき D n = {I,R,R 2 , ··· ,R n1 , S, RS, R 2 S, ··· ,R n1 S } である. Waller のクラス m, n m, n の偶奇 固有関数 対称性 Waller の記号 Ritz のクラス 1 m = n , W m D 4 + I の一部 2 m = n , W m D 4 II の一部 3 m>n , W mn D 4 III 4 m>n , W mn D 4 X IV 5 m>n , W + mn D 4 + I の一部 6 m>n , W + mn D 4 II の一部 7 m>n , W + mn ,W mn {I,R 2 , S, R 2 S } D 2 / V 本研究の目的 正方形領域における結果を正多角形へ拡張すること. 弱形式 v に対して λ uv dxdy = 2 u x 2 + 2 u y 2 2 v x 2 + 2 v y 2 (1 μ) 2 u x 2 2 v y 2 + 2 u y 2 2 v x 2 2 2 u xy 2 v xy dxdy 以下,単位円に内接し,(0, 1) が頂点であるような正 n 角形を n とする. 数値計算のアルゴリズム 弱形式と Fujino-Morley 要素による有限要素法を用いて,固有値問題は行列の固有値問題に帰着される. 自動メッシュ分割を用いると,重複固有値に対応する行列の固有値は重複しない. −→ メッシュ分割に対称性がないことが理由の一つである. D n 対称なメッシュ分割を用いると,重複固有値に対応する行列の固有値が重複することが期待される. メッシュ分割 (正五角形,N=5) FreeFEM++による自動メッシュ分割 D n 対称メッシュ分割 固有値の重複と節線パータン λ : double (重複度 = 2) λ:simple (重複度 = 1) 自動メッシュ 25th eigenfunction, eigenvalue=9211.76 26th eigenfunction, eigenvalue=9211.88 27th eigenfunction, eigenvalue=9400 D n 対称メッシュ 25th eigenfunction, eigenvalue=9220.85 26th eigenfunction, eigenvalue=9220.85 27th eigenfunction, eigenvalue=9409.31 n 角形領域における節線パターンの対称性 Theorem 固有値 λ simple のとき,固有関数の節線は D n 対称性を持つ. 一方で,λ double の場合,対応する 1 次独立な固有関数 φ, ψ の節線が対称性を持つとは限らない.そ こで, u := aφ + bψ , v := bφ + aψ を考える.a, b R をうまく選んで,対称性を持つような u, v を求める。 Proposition 固有値 λ double のとき,λ に対応する固有関数 u で,u(0, 1) = 0 を満たすものが存在 する. このとき,実は u v の節線は対称性を持つ. 数値計算結果 n λ double の時の u v の節線の対称性 3 {I,S } D 1 4 {I,R 2 , S, R 2 S } D 2 5 {I,S } D 1 6 {I,R 3 , S, R 3 S } D 2 7 {I,S } D 1 8 {I,R 4 , S, R 4 S } D 2 ,{I,R 2 ,R 4 ,R 6 , S, R 2 S, R 4 S, R 6 S } D 4 9 {I,S } D 1 ,{I,R 3 ,R 6 , S, R 3 S, R 6 S } D 3 10 {I,R 5 , S, R 5 S } D 2 11 {I,S } D 1 12 {I,R 6 , S, R 6 S } D 2 ,{I,R 3 ,R 6 ,R 9 , S, R 3 S, R 6 S, R 9 S } D 4 , {I,R 2 ,R 4 ,R 6 ,R 8 ,R 10 , S, R 2 S, R 4 S, R 6 S, R 8 S, R 10 S } D 6 数値計算の結果から次が成り立つと予想される. Conjecture n 3 を整数,n の約数とする. (1) n が奇数ならば,D の対称性を持つ固有関数が存在する. (2) n, が共に偶数ならば,D の対称性を持つ固有関数が存在する. (3) n が偶数,が奇数ならば,D の対称性を持つ固有関数は存在しない. References [1] M. D. Waller, Vibrations of free square plates: Part I. Normal vibrating modes, Proceedings of Physical Society, 51 (1939). [2] E. F. F. Chladni, Neue Beytr¨ age zur Akustik , Leipzig, 1817. [3] M. D. Waller,Chladni Figures – A Study In Symmetry, 1961. [4] W. Ritz, von : Theorie der Transversalschwingungen einer quadratischen Platte mit freien R ¨ andern, Annalen der Physik Vol. 333, Issue 4, pp. 737–786, (1909). 遠藤 小欽 (Meiji University) 正多角形板の Chladni 図形の対称性 9 Sep 2015 1/1

Transcript of 正多角形板のChladni図形の対称性nalab.mind.meiji.ac.jp/sentan2018/20150909-endo.pdf ·...

Page 1: 正多角形板のChladni図形の対称性nalab.mind.meiji.ac.jp/sentan2018/20150909-endo.pdf · Waller のクラス m,n m,nの偶奇 固有関数 ... M. D. Waller,Chladni Figures

正多角形板のChladni図形の対称性

遠藤 小欽1, 桂田 祐史2, 末松 信彦2

1明治大学大学院先端数理科学研究科2明治大学総合数理学部

2015年9月9日

Chladni図形とは砂や塩などの粒子を特定の周波数で振動している板の上に撒くと,粒子が振動の節(i.e., 振幅が0 )に集まり,現れる幾何学的図形のこと.

Examples (Chladni [2])

薄い板の振動のKirchhoff-Loveモデルz = z(x, y, t)を時刻tの点(x, y)における板の変位とすると

∂2z

∂t2(x, y, t) = −D∆2z(x, y, t) in Ω× (0,∞)

µ∆z + (1− µ)∂2z

∂n2= 0 on ∂Ω× (0,∞)

∂n(∆z + (1− µ)

∂S

∂2z

∂τ) = 0 on ∂Ω× (0,∞)

角の点で ∂2z

∂τ∂nの2つの片側極限が等しい

ここで∆2 =

∂4

∂x4+ 2

∂4

∂x2∂y2+∂4

∂y4, D =

Eh2

12ρ(1− µ2)

であり,Ωは板の占める領域,Sは境界Ωに沿っての弧長, ∂∂τは接線方向の微分,

∂∂nは外向き法線方向の

微分を表す.

ただし,E : ヤング率, h : 板の厚さ, ρ : 密度,µ :ポアソン比 とする.固有値問題(無次元化版)

∆2u = λu in Ω

µ∆u + (1− µ)∂2u

∂n2= 0 on ∂Ω

∂n(∆u + (1− µ)

∂S

∂2u

∂τ) = 0 on ∂Ω

角の点で ∂2u

∂τ∂nの2つの片側極限が等しい

先行研究(正方形領域)Chladni ([2])節線パターンを2つの指数m,nを用いて,m|n, m|n, m|nとして表した.

Ritz ([4])Ritzの方法を提案し,領域(0, 1)× (0, 1)において,数値計算を行い,次の結果を得た.板の固有関数Wm,W−

mn,W+mn (0 ≤ n ≤ m)は,それぞれ

wm(x, y) = um(x)um(y)w−mn(x, y) = um(x)un(y)− un(x)um(y)

w+mn(x, y) = um(x)un(y) + un(x)um(y)

により良い近似が与えられる.ただし,um(x)は長さ1の自由な棒の固有関数とする.(これはRitzの方法による級数解の主要な2項だけ残したものに相当する).

このとき,wm,w−mn,w

+mnはそれぞれm|m, m|n,m|nに対応している.

また,固有関数Wm,W−mn,W

+mnの節線パターンの特徴によって,5つのクラスに分類した.

Waller ([1],[3])Ritzの結果を現代的な実験で検証を行った上で,Ritzによる5つのクラスを7つに増やし,二面体群を用いて節線パターンの対称性を説明した.

Dnを正n角形の合同変換群(二面体群)とする.つまり,Rを中心の周りに 2πn だけ回転させる変換,S

を対称軸(y軸)に関する鏡映変換,Iを恒等変換としたときDn = I, R,R2, · · · , Rn−1, S, RS,R2S, · · · , Rn−1S

である.

Wallerのクラス m,n m, nの偶奇 固有関数 対称性 Wallerの記号 Ritzのクラス1  m = n 奇,奇 Wm D4 + Iの一部2  m = n 偶,偶 Wm D4 IIの一部3  m > n 奇,奇 W−

mn D4 ※ III4  m > n 偶,偶 W−

mn D4 X IV5  m > n 奇,奇 W+

mn D4 + Iの一部6  m > n 偶,偶 W+

mn D4 IIの一部7  m > n 偶,奇 W+

mn,W−mn I, R2, S, R2S ≃ D2 / V

本研究の目的正方形領域における結果を正多角形へ拡張すること.

弱形式 ∀vに対して

λ

∫∫

Ωuv dxdy =

∫∫

Ω

([∂2u

∂x2+∂2u

∂y2

] [∂2v

∂x2+∂2v

∂y2

]− (1− µ)

[∂2u

∂x2∂2v

∂y2+∂2u

∂y2∂2v

∂x2− 2

∂2u

∂x∂y

∂2v

∂x∂y

])dxdy

以下,単位円に内接し,(0, 1)が頂点であるような正n角形をΩnとする.

数値計算のアルゴリズム弱形式とFujino-Morley 要素による有限要素法を用いて,固有値問題は行列の固有値問題に帰着される.自動メッシュ分割を用いると,重複固有値に対応する行列の固有値は重複しない.−→メッシュ分割に対称性がないことが理由の一つである.Dn対称なメッシュ分割を用いると,重複固有値に対応する行列の固有値が重複することが期待される.

メッシュ分割(正五角形,N=5)

FreeFEM++による自動メッシュ分割 Dn対称メッシュ分割

固有値の重複と節線パータンλ : double (重複度 = 2) λ:simple (重複度 = 1)

自動メッシュ

25th eigenfunction, eigenvalue=9211.76 26th eigenfunction, eigenvalue=9211.88 27th eigenfunction, eigenvalue=9400

Dn対称メッシュ

25th eigenfunction, eigenvalue=9220.85 26th eigenfunction, eigenvalue=9220.85 27th eigenfunction, eigenvalue=9409.31

正n角形領域における節線パターンの対称性Theorem 固有値λがsimpleのとき,固有関数の節線はDn対称性を持つ.

一方で,λがdoubleの場合,対応する1次独立な固有関数φ, ψの節線が対称性を持つとは限らない.そこで,

u := aφ + bψ, v := −bφ + aψを考える.a, b ∈ R をうまく選んで,対称性を持つような u, v を求める。

Proposition

固有値λがdoubleのとき,λに対応する固有関数uで,u(0, 1) = 0を満たすものが存在する. このとき,実はuとvの節線は対称性を持つ.

数値計算結果n λがdoubleの時のuとvの節線の対称性3 I, S ≃ D14 I, R2, S, R2S ≃ D25 I, S ≃ D16 I, R3, S, R3S ≃ D27 I, S ≃ D18 I, R4, S, R4S ≃ D2,I, R2, R4, R6, S, R2S,R4S,R6S ≃ D49 I, S ≃ D1,I, R3, R6, S, R3S,R6S ≃ D310 I, R5, S, R5S ≃ D211 I, S ≃ D112 I, R6, S, R6S ≃ D2,I, R3, R6, R9, S, R3S,R6S,R9S ≃ D4,

I, R2, R4, R6, R8, R10, S, R2S,R4S,R6S,R8S,R10S ≃ D6

数値計算の結果から次が成り立つと予想される.Conjecture

n ≥ 3を整数,ℓをnの約数とする.(1) nが奇数ならば,Dℓの対称性を持つ固有関数が存在する.(2) n, ℓが共に偶数ならば,Dℓの対称性を持つ固有関数が存在する.(3) nが偶数,ℓが奇数ならば,Dℓの対称性を持つ固有関数は存在しない.

References

[1]M. D. Waller, Vibrations of free square plates: Part I. Normal vibrating modes, Proceedings of PhysicalSociety, 51 (1939).

[2]E. F. F. Chladni, Neue Beytrage zur Akustik , Leipzig, 1817.

[3]M. D. Waller,Chladni Figures – A Study In Symmetry, 1961.

[4]W. Ritz, von : Theorie der Transversalschwingungen einer quadratischen Platte mit freien Randern,Annalen der Physik Vol. 333, Issue 4, pp. 737–786, (1909).

遠藤 小欽 (Meiji University) 正多角形板の Chladni図形の対称性 9 Sep 2015 1 / 1