宇宙論パラメータと宇宙年齢

ハッブルパラメータ $H_0$ や密度パラメータ ${\mathrm{\Omega }}_{\mathrm{m}},{\mathrm{\Omega }}_{\mathrm{\Lambda }}$ の導入と，フリードマン方程式から求める宇宙年齢 $t_0$（スケール因子が $a=0$ から  $a_0=a(t_0)$ になるまでの時間）。

特に，${\mathrm{\Omega }}_{\mathrm{\Lambda }}=0$ の場合の宇宙年齢 $t_0$ は，

$$\begin{array}{rcl}{H}_0{t}_0& =& -\frac{1}{{\mathrm{\Omega }}_{\mathrm{m}}-1}+\frac{{\mathrm{\Omega }}_{\mathrm{m}}}{({\mathrm{\Omega }}_{\mathrm{m}}-1{)}^{\frac{3}{2}}}{\tan }^{-1}\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}\text{for}{\mathrm{\Omega }}_{\mathrm{m}}>1\\ H_0{t}_0& =& \frac{1}{1-{\mathrm{\Omega }}_{\mathrm{m}}}-\frac{{\mathrm{\Omega }}_{\mathrm{m}}}{(1-{\mathrm{\Omega }}_{\mathrm{m}}{)}^{\frac{3}{2}}}{\tanh }^{-1}\sqrt{1-{\mathrm{\Omega }}_{\mathrm{m}}}\text{for}{\mathrm{\Omega }}_{\mathrm{m}}<1\end{array}$$

また，${\mathrm{\Omega }}_{\mathrm{m}}+{\mathrm{\Omega }}_{\mathrm{\Lambda }}=1$ すなわち $k=0$ の場合は，

$$\begin{array}{rcl}{H}_0{t}_0& =& \frac{2}{3(\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1})}{\tan }^{-1}\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}\text{for}{\mathrm{\Omega }}_{\mathrm{m}}>1\\ H_0{t}_0& =& \frac{2}{3(\sqrt{1-{\mathrm{\Omega }}_{\mathrm{m}}})}{\tanh }^{-1}\sqrt{1-{\mathrm{\Omega }}_{\mathrm{m}}}\text{for}{\mathrm{\Omega }}_{\mathrm{m}}<1\end{array}$$

となることを示す。

膨張宇宙をあらわす FLRW 計量は，時間のみの関数であるスケール因子 $a(t)$ と，空間座標のみの関数である3次元定曲率空間の計量 ${\gamma }_{ij}$ を使って以下のように書けるのであった。（$c=1$ とする。）
$$d{s}^2=-d{t}^2+g_{ij}d{x}^{i}d{x}^j=-d{t}^2+a^2(t){\gamma }_{ij}d{x}^{i}d{x}^j$$

宇宙空間を満たす物質が物質密度 $\rho$ （圧力 $P$ がゼロ）のダストの場合，宇宙定数 $\mathrm{\Lambda }$ も入れたアインシュタイン方程式は，
$${\left(\frac{\dot{a}}{a}\right)}^2+\frac{k}{a^2}=\frac{8\pi G}{3}\rho +\frac{\mathrm{\Lambda }}{3}$$

$$\frac{\ddot{a}}{a}=-\frac{4\pi G}{3}\rho +\frac{\mathrm{\Lambda }}{3}$$また，
$$\dot{\rho }+3\frac{\dot{a}}{a}\rho =0,\therefore \rho \propto \frac{1}{a^3}$$

ここで $k$ は（ニュートン宇宙論においては，運動方程式の積分の際にあらわれる積分定数という意味しかなかったかも知れないが）一般相対論的宇宙論においては，一様等方な3次元空間の曲率定数という意味を持つ。$k>0$ の場合は閉じた空間，$k<0$ の場合は開いた空間，ちょうど $k=0$ の場合は平坦な空間という。

ハッブルパラメータ

近接した2点間の空間的距離を
$$\ell \equiv \sqrt{g_{ij}d{x}^{i}d{x}^j}=a(t)\sqrt{{\gamma }_{ij}d{x}^{i}d{x}^j}$$とすると，その時間変化は ${\dot{\gamma }}_{ij}=0$ であるから
$$\dot{\ell }=\frac{\dot{a}}{a}\ell$$である。

