Top 8
git checkout hogeしてerror: pathspec 'hoge' did not match any file(s) known to gitとなったときの対処法【Git】
Oct. 13, 2019, 12:57 a.m.GitHubからpullするときにfatal: refusing to merge unrelated historiesとエラーが出るときの対処法
Aug. 13, 2019, 3:41 a.m.OverleafのBibTeXでjunsrtを使う
Jan. 8, 2019, 1:30 a.m.NumPyで標準誤差を計算する【Python】
Feb. 4, 2020, 2:24 a.m.Secure BootのままNvidiaドライバをaptからインストールする【Ubuntu 16.04】
July 24, 2021, 9:39 a.m.
Google Driveで「画像をコピー」をする
Oct. 8, 2018, 8:48 a.m.正規表現のre.search().groups()とre.findall()の違い【Python】
Oct. 11, 2019, 12:12 a.m.意識が量子効果で生じることを示す実験結果についてちょっと調べただけのメモ
April 21, 2022, 3:09 p.m.sinx/sqrt(1-x^2) の積分が初等関数で表されないことを示したい
July 11, 2018, 9:22 a.m. edited Sept. 15, 2018, 4:48 p.m.脚注1を見てください(懇願)
\(\int{\frac{\sin{x}}{\sqrt{1-x^2}}}dx\) が初等関数で書けないことを証明する(ホンマか? したい,の間違いでは)
Liouville の定理 を用いる3.
\(\sin{x} \equiv y_1,\ \cos{x} \equiv y_2,\ \sqrt{1-x^2} \equiv y_3\) とおくと,
$$ \begin{align} \frac{dy_1}{dx}&=\cos{x}=y_2 \in \mathbb{C}(x,\ y_1,\ y_2,\ y_3)\\ \frac{dy_2}{dx}&=-\sin{x}=-y_1 \in \mathbb{C}(x,\ y_1,\ y_2,\ y_3) \\ \frac{dy_3}{dx}&=-\frac{x}{\sqrt{1-x^2}}=-\frac{x}{y_3} \in \mathbb{C}(x,\ y_1,\ y_2,\ y_3) \end{align} $$
これを用いて,
$$F(x,\ y_1,\ y_2,\ y_3)\equiv\frac{\sin{x}}{\sqrt{1-x^2}}=\frac{y_1}{y_3}$$
と定義する. Liouville の定理より,リンク先にあったように (i) と (ii) は同値であるので, (ii) が成り立たないことを示せば良い.
\(\mathbb{C}(x,\ y_1,\ y_2,\ y_3)\) に含まれる有理関数として,
$$ G(x,\ y_1,\ y_2,\ y_3)\equiv\frac{a_0 x+a_1 y_1+a_2 y_2+a_3 y_3}{b_0 x+b_1 y_1+b_2 y_2+b_3 y_3}\ \left(a_0,\ a_1,\ a_2,\ a_3,\ b_0,\ b_1,\ b_2,\ b_3 \in \mathbb{R}\right) $$
を考える.
$$ \frac{d}{dx}G(x,\ y_1,\ y_2,\ y_3)=\frac{\left(a_0+a_1 y_2-a_2 y_1-a_3\frac{x}{y_3}\right)\left(b_0 x+b_1 y_1+b_2 y_2+b_3 y_3\right)-\left(a_0 x+a_1 y_1+a_2 y_2+a_3 y_3\right)\left(b_0+b_1 y_2-b_2 y_1-b_3\frac{x}{y_3}\right)}{{\left(b_0 x+b_1 y_1+b_2 y_2+b_3 y_3\right)}^2} $$
(いやこんなのどうすんの???) \(F\) の \(\frac{1}{y_3}\) を作るために分母は \(y_3\) の項のみでなければならない(ホンマか? (2 回目)).すると,
$$ \frac{d}{dx}G(x,\ y_1,\ y_2,\ y_3)=\frac{1}{y_3^2}\left\{\left(a_0+a_1 y_2-a_2 y_1-a_3\frac{x}{y_3}\right)b_3 y_3+\left(a_0 x+a_1 y_1+a_2 y_2+a_3 y_3\right)b_3\frac{x}{y_3}\right\} $$
ここから, \(G\) で割っているものと割っていないもの(つまりリンク先における \(H\))を別々に考える.まず割っているものから.
$$ \frac{\frac{d}{dx}G}{G}=\frac{\frac{1}{y_3^2}\left\{\left(a_0+a_1 y_2-a_2 y_1-a_3\frac{x}{y_3}\right)b_3^2 y_3+\left(a_0 x+a_1 y_1+a_2 y_2+a_3 y_3\right)b_3^2\frac{x}{y_3}\right\}}{a_0 x+a_1 y_1+a_2 y_2+a_3 y_3} $$
これも(きっと)上と同じ理由で \(a_0=a_1=a_2=0\) でなければならないので,
$$ \frac{\frac{d}{dx}G}{G}=\frac{1}{a_3 y_3^2}\left(-a_3 b_3^2 x+a_3 b_3^2 x\right)=0 $$
ゆえに, \(G\) で割っているものは \(F\) に寄与しない.次に,割っていないものを考える.
$$ \frac{d}{dx}G=\frac{1}{y_3^2}\left\{\left(a_0+a_1 y_2-a_2 y_1-a_3\frac{x}{y_3}\right)b_3 y_3+\left(a_0 x+a_1 y_1+a_2 y_2+a_3 y_3\right)b_3\frac{x}{y_3}\right\} $$
分母が \(y_3\) になるためには \(b_3 y_3\) を活かさなければならないが,そのために \(a_0,\ a_1,\ a_2\) を残すと \(b_3\frac{x}{y_3}\) も残ってしまう.ゆえに,こちらも \(F\) には寄与できない.
よって, (ii) が成り立つことはない.したがって,これと同値である (i) は成り立たない,つまり, \(\int{\frac{\sin{x}}{\sqrt{1-x^2}}}dx\) は初等関数で書けない.
...数学徒の方々,ご教授ください.....
Top 8
git checkout hogeしてerror: pathspec 'hoge' did not match any file(s) known to gitとなったときの対処法【Git】
Oct. 13, 2019, 12:57 a.m.GitHubからpullするときにfatal: refusing to merge unrelated historiesとエラーが出るときの対処法
Aug. 13, 2019, 3:41 a.m.OverleafのBibTeXでjunsrtを使う
Jan. 8, 2019, 1:30 a.m.NumPyで標準誤差を計算する【Python】
Feb. 4, 2020, 2:24 a.m.Secure BootのままNvidiaドライバをaptからインストールする【Ubuntu 16.04】
July 24, 2021, 9:39 a.m.
Google Driveで「画像をコピー」をする
Oct. 8, 2018, 8:48 a.m.正規表現のre.search().groups()とre.findall()の違い【Python】
Oct. 11, 2019, 12:12 a.m.意識が量子効果で生じることを示す実験結果についてちょっと調べただけのメモ
April 21, 2022, 3:09 p.m.Tags
- #Python (21)
- #量子力学 (12)
- #Unity (11)
- #量子情報 (9)
- #Mac (8)
- #AoE2 (7)
- #数学 (6)
- #Quantum Zoo (6)
- #意識 (5)
- #NumPy (5)
- #Bash (5)
- #Linux (5)
- #Outer Wilds (5)
- #相対論 (4)
- #シミュレーション (4)
- #Docker (4)
- #Android (4)
- #Qiskit (4)
- #GitHub (3)
- #Django (2)
- #情報理論 (2)
- #LaTeX (2)
- #Rust (2)
- #PyO3 (2)
- #AR (2)
- #Git (2)
- #iOS (2)
- #C++ (2)
- #正規表現 (2)
- #電磁気学 (1)
- #Google Drive (1)
- #Overleaf (1)
- #Let's Encrypt (1)
- #ポケモン (1)
- #AdMob (1)
- #Autoya (1)
- #docopt (1)
- #SymPy (1)
- #AWS (1)
- #Twitter (1)
- #URP (1)
- #iMovie (1)
- #論文 (1)
- #PyTorch (1)
- #C# (1)