【SEOテキスト】宇田雄一「古典物理学」【3】e3(ξ,1,3;f,Y,q)=e3(ξ,1,3;f,Y,0)-n∑j=1q(j)δ(ξ(3)-Y(ξ({4}),□,j))【4】e3(ξ,2,3;f,Y,q)=e3(ξ,2,3;f,Y,0),e5の定義:∀n∈N;∀f∈F2,n;∀E∈F3;∀m∈R(2×{1,・・・,n});∀(t,i,k)∈N2,n;e5(t,i,k;f,E,m)=m(1,k)∂/∂t(4)[∂4f(t,i,k)/√1-|∂4f(t,□,k)|2]-m(2,k)λ(t,i;f(□,□,k),E),e1の定義:∀f∈F1;∀m∈R(2);∀n∈N;∀Z∈F4,n;∀M∈R({1,・・・,n});e1(f,Z,M,m)⇔[∀(t,i)∈N1;e1(t,i;f,Z,M,m)=0]e2の定義:∀n∈N;∀f∈F2,n;∀E∈F3;∀m∈R(2×{1,・・・,n});e2(f,E,m)⇔[∀(t,i,k)∈N2,n;e2(t,i,k;f,E,m)=0]e3の定義:∀f∈F3;∀n∈N;∀Y∈F2,n;∀q∈R({1,・・・,n});e3(f,Y,q)⇔[∀(ξ,i,k)∈N24;e3(ξ,i,k;f,Y,q)=0]e4の定義:∀n∈N;∀f∈F4,n;∀m∈R(2×{1,・・・,n});e4(f,m)⇔[e2(f(N2,n),f(N3),m)and
e3(f(N3),f(N2,n),m(2,□))]e5の定義:∀n∈N;∀f∈F4,n;∀m∈R(2×{1,・・・,n});e5(f,m)⇔[e3(f(N3),f(N2,n),m(2,□))and∀(t,i,k)∈N2,n;e5(t,i,k;f(N2,n),f(N3),m)=0]e12の定義:∀f∈F12;∀E∈F3;e12(f,E)⇔[【1】or【2】]【1】f=0∈R【2】∃n∈N;f∈F12,n
and e2(f(□,□,□),E,f(□,□))e14の定義:∀f∈F14;e14(f)⇔[【1】or【2】]【1】f∈F3 and e3(f,Y,0)【2】∃n∈N;f∈F14,n
and e4(f(□,□,□),f(□,□))
|