ハッブル・ルメートルの法則 $v=H_{0}r$ との比較から
$$H_0=\frac{\dot{a}}{a}{|}_{t=t_0}$$

宇宙の膨張率をあらわす ${\displaystyle \frac{\dot{a}}{a}}$ の現在 $t=t_0$ での値がハッブルパラメータ $H_0$ である。

（ハッブル「定数」とも呼ばれるだろうが，時間に依存しない「定数」というよりは，時間に依存する関数の現在時刻での値ということだからハッブル「パラメータ」と呼ぶことにする。）

密度パラメータ

フリードマン方程式

$${\left(\frac{\dot{a}}{a}\right)}^2+\frac{k}{a^2}=\frac{8\pi G}{3}\rho +\frac{\mathrm{\Lambda }}{3}$$

を現在の時刻 $t=t_0$ で評価すると

$$H_0^2+\frac{k}{a_0^2}=\frac{8\pi G}{3}{\rho }_0+\frac{\mathrm{\Lambda }}{3}$$
である。ここで，$a_0\equiv a(t_0),{\rho }_0\equiv \rho (t_0)$

現在の宇宙膨張がダストの物質密度のみによってドライブされているならば（$k=0,\mathrm{\Lambda }=0$ ということ），そのときの物質密度を臨界密度 ${\rho }_{\mathrm{c}\mathrm{r}}$ というが，以下のようになる。
$$H_0^2=\frac{8\pi G}{3}{\rho }_{\mathrm{c}\mathrm{r}},\therefore {\rho }_{\mathrm{c}\mathrm{r}}\equiv \frac{3H_0^2}{8\pi G}$$

現在の物質密度 ${\rho }_0$ と臨界密度の比をとり，
$${\mathrm{\Omega }}_{\mathrm{m}}\equiv \frac{{\rho }_0}{{\rho }_{\mathrm{c}\mathrm{r}}}=\frac{8\pi G{\rho }_0}{3H_0^2}$$
この ${\mathrm{\Omega }}_{\mathrm{m}}$ を（ダスト）物質の密度パラメータという。

また，宇宙定数を完全流体とみなしたときのエネルギー密度  ${\rho }_{\mathrm{\Lambda }}$ についても ${\displaystyle \frac{\mathrm{\Lambda }}{3}=\frac{8\pi G}{3}{\rho }_{\mathrm{\Lambda }}}$ であるから，同様に
$${\mathrm{\Omega }}_{\mathrm{\Lambda }}\equiv \frac{{\rho }_{\mathrm{\Lambda }}}{{\rho }_{\mathrm{c}\mathrm{r}}}=\frac{\frac{\mathrm{\Lambda }}{8\pi G}}{\frac{3H_0^2}{8\pi G}}=\frac{\mathrm{\Lambda }}{3H_0^2}$$

これらのパラメータをあらためて $t=t_0$ でのフリードマン方程式に代入すると
$$H_0^2+\frac{k}{a_0^2}=H_0^2({\mathrm{\Omega }}_{\mathrm{m}}+{\mathrm{\Omega }}_{\mathrm{\Lambda }})$$
$$\therefore \frac{k}{a_0^2}=H_0^2({\mathrm{\Omega }}_{\mathrm{m}}+{\mathrm{\Omega }}_{\mathrm{\Lambda }}-1)$$

$H_0,{\mathrm{\Omega }}_{\mathrm{m}},{\mathrm{\Omega }}_{\mathrm{\Lambda }}$ をまとめて宇宙論パラメータと呼ぶことにする。

減速パラメータ

ちなみに，ハッブルパラメータが
$$H_0=\frac{\dot{a}}{a}{|}_{t=t_0}$$のように，1階微分（膨張速度）をスケール因子で割った量として表すことに対応して，2階微分（膨張の加速度・減速度）を表すパラメータとして
$$q_0\equiv -\frac{1}{H_0^2}\frac{\ddot{a}}{a}{|}_{t=t_0}$$として定義した $q_0$ を減速パラメータと呼び，20世記の教科書ではよく使われていたが，最近のテキストではあまり見なくなったかも知れない。

$$\frac{\ddot{a}}{a}=-\frac{4\pi G}{3}\rho +\frac{\mathrm{\Lambda }}{3}$$

