{"id":5131,"date":"2023-01-25T12:02:11","date_gmt":"2023-01-25T03:02:11","guid":{"rendered":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/?page_id=5131"},"modified":"2025-02-04T12:34:37","modified_gmt":"2025-02-04T03:34:37","slug":"maxima-%e3%81%ae-ctensor-%e3%81%a7%e3%82%a2%e3%82%a4%e3%83%b3%e3%82%b7%e3%83%a5%e3%82%bf%e3%82%a4%e3%83%b3%e6%96%b9%e7%a8%8b%e5%bc%8f%e3%82%92%e8%a7%a3%e3%81%84%e3%81%a6%e3%82%b7%e3%83%a5%e3%83%90","status":"publish","type":"page","link":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/%e4%b8%80%e8%88%ac%e7%9b%b8%e5%af%be%e8%ab%96%e7%9a%84%e6%99%82%e7%a9%ba%e3%81%ae%e8%a1%a8%e3%81%97%e6%96%b9\/%e3%82%b3%e3%83%b3%e3%83%94%e3%83%a5%e3%83%bc%e3%82%bf%e4%bb%a3%e6%95%b0%e3%82%b7%e3%82%b9%e3%83%86%e3%83%a0%e3%81%a7%e3%82%a2%e3%82%a4%e3%83%b3%e3%82%b7%e3%83%a5%e3%82%bf%e3%82%a4%e3%83%b3%e6%96%b9\/maxima-%e3%81%ae-ctensor-%e3%81%a7%e3%82%a2%e3%82%a4%e3%83%b3%e3%82%b7%e3%83%a5%e3%82%bf%e3%82%a4%e3%83%b3%e6%96%b9%e7%a8%8b%e5%bc%8f%e3%82%92%e8%a7%a3%e3%81%84%e3%81%a6%e3%82%b7%e3%83%a5%e3%83%90\/","title":{"rendered":"Maxima \u306e ctensor \u3067\u30a2\u30a4\u30f3\u30b7\u30e5\u30bf\u30a4\u30f3\u65b9\u7a0b\u5f0f\u3092\u89e3\u3044\u3066\u30b7\u30e5\u30d0\u30eb\u30c4\u30b7\u30eb\u30c8\u89e3\u3092\u6c42\u3081\u308b"},"content":{"rendered":"<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>Maxima \u306e ctensor \u3092\u4f7f\u3063\u3066\u7403\u5bfe\u79f0\u306a\u8a08\u91cf\u304b\u3089\u771f\u7a7a\u306e\u30a2\u30a4\u30f3\u30b7\u30e5\u30bf\u30a4\u30f3\u65b9\u7a0b\u5f0f<\/p>\n<p>$$G^{\\mu}_{\\ \\ \\nu} = 0$$<\/p>\n<p>\u3092\u89e3\u304d\uff0c\u30b7\u30e5\u30d0\u30eb\u30c4\u30b7\u30eb\u30c8\u89e3\u3092\u6c42\u3081\u308b\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p><!--more--><\/p>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"\u5fc5\u8981\u306a\u30d1\u30c3\u30b1\u30fc\u30b8\u306e-load\">\u5fc5\u8981\u306a\u30d1\u30c3\u30b1\u30fc\u30b8\u306e load<\/h3>\n<p>\u30e1\u30c8\u30ea\u30c3\u30af\u304c\u5bfe\u89d2\u7684\u306a\u306e\u3067\uff0c\u5165\u529b\u306e\u7c21\u4fbf\u6027\u306e\u305f\u3081\u306b <code>load(\"diag\")$<\/code> \u3057\u3066 <code>diag()<\/code> \u3092\u4f7f\u3044\u307e\u3059\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[1]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">load<\/span><span class=\"p\">(<\/span><span class=\"nv\">ctensor<\/span><span class=\"p\">)<\/span>$\r\n<span class=\"nf\">load<\/span><span class=\"p\">(<\/span><span class=\"nv\">diag<\/span><span class=\"p\">)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"\u7403\u5bfe\u79f0\u306a\u8a08\u91cf\">\u7403\u5bfe\u79f0\u306a\u8a08\u91cf<\/h3>\n<p>\u30e9\u30f3\u30c0\u30a6\u30fb\u30ea\u30d5\u30b7\u30c3\u30c4\u300c\u5834\u306e\u53e4\u5178\u8ad6\u300d\u306e\u8a18\u8ff0\u306b\u305d\u3063\u3066\uff0c\u7403\u5bfe\u79f0\u306a\u8a08\u91cf\u3092\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u304a\u304f\u3002\uff08$\\lambda$ \u306f\u4e88\u7d04\u8a9e\uff1f\u306a\u306e\u3067 $\\mu$ \u306b\u3057\u305f\u3002\uff09\u306a\u304a\uff0cMaxima \u306e\u30ea\u30b9\u30c8\u306f 1 \u59cb\u307e\u308a\u306a\u306e\u3067\uff0c\u7b2c\u30bc\u30ed\u6210\u5206\u3092\u7b2c4\u6210\u5206\u3068\u3057\u3066\u307f\u307e\u3059\u3002<\/p>\n<p>$$ds^2 = e^{\\mu(t,r)} dr^2 + r^2 \\left(d\\theta^2 + \\sin^2\\theta\\,d\\phi^2 \\right) &#8211; e^{\\nu(t,r)} dt^2 $$<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[2]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">init_ctensor<\/span><span class=\"p\">()<\/span>$\r\n\r\n<span class=\"cm\">\/* \u504f\u5fae\u5206\u8868\u793a\u306e\u7c21\u4fbf\u6027\u306e\u305f\u3081\u306b *\/<\/span>\r\n<span class=\"nv\">derivabbrev<\/span><span class=\"o\">:<\/span><span class=\"no\">true<\/span>$\r\n\r\n<span class=\"cm\">\/* \u6b21\u5143\u3002\u30c7\u30d5\u30a9\u30eb\u30c8\u3067 4 *\/<\/span>\r\n<span class=\"nv\">dim<\/span><span class=\"o\">:<\/span>4$\r\n\r\n<span class=\"cm\">\/* \u5ea7\u6a19\u7cfb\u3092\u30ea\u30b9\u30c8\u3067 *\/<\/span>\r\n<span class=\"nv\">ct_coords<\/span><span class=\"o\">:<\/span><span class=\"p\">[<\/span><span class=\"nv\">r<\/span>, <span class=\"nv\">theta<\/span>, <span class=\"nv\">phi<\/span>, <span class=\"nv\">t<\/span><span class=\"p\">]<\/span>;\r\n\r\n<span class=\"cm\">\/* mu(r, t), nu(r, t) *\/<\/span>\r\n<span class=\"nf\">depends<\/span><span class=\"p\">(<\/span><span class=\"nv\">mu<\/span>, <span class=\"p\">[<\/span><span class=\"nv\">r<\/span>, <span class=\"nv\">t<\/span><span class=\"p\">])<\/span>$\r\n<span class=\"nf\">depends<\/span><span class=\"p\">(<\/span><span class=\"nv\">nu<\/span>, <span class=\"p\">[<\/span><span class=\"nv\">r<\/span>, <span class=\"nv\">t<\/span><span class=\"p\">])<\/span>$\r\n\r\n<span class=\"cm\">\/* g_{\\mu\\nu} *\/<\/span>\r\n<span class=\"nv\">lg<\/span><span class=\"o\">:<\/span><span class=\"nf\">diag<\/span><span class=\"p\">([<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"nv\">mu<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">r<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span>, <span class=\"nv\">r<\/span><span class=\"o\">**<\/span>2<span class=\"o\">*<\/span><span class=\"nf\">sin<\/span><span class=\"p\">(<\/span><span class=\"nv\">theta<\/span><span class=\"p\">)<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span>, <span class=\"o\">-<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"nv\">nu<\/span><span class=\"p\">)])<\/span>;\r\n\r\n<span class=\"cm\">\/* g^{\\mu\\nu} \u3092\u8a08\u7b97\u3055\u305b\u3066\u304a\u304f *\/<\/span>\r\n<span class=\"nf\">cmetric<\/span><span class=\"p\">()<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[2]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{6}$}\\left[ r , \\vartheta , \\varphi , t \\right] \\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[2]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{9}$}\\begin{pmatrix}e^{\\mu} &amp; 0 &amp; 0 &amp; 0 \\\\ 0 &amp; r^2 &amp; 0 &amp; 0 \\\\ 0 &amp; 0 &amp; r^2\\,\\sin ^2\\vartheta &amp; 0 \\\\ 0 &amp; 0 &amp; 0 &amp; -e^{\\nu} \\\\ \\end{pmatrix}\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"\u30a2\u30a4\u30f3\u30b7\u30e5\u30bf\u30a4\u30f3\u30fb\u30c6\u30f3\u30bd\u30eb\">\u30a2\u30a4\u30f3\u30b7\u30e5\u30bf\u30a4\u30f3\u30fb\u30c6\u30f3\u30bd\u30eb<\/h3>\n<p>$\\displaystyle G^{\\mu}_{\\ \\ \\nu} = R^{\\mu}_{\\ \\ \\nu} &#8211; \\frac{1}{2} R \\delta^{\\mu}_{\\ \\ \\nu} $ = <code>ein<\/code><\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[3]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"cm\">\/* \u30a2\u30a4\u30f3\u30b7\u30e5\u30bf\u30a4\u30f3\u30fb\u30c6\u30f3\u30bd\u30eb\u306e\u8a08\u7b97\u3002<\/span>\r\n<span class=\"cm\">   false \u3067\u7d50\u679c\u3092\u975e\u8868\u793a\uff0ctrue \u306a\u3089\u30ce\u30f3\u30bc\u30ed\u6210\u5206\u3092\u8868\u793a *\/<\/span>\r\n<span class=\"nf\">einstein<\/span><span class=\"p\">(<\/span><span class=\"no\">false<\/span><span class=\"p\">)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"\u30a2\u30a4\u30f3\u30b7\u30e5\u30bf\u30a4\u30f3\u65b9\u7a0b\u5f0f\">\u30a2\u30a4\u30f3\u30b7\u30e5\u30bf\u30a4\u30f3\u65b9\u7a0b\u5f0f<\/h3>\n<p>$$G^{\\mu}_{\\ \\ \\nu} = 8\\pi G T^{\\mu}_{\\ \\ \\nu} &#8211; \\Lambda \\delta^{\\mu}_{\\ \\ \\nu} $$<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[4]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">EinEq<\/span><span class=\"p\">(<\/span><span class=\"nv\">a<\/span>, <span class=\"nv\">b<\/span><span class=\"p\">)<\/span><span class=\"o\">:=<\/span> \r\n  <span class=\"p\">(<\/span><span class=\"nf\">expand<\/span><span class=\"p\">(<\/span><span class=\"nv\">ein<\/span><span class=\"p\">[<\/span><span class=\"nv\">a<\/span>,<span class=\"nv\">b<\/span><span class=\"p\">])<\/span> <span class=\"o\">=<\/span>  <span class=\"mi\">0<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[4]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{12}$}{\\it EinEq}\\left(a , b\\right):={\\it expand}\\left({\\it ein}_{a,b}\\right)=0\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"$\\mu$-\u306f\u6642\u9593\u306b\u4f9d\u5b58\u3057\u306a\u3044\u3053\u3068\">$\\mu$ \u306f\u6642\u9593\u306b\u4f9d\u5b58\u3057\u306a\u3044\u3053\u3068<\/h3>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>$\\displaystyle G^{1}_{\\ \\ 0}$<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[5]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">EinEq<\/span><span class=\"p\">(<\/span><span class=\"mi\">1<\/span>, <span class=\"mi\">4<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[5]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{13}$}-\\frac{\\mu_{t}\\,e^ {- \\nu }}{r}=0\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>$\\displaystyle G^{1}_{\\ \\ 0} = 0$ \u3088\u308a<\/p>\n<p>$$\\mu_t = \\frac{\\partial \\mu}{\\partial t} = 0, \\quad \\therefore\\ \\ \\mu(t, r) \\Rightarrow \\mu(r)$$<\/p>\n<p>$\\mu(r)$ \u3068\u3057\u3066\uff0c\u3042\u3089\u305f\u3081\u3066\u30a2\u30a4\u30f3\u30b7\u30e5\u30bf\u30a4\u30f3\u30fb\u30c6\u30f3\u30bd\u30eb\u3092\u6c42\u3081\u3066\u307f\u308b\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[6]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">init_ctensor<\/span><span class=\"p\">()<\/span>$\r\n\r\n<span class=\"cm\">\/* \u504f\u5fae\u5206\u8868\u793a\u306e\u7c21\u4fbf\u6027\u306e\u305f\u3081\u306b *\/<\/span>\r\n<span class=\"nv\">derivabbrev<\/span><span class=\"o\">:<\/span><span class=\"no\">true<\/span>$\r\n\r\n<span class=\"cm\">\/* \u6b21\u5143\u3002\u30c7\u30d5\u30a9\u30eb\u30c8\u3067 4 *\/<\/span>\r\n<span class=\"nv\">dim<\/span><span class=\"o\">:<\/span>4$\r\n\r\n<span class=\"cm\">\/* \u5ea7\u6a19\u7cfb\u3092\u30ea\u30b9\u30c8\u3067 *\/<\/span>\r\n<span class=\"nv\">ct_coords<\/span><span class=\"o\">:<\/span><span class=\"p\">[<\/span><span class=\"nv\">r<\/span>, <span class=\"nv\">theta<\/span>, <span class=\"nv\">phi<\/span>, <span class=\"nv\">t<\/span><span class=\"p\">]<\/span>$\r\n\r\n<span class=\"cm\">\/* mu(r), nu(r, t) *\/<\/span>\r\n<span class=\"nf\">depends<\/span><span class=\"p\">(<\/span><span class=\"nv\">mu<\/span>, <span class=\"p\">[<\/span><span class=\"nv\">r<\/span><span class=\"p\">])<\/span>$\r\n<span class=\"nf\">depends<\/span><span class=\"p\">(<\/span><span class=\"nv\">nu<\/span>, <span class=\"p\">[<\/span><span class=\"nv\">r<\/span>, <span class=\"nv\">t<\/span><span class=\"p\">])<\/span>$\r\n\r\n<span class=\"cm\">\/* g_{\\mu\\nu} *\/<\/span>\r\n<span class=\"nv\">lg<\/span><span class=\"o\">:<\/span><span class=\"nf\">diag<\/span><span class=\"p\">([<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"nv\">mu<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">r<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span>, <span class=\"nv\">r<\/span><span class=\"o\">**<\/span>2<span class=\"o\">*<\/span><span class=\"nf\">sin<\/span><span class=\"p\">(<\/span><span class=\"nv\">theta<\/span><span class=\"p\">)<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span>, <span class=\"o\">-<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"nv\">nu<\/span><span class=\"p\">)])<\/span>$\r\n\r\n<span class=\"cm\">\/* g^{\\mu\\nu} \u3092\u8a08\u7b97\u3055\u305b\u3066\u304a\u304f *\/<\/span>\r\n<span class=\"nf\">cmetric<\/span><span class=\"p\">()<\/span>$\r\n<span class=\"cm\">\/* \u30a2\u30a4\u30f3\u30b7\u30e5\u30bf\u30a4\u30f3\u30fb\u30c6\u30f3\u30bd\u30eb\u306e\u8a08\u7b97\u3002<\/span>\r\n<span class=\"cm\">   false \u3067\u7d50\u679c\u3092\u975e\u8868\u793a\uff0ctrue \u306a\u3089\u30ce\u30f3\u30bc\u30ed\u6210\u5206\u3092\u8868\u793a *\/<\/span>\r\n<span class=\"nf\">einstein<\/span><span class=\"p\">(<\/span><span class=\"no\">false<\/span><span class=\"p\">)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>$\\displaystyle G^{0}_{\\ \\ 0} = 0$<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[7]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">EinEq<\/span><span class=\"p\">(<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[7]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{23}$}-\\frac{e^ {- \\mu }\\,\\mu_{r}}{r}+\\frac{e^ {- \\mu }}{r^2}-\\frac{1}{r^2}=0\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>$\\displaystyle G^{1}_{\\ \\ 1} = 0$<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[8]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">EinEq<\/span><span class=\"p\">(<\/span><span class=\"mi\">1<\/span>, <span class=\"mi\">1<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[8]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{24}$}\\frac{e^ {- \\mu }\\,\\nu_{r}}{r}+\\frac{e^ {- \\mu }}{r^2}-\\frac{1}{r^2}=0\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>$\\displaystyle G^{2}_{\\ \\ 2} = 0$<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[9]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">EinEq<\/span><span class=\"p\">(<\/span><span class=\"mi\">2<\/span>, <span class=\"mi\">2<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[9]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{25}$}\\frac{e^ {- \\mu }\\,\\nu_{r}}{2\\,r}-\\frac{e^ {- \\mu }\\,\\mu_{r}}{2\\,r}+\\frac{e^ {- \\mu }\\,\\nu_{r\\,r}}{2}+\\frac{e^ {- \\mu }\\,\\left(\\nu_{r}\\right)^2}{4}-\\frac{e^ {- \\mu }\\,\\mu_{r}\\,\\nu_{r}}{4}=0\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>$\\displaystyle G^{3}_{\\ \\ 3} = 0$<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[10]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">EinEq<\/span><span class=\"p\">(<\/span><span class=\"mi\">3<\/span>, <span class=\"mi\">3<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[10]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{26}$}\\frac{e^ {- \\mu }\\,\\nu_{r}}{2\\,r}-\\frac{e^ {- \\mu }\\,\\mu_{r}}{2\\,r}+\\frac{e^ {- \\mu }\\,\\nu_{r\\,r}}{2}+\\frac{e^ {- \\mu }\\,\\left(\\nu_{r}\\right)^2}{4}-\\frac{e^ {- \\mu }\\,\\mu_{r}\\,\\nu_{r}}{4}=0\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>$\\displaystyle G^{2}_{\\ \\ 2} = \\displaystyle G^{3}_{\\ \\ 3}$ \u3067\u3042\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3002$\\displaystyle G^{2}_{\\ \\ 2} &#8211; \\displaystyle G^{3}_{\\ \\ 3}$ \u304c\u30bc\u30ed\u3068\u306a\u308b\u3053\u3068\u3092\u793a\u3059\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[11]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nv\">ein<\/span><span class=\"p\">[<\/span><span class=\"mi\">2<\/span>,2<span class=\"p\">]<\/span> <span class=\"o\">-<\/span> <span class=\"nv\">ein<\/span><span class=\"p\">[<\/span><span class=\"mi\">3<\/span>,3<span class=\"p\">]<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[11]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{27}$}0\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"$\\nu-=---\\mu$-\u3068\u304a\u3051\u308b\u3053\u3068\">$\\nu = &#8211; \\mu$ \u3068\u304a\u3051\u308b\u3053\u3068<\/h3>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[12]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">EinEq<\/span><span class=\"p\">(<\/span><span class=\"mi\">1<\/span>, <span class=\"mi\">1<\/span><span class=\"p\">)<\/span> <span class=\"o\">-<\/span> <span class=\"nf\">EinEq<\/span><span class=\"p\">(<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span><span class=\"p\">)<\/span>;\r\n<span class=\"nv\">%<\/span> <span class=\"o\">*<\/span> <span class=\"nv\">r<\/span> <span class=\"o\">*<\/span> <span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"nv\">mu<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">expand<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[12]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{28}$}\\frac{e^ {- \\mu }\\,\\nu_{r}}{r}+\\frac{e^ {- \\mu }\\,\\mu_{r}}{r}=0\\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[12]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{29}$}\\nu_{r}+\\mu_{r}=0\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>$G^1_{\\ \\ 1} &#8211; G^2_{\\ \\ 2} = 0$ \u3088\u308a\uff0c\u4ee5\u4e0b\u306e\u5f0f\u304c\u5f97\u3089\u308c\u308b\u3002<\/p>\n<p>$$\\nu_r + \\mu_r = \\frac{\\partial}{\\partial r}\\left(\\nu(t, r) + \\mu(r)\\right) = 0$$<\/p>\n<p>\u3053\u308c\u304b\u3089\uff0c$f(t)$ \u3092\u7a4d\u5206\u300c\u5b9a\u6570\u300d\u3068\u3057\u3066<\/p>\n<p>$$\\nu(t, r) = &#8211; \\mu(r) + f(t)$$<\/p>\n<p>\u3068\u306a\u308b\u3002<\/p>\n<p>\\begin{eqnarray}<br \/>\n\\therefore\\ \\ e^{\\nu(t, r)} dt^2 &amp;=&amp; e^{- \\mu(r) + f(t)} dt^2 \\\\<br \/>\n&amp;=&amp; e^{- \\mu(r)} \\left( e^{\\frac{f(t)}{2}} dt\\right)^2<br \/>\n\\end{eqnarray}<\/p>\n<p>\u6642\u9593 $t$ \u306e\u307f\u306e\u4efb\u610f\u95a2\u6570 $f(t)$ \u306e\u81ea\u7531\u5ea6\u306f\uff0c$e^{\\frac{f(t)}{2}} dt \\Rightarrow dt&#8217;$ \u306a\u308b\u65b0\u3057\u3044\u6642\u9593\u5ea7\u6a19\u306e\u5b9a\u7fa9\u306b\u3088\u3063\u3066\u5438\u53ce\u3067\u304d\u308b\u306e\u3067\uff0c\u4e00\u822c\u6027\u3092\u5931\u3046\u3053\u3068\u306a\u304f $f(t) = 0$ \u3059\u306a\u308f\u3061<\/p>\n<p>$$\\nu(t, r) = &#8211; \\mu(r)$$<\/p>\n<p>\u3068\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002<\/p>\n<h4 id=\"\u30d0\u30fc\u30b3\u30d5\u306e\u5b9a\u7406\">\u30d0\u30fc\u30b3\u30d5\u306e\u5b9a\u7406<\/h4>\n<p>\u3053\u3053\u307e\u3067\u306f\uff0c\u7403\u5bfe\u79f0\u771f\u7a7a\u89e3\u306f metric \u304c\u6642\u9593\u306b\u3088\u3089\u306a\u3044\uff0c\u3064\u307e\u308a\u9759\u7684\u3067\u3042\u308b\u3068\u3044\u3046\u3053\u3068\u3092\u793a\u3057\u3066\u3044\u308b\u308f\u3051\u3067\uff0c\u30d0\u30fc\u30b3\u30d5\u306e\u5b9a\u7406\u306e\u8a3c\u660e\u306b\u306a\u3063\u3066\u3044\u308b\u3002\u30d0\u30fc\u30b3\u30d5\u306e\u5b9a\u7406\u306e\u3082\u3046\u4e00\u3064\u306e\u5e30\u7d50\u3067\u3042\u308b\u6f38\u8fd1\u7684\u5e73\u5766\u6027\u306b\u3064\u3044\u3066\u306f\uff0c\u4ee5\u4e0b\u3067\u793a\u3059\u3088\u3046\u306b\u89e3\u304c $e^{-\\mu(r)} = \\displaystyle 1 &#8211; \\frac{r_g}{r}$ \u3068\u306a\u308b\u3053\u3068\u3067 $r \\rightarrow \\infty$ \u3067 $e^{-\\mu(r)} \\rightarrow 1$ \u3068\u306a\u308b\u3053\u3068\u304b\u3089\u308f\u304b\u308b\u3002<\/p>\n<ul>\n<li>\u53c2\u8003\uff1a<a href=\"https:\/\/ja.wikipedia.org\/wiki\/%E3%83%90%E3%83%BC%E3%82%B3%E3%83%95%E3%81%AE%E5%AE%9A%E7%90%86\">\u30d0\u30fc\u30b3\u30d5\u306e\u5b9a\u7406 &#8211; Wikipedia<\/a><\/li>\n<\/ul>\n<p>\u3068\u3044\u3046\u3053\u3068\u3067\uff0c\u3042\u3089\u305f\u3081\u3066\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u8a08\u91cf\u30c6\u30f3\u30bd\u30eb\u306b\u5bfe\u3057\u3066\uff0c\u30a2\u30a4\u30f3\u30b7\u30e5\u30bf\u30a4\u30f3\u30fb\u30c6\u30f3\u30bd\u30eb\u3092\u8a08\u7b97\u3057\u3066\u307f\u308b\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[13]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">init_ctensor<\/span><span class=\"p\">()<\/span>$\r\n\r\n<span class=\"cm\">\/* \u504f\u5fae\u5206\u8868\u793a\u306e\u7c21\u4fbf\u6027\u306e\u305f\u3081\u306b *\/<\/span>\r\n<span class=\"nv\">derivabbrev<\/span><span class=\"o\">:<\/span><span class=\"no\">true<\/span>$ \r\n\r\n<span class=\"cm\">\/* \u6b21\u5143\u3002\u30c7\u30d5\u30a9\u30eb\u30c8\u3067 4 *\/<\/span>\r\n<span class=\"nv\">dim<\/span><span class=\"o\">:<\/span>4$\r\n\r\n<span class=\"cm\">\/* \u5ea7\u6a19\u7cfb\u3092\u30ea\u30b9\u30c8\u3067 *\/<\/span>\r\n<span class=\"nv\">ct_coords<\/span><span class=\"o\">:<\/span><span class=\"p\">[<\/span><span class=\"nv\">r<\/span>, <span class=\"nv\">theta<\/span>, <span class=\"nv\">phi<\/span>, <span class=\"nv\">t<\/span><span class=\"p\">]<\/span>$\r\n\r\n<span class=\"cm\">\/* mu(r) *\/<\/span>\r\n<span class=\"nf\">depends<\/span><span class=\"p\">(<\/span><span class=\"nv\">mu<\/span>, <span class=\"p\">[<\/span><span class=\"nv\">r<\/span><span class=\"p\">])<\/span>;\r\n\r\n<span class=\"cm\">\/* g_{\\mu\\nu} *\/<\/span>\r\n<span class=\"nv\">lg<\/span><span class=\"o\">:<\/span><span class=\"nf\">diag<\/span><span class=\"p\">([<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"nv\">mu<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">r<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span>, <span class=\"nv\">r<\/span><span class=\"o\">**<\/span>2<span class=\"o\">*<\/span><span class=\"nf\">sin<\/span><span class=\"p\">(<\/span><span class=\"nv\">theta<\/span><span class=\"p\">)<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span>, <span class=\"o\">-<\/span><span class=\"nf\">exp<\/span><span class=\"p\">(<\/span><span class=\"o\">-<\/span><span class=\"nv\">mu<\/span><span class=\"p\">)])<\/span>;\r\n\r\n<span class=\"cm\">\/* g^{\\mu\\nu} \u3092\u8a08\u7b97\u3055\u305b\u3066\u304a\u304f *\/<\/span>\r\n<span class=\"nf\">cmetric<\/span><span class=\"p\">()<\/span>$\r\n<span class=\"cm\">\/* \u30a2\u30a4\u30f3\u30b7\u30e5\u30bf\u30a4\u30f3\u30fb\u30c6\u30f3\u30bd\u30eb\u306e\u8a08\u7b97\u3002<\/span>\r\n<span class=\"cm\">   false \u3067\u7d50\u679c\u3092\u975e\u8868\u793a\uff0ctrue \u306a\u3089\u30ce\u30f3\u30bc\u30ed\u6210\u5206\u3092\u8868\u793a *\/<\/span>\r\n<span class=\"nf\">einstein<\/span><span class=\"p\">(<\/span><span class=\"no\">false<\/span><span class=\"p\">)<\/span>$\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[13]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{34}$}\\left[ \\mu\\left(r\\right) \\right] \\]<\/div>\n<\/div>\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[13]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{35}$}\\begin{pmatrix}e^{\\mu} &amp; 0 &amp; 0 &amp; 0 \\\\ 0 &amp; r^2 &amp; 0 &amp; 0 \\\\ 0 &amp; 0 &amp; r^2\\,\\sin ^2\\vartheta &amp; 0 \\\\ 0 &amp; 0 &amp; 0 &amp; -e^ {- \\mu } \\\\ \\end{pmatrix}\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[14]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">EinEq<\/span><span class=\"p\">(<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[14]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{38}$}-\\frac{e^ {- \\mu }\\,\\mu_{r}}{r}+\\frac{e^ {- \\mu }}{r^2}-\\frac{1}{r^2}=0\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[15]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nv\">eq<\/span><span class=\"o\">:<\/span> <span class=\"nf\">EinEq<\/span><span class=\"p\">(<\/span><span class=\"mi\">4<\/span>, <span class=\"mi\">4<\/span><span class=\"p\">)<\/span> <span class=\"o\">*<\/span> <span class=\"nv\">r<\/span><span class=\"o\">**<\/span><span class=\"mi\">2<\/span>, <span class=\"nv\">expand<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[15]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{39}$}-e^ {- \\mu }\\,\\mu_{r}\\,r+e^ {- \\mu }-1=0\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<h3 id=\"\u5fae\u5206\u65b9\u7a0b\u5f0f\u3092\u89e3\u304d\uff0c$\\mu$-\u3092\u6c42\u3081\u308b\">\u5fae\u5206\u65b9\u7a0b\u5f0f\u3092\u89e3\u304d\uff0c$\\mu$ \u3092\u6c42\u3081\u308b<\/h3>\n<p>\u5fae\u5206\u65b9\u7a0b\u5f0f $\\displaystyle &#8211; e^{-\\mu} \\frac{d\\mu}{d r} r + e^{-\\mu} &#8211; 1 = 0$ \u3092 Maxima \u306e <code>ode2()<\/code> \u3092\u4f7f\u3063\u3066\u89e3\u304f\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[16]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nv\">sol<\/span><span class=\"o\">:<\/span> <span class=\"nf\">ode2<\/span><span class=\"p\">(<\/span><span class=\"nv\">eq<\/span>, <span class=\"nv\">mu<\/span>, <span class=\"nv\">r<\/span><span class=\"p\">)<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[16]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{40}$}\\mu-\\log \\left(e^{\\mu}-1\\right)=\\log r+{\\it \\%c}\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>\u3053\u308c\u3067\u306f\u4eca\u3072\u3068\u3064\u3002$\\mu(r)$ \u306b\u3064\u3044\u3066\u89e3\u3044\u305f\u3053\u3068\u306b\u306a\u3063\u3066\u3044\u306a\u3044\u3002$f(r) \\equiv e^{-\\mu(r)}$ \u3068\u304a\u304f\u3068\uff0c<\/p>\n<p>$$- e^{-\\mu} \\frac{d\\mu}{d r} r + e^{-\\mu} &#8211; 1 = \\frac{df}{dr} r + f -1 = 0$$<\/p>\n<p>\u3068\u306a\u308b\u306e\u3067\u3053\u3063\u3061\u3092\u89e3\u3044\u3066\u307f\u308b\u3002<\/p>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing code_cell rendered\">\n<div class=\"input\">\n<div class=\"prompt input_prompt\">In\u00a0[17]:<\/div>\n<div class=\"inner_cell\">\n<div class=\"input_area\">\n<div class=\" highlight hl-maxima\">\n<pre><span class=\"nf\">depends<\/span><span class=\"p\">(<\/span><span class=\"nv\">f<\/span>, <span class=\"nv\">r<\/span><span class=\"p\">)<\/span>$\r\n\r\n<span class=\"nv\">eq2<\/span><span class=\"o\">:<\/span> <span class=\"o\">'<\/span><span class=\"nf\">diff<\/span><span class=\"p\">(<\/span><span class=\"nv\">f<\/span>, <span class=\"nv\">r<\/span><span class=\"p\">)<\/span> <span class=\"o\">*<\/span> <span class=\"nv\">r<\/span> <span class=\"o\">+<\/span> <span class=\"nv\">f<\/span> <span class=\"o\">-<\/span><span class=\"mi\">1<\/span> <span class=\"o\">=<\/span> 0$\r\n<span class=\"nf\">ode2<\/span><span class=\"p\">(<\/span><span class=\"nv\">eq2<\/span>, <span class=\"nv\">f<\/span>, <span class=\"nv\">r<\/span><span class=\"p\">)<\/span>, <span class=\"nv\">expand<\/span>;\r\n<\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"output_wrapper\">\n<div class=\"output\">\n<div class=\"output_area\">\n<div class=\"prompt output_prompt\">Out[17]:<\/div>\n<div class=\"output_latex output_subarea output_execute_result\">\\[\\tag{${\\it \\%o}_{43}$}f=\\frac{{\\it \\%c}}{r}+1\\]<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"cell border-box-sizing text_cell rendered\">\n<div class=\"prompt input_prompt\"><\/div>\n<div class=\"inner_cell\">\n<div class=\"text_cell_render border-box-sizing rendered_html\">\n<p>\u7a4d\u5206\u5b9a\u6570 $\\%c$ \u306f\u30cb\u30e5\u30fc\u30c8\u30f3\u8fd1\u4f3c\u306e\u3068\u304d\u306b\uff0c<\/p>\n<p>\\begin{eqnarray}<br \/>\ng_{00} = g_{44} &amp;=&amp; &#8211; e^{-\\mu} \\\\<br \/>\n&amp;\\simeq&amp; &#8211; \\left( 1 + 2 \\frac{\\phi}{c^2}\\right) \\\\<br \/>\n&amp;=&amp; &#8211; \\left( 1 &#8211; 2 \\frac{GM}{r c^2}\\right)<br \/>\n\\end{eqnarray}<\/p>\n<p>\u3068\u306a\u308b\u3053\u3068\u304b\u3089\uff0c<\/p>\n<p>$$\\%c = -\\frac{2 GM}{c^2} \\equiv -r_g$$<\/p>\n<p>\u3068\u306a\u308b\u3002<\/p>\n<p>\u6700\u7d42\u7684\u306b<\/p>\n<p>$$ds^2 = \\frac{dr^2}{1 &#8211; \\frac{r_g}{r}} + r^2 \\left(d\\theta^2 + \\sin^2\\theta \\,d\\phi^2 \\right) -\\left(1 &#8211; \\frac{r_g}{r} \\right) dt^2$$<\/p>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Maxima \u306e ctensor \u3092\u4f7f\u3063\u3066\u7403\u5bfe\u79f0\u306a\u8a08\u91cf\u304b\u3089\u771f\u7a7a\u306e\u30a2\u30a4\u30f3\u30b7\u30e5\u30bf\u30a4\u30f3\u65b9\u7a0b\u5f0f<\/p>\n<p>$$G^{\\mu}_{\\ \\ \\nu} = 0$$<\/p>\n<p>\u3092\u89e3\u304d\uff0c\u30b7\u30e5\u30d0\u30eb\u30c4\u30b7\u30eb\u30c8\u89e3\u3092\u6c42\u3081\u308b\u3002<\/p><p><a class=\"more-link btn\" href=\"https:\/\/home.hirosaki-u.ac.jp\/relativity\/%e4%b8%80%e8%88%ac%e7%9b%b8%e5%af%be%e8%ab%96%e7%9a%84%e6%99%82%e7%a9%ba%e3%81%ae%e8%a1%a8%e3%81%97%e6%96%b9\/%e3%82%b3%e3%83%b3%e3%83%94%e3%83%a5%e3%83%bc%e3%82%bf%e4%bb%a3%e6%95%b0%e3%82%b7%e3%82%b9%e3%83%86%e3%83%a0%e3%81%a7%e3%82%a2%e3%82%a4%e3%83%b3%e3%82%b7%e3%83%a5%e3%82%bf%e3%82%a4%e3%83%b3%e6%96%b9\/maxima-%e3%81%ae-ctensor-%e3%81%a7%e3%82%a2%e3%82%a4%e3%83%b3%e3%82%b7%e3%83%a5%e3%82%bf%e3%82%a4%e3%83%b3%e6%96%b9%e7%a8%8b%e5%bc%8f%e3%82%92%e8%a7%a3%e3%81%84%e3%81%a6%e3%82%b7%e3%83%a5%e3%83%90\/\">\u7d9a\u304d\u3092\u8aad\u3080<\/a><\/p>\n","protected":false},"author":33,"featured_media":0,"parent":5114,"menu_order":30,"comment_status":"closed","ping_status":"closed","template":"","meta":{"inline_featured_image":false,"footnotes":""},"class_list":["post-5131","page","type-page","status-publish","hentry","nodate","item-wrap"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages\/5131","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/users\/33"}],"replies":[{"embeddable":true,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/comments?post=5131"}],"version-history":[{"count":8,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages\/5131\/revisions"}],"predecessor-version":[{"id":5213,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages\/5131\/revisions\/5213"}],"up":[{"embeddable":true,"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/pages\/5114"}],"wp:attachment":[{"href":"https:\/\/home.hirosaki-u.ac.jp\/relativity\/wp-json\/wp\/v2\/media?parent=5131"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}