の式を $t=t_0$ で評価してやると以下の関係があることがわかる。

$$q_0=-\frac{1}{2}{\mathrm{\Omega }}_{\mathrm{m}}+{\mathrm{\Omega }}_{\mathrm{\Lambda }}$$

ということで，本稿では ${\mathrm{\Omega }}_{\mathrm{m}}$ と ${\mathrm{\Omega }}_{\mathrm{\Lambda }}$ を使うことにして，$q_0$ は使わない方向。

宇宙論パラメータで書いたフリードマン方程式

したがって，任意時刻 $t$ でのフリードマン方程式は
$$\begin{array}{rcl}{\left(\frac{\dot{a}}{a}\right)}^2& =& \frac{8\pi G}{3}\rho +\frac{\mathrm{\Lambda }}{3}-\frac{k}{a^2}\\ & =& H_0^2\{\frac{8\pi G{\rho }_0}{3H_0^2}{\left(\frac{a_0}{a}\right)}^3+\frac{\mathrm{\Lambda }}{3H_0^2}\}-\frac{k}{a_0^2}{\left(\frac{a_0}{a}\right)}^2\\ & =& H_0^2\{{\mathrm{\Omega }}_{\mathrm{m}}{\left(\frac{a_0}{a}\right)}^3+{\mathrm{\Omega }}_{\mathrm{\Lambda }}+(1-{\mathrm{\Omega }}_{\mathrm{m}}-{\mathrm{\Omega }}_{\mathrm{\Lambda }}){\left(\frac{a_0}{a}\right)}^2\}\end{array}$$

宇宙年齢

ハッブル・ルメートルの法則から $\dot{a}>0$ である。また物質密度がゼロでないなら $\rho >0$ なので，$\ddot{a}<0$ となり，スケール因子 $a(t)$ のグラフは上に凸となる。このことは，有限の過去，$a=0$ となることを意味する。つまり宇宙には始まりがあったということになる。

フリードマン方程式から宇宙年齢 $t_0$（スケール因子が $a=0$ から $a=a_0=a(t_0)$ になるまでの時間） を求める。常識のフリードマン方程式の両辺に ${\displaystyle {\left(\frac{a}{a_0}\right)}^2}$ をかけて平方根をとると
$$\frac{d}{dt}\left(\frac{a}{a_0}\right)=H_0\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}\left(\frac{a_0}{a}\right)+(1-{\mathrm{\Omega }}_{\mathrm{m}}-{\mathrm{\Omega }}_{\mathrm{\Lambda }})+{\mathrm{\Omega }}_{\mathrm{\Lambda }}{\left(\frac{a}{a_0}\right)}^2}$$

${\displaystyle x\equiv \frac{a}{a_0}}$ という変数を使えば，上の式は

$$\begin{array}{rcl}\frac{dx}{dt}& =& H_0\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}\left(\frac{1}{x}\right)+(1-{\mathrm{\Omega }}_{\mathrm{m}}-{\mathrm{\Omega }}_{\mathrm{\Lambda }})+{\mathrm{\Omega }}_{\mathrm{\Lambda }}{x}^2}\\ & =& H_0\frac{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}+(1-{\mathrm{\Omega }}_{\mathrm{m}}-{\mathrm{\Omega }}_{\mathrm{\Lambda }})x+{\mathrm{\Omega }}_{\mathrm{\Lambda }}{x}^3}}{\sqrt{x}}\end{array}$$

変数分離形の微分方程式を解くことになって，

$$\begin{array}{rcl}{H}_{0}dt& =& \frac{\sqrt{x}}{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}+(1-{\mathrm{\Omega }}_{\mathrm{m}}-{\mathrm{\Omega }}_{\mathrm{\Lambda }})x+{\mathrm{\Omega }}_{\mathrm{\Lambda }}{x}^3}}dx\end{array}$$

ここで

$$\begin{array}{rcl}f(x,{\mathrm{\Omega }}_{\mathrm{m}},{\mathrm{\Omega }}_{\mathrm{\Lambda }})& \equiv & \frac{\sqrt{x}}{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}+(1-{\mathrm{\Omega }}_{\mathrm{m}}-{\mathrm{\Omega }}_{\mathrm{\Lambda }})x+{\mathrm{\Omega }}_{\mathrm{\Lambda }}{x}^3}}\end{array}$$

とおけば，

$$\begin{array}{rcl}{H}_0{t}_0& =& {\int }_0^{1}f(x,{\mathrm{\Omega }}_{\mathrm{m}},{\mathrm{\Omega }}_{\mathrm{\Lambda }})dx\end{array}$$

${\mathrm{\Omega }}_{\mathrm{\Lambda }}=0$ の場合

${\mathrm{\Omega }}_{\mathrm{m}}>1$ を想定して

$$\begin{array}{rcl}{H}_0{t}_0& =& {\int }_0^{1}f(x,{\mathrm{\Omega }}_{\mathrm{m}},0)dx\\ & =& {\int }_0^1\frac{\sqrt{x}}{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-({\mathrm{\Omega }}_{\mathrm{m}}-1)x}}dx\\ & =& \frac{1}{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}}{\int }_0^1\frac{\sqrt{x}}{\sqrt{\frac{{\mathrm{\Omega }}_{\mathrm{m}}}{{\mathrm{\Omega }}_{\mathrm{m}}-1}-x}}dx\end{array}$$

以下のような変数変換をすると…

$$\begin{array}{rcl}\frac{\sqrt{x}}{\sqrt{\frac{{\mathrm{\Omega }}_{\mathrm{m}}}{{\mathrm{\Omega }}_{\mathrm{m}}-1}-x}}& \equiv & t\\ \therefore x& =& \frac{{\mathrm{\Omega }}_{\mathrm{m}}}{{\mathrm{\Omega }}_{\mathrm{m}}-1}\frac{t^2}{1+t^2}\\ dx& =& \frac{{\mathrm{\Omega }}_{\mathrm{m}}}{{\mathrm{\Omega }}_{\mathrm{m}}-1}\frac{2t}{(1+t^2{)}^2}dt\end{array}$$

$$\begin{array}{rcl}\therefore H_0{t}_0& =& \frac{1}{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}}{\int }_0^1\frac{\sqrt{x}}{\sqrt{\frac{{\mathrm{\Omega }}_{\mathrm{m}}}{{\mathrm{\Omega }}_{\mathrm{m}}-1}-x}}dx\\ & =& \frac{{\mathrm{\Omega }}_{\mathrm{m}}}{({\mathrm{\Omega }}_{\mathrm{m}}-1{)}^{\frac{3}{2}}}{\int }_0^{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}}\frac{2t^2}{(1+t^2{)}^2}dt\\ & =& \frac{{\mathrm{\Omega }}_{\mathrm{m}}}{({\mathrm{\Omega }}_{\mathrm{m}}-1{)}^{\frac{3}{2}}}[{\tan }^{-1}t-\frac{t}{1+t^2}{]}_0^{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}}\end{array}$$

最後の積分は，ここで示しておきました。

あらためて積分を実行した結果を書くと

$$H_0{t}_0=-\frac{1}{{\mathrm{\Omega }}_{\mathrm{m}}-1}+\frac{{\mathrm{\Omega }}_{\mathrm{m}}}{({\mathrm{\Omega }}_{\mathrm{m}}-1{)}^{\frac{3}{2}}}{\tan }^{-1}\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}\text{for}{\mathrm{\Omega }}_{\mathrm{m}}>1$$

$$H_0{t}_0=\frac{1}{1-{\mathrm{\Omega }}_{\mathrm{m}}}-\frac{{\mathrm{\Omega }}_{\mathrm{m}}}{(1-{\mathrm{\Omega }}_{\mathrm{m}}{)}^{\frac{3}{2}}}{\tanh }^{-1}\sqrt{1-{\mathrm{\Omega }}_{\mathrm{m}}}\text{for}{\mathrm{\Omega }}_{\mathrm{m}}<1$$

ここで，${\mathrm{\Omega }}_{\mathrm{m}}<1$ の場合には ${\tan }^{-1}(ix)=i{\tanh }^{-1}x$ の関係を使って ${\mathrm{\Omega }}_{\mathrm{m}}>1$ の結果から導いた。オイラーの公式から得られるこれらの関係については，別途授業で習ったよねぇ。（逆三角関数と逆双曲線関数の関係）

特に，${\mathrm{\Omega }}_{\mathrm{m}}=1$  すなわち $k=0$ のときには上式で ${\mathrm{\Omega }}_{\mathrm{m}}\to 1$ の極限をとればよくて，結果は
$$H_0{t}_0=\frac{2}{3}\text{for}{\mathrm{\Omega }}_{\mathrm{m}}=1$$

以下の計算からわかるように，

$${\displaystyle \frac{\partial }{\partial {\mathrm{\Omega }}_{\mathrm{m}}}f(x,{\mathrm{\Omega }}_{\mathrm{m}},{\mathrm{\Omega }}_{\mathrm{\Lambda }})<0\text{for}0<x<1}$$

被積分関数 $f(x,{\mathrm{\Omega }}_{\mathrm{m}},{\mathrm{\Omega }}_{\mathrm{\Lambda }})$，したがって積分としての宇宙年齢 $t_0$ は ${\mathrm{\Omega }}_{\mathrm{m}}$ の単調減少関数 であるから

$$H_0{t}_0\{\begin{array}{cl}<\frac{2}{3}& \text{for}{\mathrm{\Omega }}_{\mathrm{m}}>1\\ =\frac{2}{3}& \text{for}{\mathrm{\Omega }}_{\mathrm{m}}=1\\ >\frac{2}{3}& \text{for}{\mathrm{\Omega }}_{\mathrm{m}}<1\end{array}$$である。最大値となるのは ${\mathrm{\Omega }}_{\mathrm{m}}\to 0$ のときで

$$H_0{t}_0={\int }_0^{1}f(x,0,0)dx={\int }_0^1\frac{\sqrt{x}}{\sqrt{x}}dx=1$$

${\mathrm{\Omega }}_{\mathrm{m}}+{\mathrm{\Omega }}_{\mathrm{\Lambda }}=1$ すなわち $k=0$ の場合

$$\begin{array}{rcl}{H}_0{t}_0& =& {\int }_0^{1}f(x,{\mathrm{\Omega }}_{\mathrm{m}},1-{\mathrm{\Omega }}_{\mathrm{m}})dx\\ & =& {\int }_0^1\frac{\sqrt{x}}{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-({\mathrm{\Omega }}_{\mathrm{m}}-1)x^3}}dx\\ & =& \frac{1}{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}}{\int }_0^1\frac{\sqrt{x^3}}{\sqrt{\frac{{\mathrm{\Omega }}_{\mathrm{m}}}{{\mathrm{\Omega }}_{\mathrm{m}}-1}-x^3}}\frac{dx}{x}\end{array}$$

以下のような変数変換をすると…

$$\begin{array}{rcl}\frac{\sqrt{x^3}}{\sqrt{\frac{{\mathrm{\Omega }}_{\mathrm{m}}}{{\mathrm{\Omega }}_{\mathrm{m}}-1}-x^3}}& \equiv & t\\ \therefore x^3& =& \frac{{\mathrm{\Omega }}_{\mathrm{m}}}{{\mathrm{\Omega }}_{\mathrm{m}}-1}\frac{t^2}{1+t^2}\\ 3x^3\frac{dx}{x}& =& \frac{{\mathrm{\Omega }}_{\mathrm{m}}}{{\mathrm{\Omega }}_{\mathrm{m}}-1}\frac{2t^2}{(1+t^2{)}^2}\frac{dt}{t}\\ & =& 2x^3\frac{dt}{t(1+t^2)}\\ \therefore \frac{dx}{x}& =& \frac{2}{3}\frac{dt}{t(1+t^2)}\end{array}$$

$$\begin{array}{rcl}\therefore H_0{t}_0& =& \frac{1}{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}}{\int }_0^1\frac{\sqrt{x^3}}{\sqrt{\frac{{\mathrm{\Omega }}_{\mathrm{m}}}{{\mathrm{\Omega }}_{\mathrm{m}}-1}-x^3}}\frac{dx}{x}\\ & =& \frac{1}{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}}{\int }_0^{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}}t\cdot \frac{2}{3}\frac{dt}{t(1+t^2)}\\ & =& \frac{2}{3\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}}[{\tan }^{-1}t{]}_0^{\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}}\end{array}$$

あらためて積分を実行した結果を書くと

$$H_0{t}_0=\frac{2}{3(\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1})}{\tan }^{-1}\sqrt{{\mathrm{\Omega }}_{\mathrm{m}}-1}\text{for}{\mathrm{\Omega }}_{\mathrm{m}}>1$$

$$H_0{t}_0=\frac{2}{3(\sqrt{1-{\mathrm{\Omega }}_{\mathrm{m}}})}{\tanh }^{-1}\sqrt{1-{\mathrm{\Omega }}_{\mathrm{m}}}\text{for}{\mathrm{\Omega }}_{\mathrm{m}}<1$$

ここで，${\mathrm{\Omega }}_{\mathrm{m}}<1$ の場合には ${\tan }^{-1}(ix)=i{\tanh }^{-1}x$ の関係を使って ${\mathrm{\Omega }}_{\mathrm{m}}>1$ の結果から導いた。オイラーの公式から得られるこれらの関係については，別途授業で習ったよねぇ。（逆三角関数と逆双曲線関数の関係）

特に，${\mathrm{\Omega }}_{\mathrm{m}}=1$  すなわち ${\mathrm{\Omega }}_{\mathrm{\Lambda }}=0$ のときには
$$H_0{t}_0=\frac{2}{3}\text{for}{\mathrm{\Omega }}_{\mathrm{m}}=1$$

以下の計算からわかるように，

$${\displaystyle \frac{\partial }{\partial {\mathrm{\Omega }}_{\mathrm{\Lambda }}}f(x,{\mathrm{\Omega }}_{\mathrm{m}},{\mathrm{\Omega }}_{\mathrm{\Lambda }})>0\text{for}0<x<1}$$

被積分関数 $f(x,{\mathrm{\Omega }}_{\mathrm{m}},{\mathrm{\Omega }}_{\mathrm{\Lambda }})$，したがって積分としての宇宙年齢 $t_0$ は ${\mathrm{\Omega }}_{\mathrm{\Lambda }}$ の単調増加関数である。

なお，Maxima ではなかなかきれいにしてくれなかったので，以下の公式を使って人力で整えた。
$${\tan }^{-1}(x)+{\tan }^{-1}\left(\frac{1}{x}\right)=\frac{\pi }{2}$$

いったん，${\mathrm{\Omega }}_{\mathrm{m}}>1$ の場合が解ければ，${\mathrm{\Omega }}_{\mathrm{m}}<1$ の場合も
$${\tan }^{-1}(ix)=i{\tanh }^{-1}x$$などの公式を使えばすぐに求まるだろう。

結局，Maxima だけじゃあダメで人力で整える必要があるということでした。

宇宙年齢の密度パラメータ依存性のグラフ

Maxima-Jupyter での計算例

f(x, Omega, Omega1):= sqrt(x)/sqrt(Omega + (1 - Omega-Omega1)*x+Omega1*x**3);

/* 念のため，assume() 等での設定を全て忘れさせる。*/
forget(facts())$
assume(Omega > 1)$

'integrate(f(x, Omega, 0), x, 0, 1) =
 ans: integrate(f(x, Omega, 0), x, 0, 1);

factor(ans);

/* 念のため，assume() 等での設定を全て忘れさせる。*/
forget(facts())$
assume(Omega > 0)$
assume(Omega < 1)$

'integrate(f(x, Omega, 0), x, 0, 1) =
 integrate(f(x, Omega, 0), x, 0, 1);

integrate(f(x, 1, 0), x, 0, 1);

limit(ans, Omega, 1);

/* 念のため，assume() 等での設定を全て忘れさせる。*/
forget(facts())$
assume(Omega > 1)$

'integrate(f(x, Omega, 1-Omega), x, 0, 1) =
 ans: integrate(f(x, Omega, 1-Omega), x, 0, 1);

factor(ans);

/* 念のため，assume() 等での設定を全て忘れさせる。*/
forget(facts())$
assume(Omega > 0)$
assume(Omega < 1)$

'integrate(f(x, Omega, 1-Omega), x, 0, 1) =
 integrate(f(x, Omega, 1-Omega), x, 0, 1);

diff(f(x, Omega, Omega1), Omega);

tlong: integrate(f(x, 0, 0), x, 0, 1);

diff(f(x, Omega, Omega1), Omega1);