AsymptoticEquivalent

xx^*のときにとなる条件を与える．

AsymptoticEquivalent[f,g,{x₁,…,x_n}{,…,}]

{x₁,…,x_n}{,…,}のときにとなる条件を与える．

詳細とオプション

「漸近的に等価」は，f は g に漸近する，あるいは，f は g と漸近的に等価である，としても表現される．点 x^*はコンテキストから推測されることが多い．
「漸近的に等価」は同値関係で，であるすべての定数について，x が x^*の近くにあるときにであることを意味する．これは，AsymptoticEqualよりもきめ細かい同値関係である．
点の近くの関数や級数の単純な表現のため，また，方程式の漸近解のためにしばしば用いられる．
有限極限点の x^*および{,…,}については以下のようになる．

	AsymptoticEquivalent[f[x],g[x],xx^*]	すべてのについて， $0<TemplateBox[{{x, -, {x, ^, }}}, Abs]<delta(c,x^)$ がを意味するが存在する
	AsymptoticEquivalent[f[x₁,…,x_n],g[x₁,…,x_n],{x₁,…,x_n}{,…,}]	すべてのについて， $0<TemplateBox[{{{, {{{x, _, 1}, -, {x, _, {(, 1, )}, ^, }}, ,, ..., ,, {{x, _, n}, -, {x, _, {(, n, )}, ^, }}}, }}}, Norm]<delta(epsilon,x^*)$ が $TemplateBox[{{{f, (, {{x, _, 1}, ,, ..., ,, {x, _, n}}, )}, -, {g, (, {{x, _, 1}, ,, ..., ,, {x, _, n}}, )}}}, Abs]<=cTemplateBox[{{g, (, x, )}}, Abs]$ を意味するが存在する

無限極限点については以下のようになる．

	AsymptoticEquivalent[f[x],g[x],x∞]	すべてのについて，がを意味するが存在する
	AsymptoticEquivalent[f[x₁,…,x_n],g[x₁,…,x_n],{x₁,…,x_n}{∞,…,∞}]	すべてのについて，が $TemplateBox[{{{{f, (, {{x, _, 1}, ,, ..., ,, {x, _, n}}, )}, /, {g, (, {{x, _, 1}, ,, ..., ,, {x, _, n}}, )}}, -, 1}}, Abs]<=c$ を意味するが存在する

g[x]が x^*付近に0の無限集合を持たない場合，AsymptoticEquivalent[f[x],g[x],xx^*]は，Limit[f[x]/g[x],xx^*]1のときかつそのときに限り存在する．
次は，使用可能なオプションである．

Assumptions	$Assumptions	パラメータについての仮定
Direction	Reals	極限点に近付く方向
GenerateConditions	Automatic	パラメータについての条件を生成する
Method	Automatic	使用するメソッド
PerformanceGoal	"Quality"	何を最適化するか

次は，Directionの可能な設定である．

	Reals または "TwoSided"	両実数方向から
	"FromAbove" または -1	上，つまり大きい値から
	"FromBelow" または +1	下，つまり小さい値から
	Complexes	すべての複素方向から
	Exp[ θ]	の方向
	{dir₁,…,dir_n}	変数 x_iに方向 dir_iを使う

x^*におけるDirectionExp[ θ]は，曲線の接線が極限点 x^*に近付く方向を示す．

次は，GenerateConditionsの可能な設定である．

	Automatic	一般的ではない条件のみ
	True	すべての条件
	False	条件なし
	None	条件が必要な場合には未評価で返す

PerformanceGoalの可能な設定には，$PerformanceGoal，"Quality"，"Speed"がある．"Quality"設定のとき，Limitはより多くの問題を解いたりより簡単な結果を与えたりすることが多いが，より多くの時間とメモリが必要になる可能性がある．

例題

すべて開くすべて閉じる

例 (2)

のときにであることを検証する：

Wolfram Language code: AsymptoticEquivalent[x ^ 2 + 3x + 2 , x ^ 2, x -> ∞]

のときにに近付く関数の比：

Wolfram Language code: Plot[(2 + 3 x + x^2/x^2), {x, 0, 100}, PlotTheme -> "Detailed", PlotRange -> {0, 2}]

のときにであることを検証する：

Wolfram Language code: AsymptoticEquivalent[x ^ 2 + 5x + y ^ 2, x ^ 2 + y ^ 2, {x, y} -> {∞, ∞}]

とが徐々に大きくなるときに，に近付く関数の比：

Wolfram Language code: Plot3D[(x ^ 2 + 5x + y ^ 2/x ^ 2 + y ^ 2), {x, 2, 30}, {y, 2, 30}, PlotTheme -> "Detailed", PlotRange -> {0, 2}]

スコープ (10)

厳密には正ではない関数を比較する：

Wolfram Language code: AsymptoticEquivalent[x, -x ^ 2, x -> ∞]

がと同じ割合，同じスケールで，原点で発散することを示す：

Wolfram Language code: AsymptoticEquivalent[(1/x^2), (1/x Sin[x]), x -> 0]

答は明示的なTrueまたはFalseではなく，ブール式かもしれない：

Wolfram Language code: AsymptoticEquivalent[(1/Sinh[p(x - 1)]), (1/x - 1), x -> 1]

パラメータを含む関数を比較する場合は，結果についての条件が生成されることがある：

Wolfram Language code: AsymptoticEquivalent[Sin[(x - 2)]^p, Sinh[x - 2], x -> 2]

Wolfram Language code: AsymptoticEqual[Sin[p(x - 1)], (x - 1) ^ q, x -> 1]

Wolfram Language code: AsymptoticEquivalent[(x - 1) ^ p, (x - 1) ^ q, x -> 1]

デフォルトで，関数の両側比較が行われる：

Wolfram Language code: AsymptoticEquivalent[x^4, x^2 (1 - Cos[Sqrt[2]x])UnitStep[x], x -> 0]

のより大きい値を比較する場合は，は $x^2(1-cos(x)) TemplateBox[{{x}}, UnitStepSeq]$ と同じ割合で消失する：

Wolfram Language code: AsymptoticEquivalent[x^4, x^2(1 - Cos[Sqrt[2]x]) UnitStep[x], x -> 0, Direction -> "FromAbove"]

この関係は，のより小さい値については成り立たない：

Wolfram Language code: AsymptoticEquivalent[x^4, x^2(1 - Cos[Sqrt[2]x]) UnitStep[x], x -> 0, Direction -> "FromBelow"]

2つの関数の比を，上から1に近付くところは表示するが下から近付くところは表示せずに可視化する：

Wolfram Language code: Plot[(x^2(1 - Cos[Sqrt[2]x]) UnitStep[x]/x^4), {x, -1, 1}, PlotTheme -> "Detailed"]

Sqrtのような関数は，負の実数に沿って両方の実数方向で同じ関係があるかもしれない：

Wolfram Language code: AsymptoticEquivalent[(Sqrt[z] - I)^3, I(z + 1)^3 / 8, z -> -1]

複素平面で上から近付く場合には，同じ関係が見られる：

Wolfram Language code: AsymptoticEquivalent[(Sqrt[z] - I)^3, I(z + 1)^3 / 8, z -> -1, Direction -> -I]

しかし，複素平面で下から近付く場合は異なる結果になる：

Wolfram Language code: AsymptoticEquivalent[(Sqrt[z] - I)^3, I(z + 1)^3 / 8, z -> -1, Direction -> I]

これは，軸が交差するときにSqrtの虚部の符号が逆になるところで分枝切断されているためである：

Wolfram Language code:

TableForm[Table[{-1 + Δ, Sqrt[-1 + Δ], Abs[Sqrt[-1 + Δ] - I]}, {Δ, {0.01, -0.01, 0.01I, -0.01I}}], TableHeadings -> {None, {z, Sqrt[z], HoldForm@Abs[Sqrt[z] - I]}}]

したがって，この関係は，一般に，複素平面では成り立たない：

Wolfram Language code: AsymptoticEquivalent[(Sqrt[z] - I)^3, I(z + 1)^3 / 8, z -> -1, Direction -> Complexes]

近似的等価を定義する数量が，4つの主に複素方向から近付く場合を可視化する：

Wolfram Language code:

Plot[{Abs[ (I Δz^3 / 8/(Sqrt[-1 + Δz] - I)^3) - 1], Abs[ (I(I Δz)^3 / 8/(Sqrt[-1 + I Δz] - I)^3) - 1]}, {Δz, -1, 1}, IconizedObject[«plot options»]]

多変量関数を比較する：

Wolfram Language code: AsymptoticEquivalent[(x - 1)^2(y - 2), Sin[ x]Cos[3y / 4], {x, y} -> {1, 2}]

2つの関数のノルムを可視化する：

Wolfram Language code: Plot3D[{Abs[(x - 1)^2(y - 2)], Abs[Sin[ x]Cos[ 3y / 2]]}, {x, y}∈Disk[{1, 2}, .9], PlotTheme -> "Detailed"]

多変量関数を無限大で比較する：

Wolfram Language code: AsymptoticEquivalent[ Exp[x]Log[y], x y, {x, y} -> {-∞, ∞}]

多変量関数を比較する際にパラメータを使用する：

Wolfram Language code: AsymptoticEquivalent[Sinh[x]y, Sinh[a x]y ^ 2, {x, y} -> {∞, 1}]

オプション (9)

Assumptions (1)

Assumptionsを使ってパラメータについての条件を指定する：

Wolfram Language code: AsymptoticEquivalent[1 + x^n, x^n, x -> ∞, Assumptions -> n ≥ 0]

仮定が異なると結果も異なるかもしれない：

Wolfram Language code: AsymptoticEquivalent[1 + x^n, x^n, x -> ∞, Assumptions -> n < 0]

Direction (5)

下から等価：

Wolfram Language code: AsymptoticEquivalent[x UnitStep[x], Sin[x], x -> 0, Direction -> "FromBelow"]

あるいは：

Wolfram Language code: AsymptoticEquivalent[x UnitStep[x], Sin[x], x -> 0, Direction -> 1]

上から等価：

Wolfram Language code: AsymptoticEquivalent[x UnitStep[x], Sin[x], x -> 0, Direction -> "FromAbove"]

あるいは：

Wolfram Language code: AsymptoticEquivalent[x UnitStep[x], Sin[x], x -> 0, Direction -> -1]

区分ごとの不連続点における等価性：

Wolfram Language code: AsymptoticEquivalent[FractionalPart[x ^ 2]Sin[x], 4Sin[2](x - 2), x -> 2, Direction -> "FromBelow"]

Wolfram Language code: AsymptoticEquivalent[FractionalPart[x ^ 2]Sin[x], 4Sin[2](x - 2), x -> 2, Direction -> "FromAbove"]

片方の方向でうまくいかないので，両方からもうまくいかない：

Wolfram Language code: AsymptoticEquivalent[FractionalPart[x ^ 2]Sin[x], 4Sin[2](x - 2), x -> 2, Direction -> "TwoSided"]

2関数とその比を可視化する：

Wolfram Language code:

Plot[{FractionalPart[x ^ 2]Sin[x], 4Sin[2](x - 2), Abs[(FractionalPart[x ^ 2]Sin[x]/4Sin[2](x - 2))]}, {x, 1.5, 2.5}, PlotLegends -> "Expressions"]

極における等価性は接近方向とは無関係である：

Wolfram Language code: AsymptoticEquivalent[Tan[x], (-2/2x - π), x -> π / 2, Direction -> "FromBelow"]

Wolfram Language code: AsymptoticEquivalent[Tan[x], (-2/2x - π), x -> π / 2, Direction -> "FromAbove"]

Wolfram Language code: AsymptoticEquivalent[Tan[x], (-2/2x - π), x -> π / 2, Direction -> ℝ]

Wolfram Language code: AsymptoticEquivalent[Tan[x], (-2/2x - π), x -> π / 2, Direction -> ℂ]

分枝切断線における等価性：

Wolfram Language code: AsymptoticEquivalent[ Sqrt[x - 1] - I, (-I Tanh[x]/2), x -> 0, Direction -> +I]

Wolfram Language code: AsymptoticEquivalent[ Sqrt[x - 1] - I, (-I Tanh[x]/2), x -> 0, Direction -> -I]

Wolfram Language code: AsymptoticEquivalent[ Sqrt[x - 1] - I, (-I Tanh[x]/2), x -> 0, Direction -> Reals]

Wolfram Language code: AsymptoticEquivalent[ Sqrt[x - 1] - I, (-I Tanh[x]/2), x -> 0, Direction -> Complexes]

異なる象限から近付く際の，等価性を判定する：

Wolfram Language code: f[x_, y_] := Piecewise[{{x*y, y >= 0 && x <= 0}, {2*x*y, y > 0 && x > 0}}, 0]

Wolfram Language code: g[x_, y_] := Sin[x y]

第1象限から原点に近付く：

Wolfram Language code: AsymptoticEquivalent[f[x, y], g[x, y], {x, y} -> {0, 0}, Direction -> "FromAbove"]

同様に：

Wolfram Language code: AsymptoticEquivalent[f[x, y], g[x, y], {x, y} -> {0, 0}, Direction -> {"FromAbove", "FromAbove"}]

第2象限から原点に近付く：

Wolfram Language code: AsymptoticEquivalent[f[x, y], g[x, y], {x, y} -> {0, 0}, Direction -> {"FromBelow", "FromAbove"}]

右半平面から原点に近付く：

Wolfram Language code: AsymptoticEquivalent[f[x, y], g[x, y], {x, y} -> {0, 0}, Direction -> {"FromAbove", Reals}]

下半平面から原点に近付く：

Wolfram Language code: AsymptoticEquivalent[f[x, y], g[x, y], {x, y} -> {0, 0}, Direction -> {Reals, "FromBelow"}]

関数の比を可視化する：

Wolfram Language code: Plot3D[(f[x, y]/g[x , y]), {x, y}∈Annulus[{.01, 1}], AxesLabel -> Automatic, Exclusions -> {Sin[x y] == 0}]//Quiet

GenerateConditions (3)

条件を述べずに結果を返す：

Wolfram Language code: AsymptoticEquivalent[1 + x ^ n, 1, x -> 0, GenerateConditions -> False]

この結果は n>0のときにのみ有効である：

Wolfram Language code: AsymptoticEquivalent[1 + x ^ n, 1, x -> 0]

Wolfram Language code: AsymptoticEquivalent[1 + x ^ n, 1, x -> 0, Assumptions -> n ≤ 0]

結果がパラメータの値に依存するときは，未評価で返される：

Wolfram Language code: AsymptoticEquivalent[Exp[a x], 1, x -> ∞, GenerateConditions -> None]

デフォルトで，一意的な結果を返す条件が生成される：

Wolfram Language code: AsymptoticEquivalent[Exp[a x], 1, x -> ∞]

デフォルトで，特殊な値でしか結果が無効にならない場合は，条件は生成されない：

Wolfram Language code: AsymptoticEquivalent[x^2 y^2, (x - a)^2y^2, {x, y} -> {0, 0}]

GenerateConditions->Trueのときは，これらの一般的ではない条件も報告される：

Wolfram Language code: AsymptoticEquivalent[x^2 y^2, (x - a)^2y^2, {x, y} -> {0, 0}, GenerateConditions -> True]

アプリケーション (12)

基本的なアプリケーション (5)

無限大において等しい2つの単項式のベキと係数は等しいことを示す：

Wolfram Language code: AsymptoticEquivalent[x^n, x^m, x -> ∞, Assumptions -> m > n]

Wolfram Language code: AsymptoticEquivalent[a x^n, b x^n, x -> ∞]

このことを使って，等価である2つの多項式が同じ先頭単項式を持つことを示す：

Wolfram Language code: AsymptoticEquivalent[a x^n + b x^k, a x^n + c x^l, x -> ∞, Assumptions -> 0 < k ≤ l < n]

漸近的に等しい3対の多項式を可視化する：

Wolfram Language code:

LogLogPlot[{x^3 + 5x^2 + 1, x^3 + 100x + 75, 5x^3 + 1, 5x^3 + 50x^2, x^4, x^4 + 100x^2 + 2500}, {x, 1, 1000}, PlotTheme -> {"Detailed", "Marketing"}]

無限大において等しい中の2つの単項式のベキと係数が等しいことを示す：

Wolfram Language code: AsymptoticEquivalent[(1/x^n), (1/x^m), x -> 0, Assumptions -> m > n > 0]

Wolfram Language code: AsymptoticEquivalent[(a/x^n), (b /x^n), x -> 0]

これを使って，中の等価である2つの多項式が同じ先頭単項式を持つことを示す：

Wolfram Language code: AsymptoticEquivalent[(a/x^n) + (b/x^k), (a/x^n) + (c/x^l), x -> 0, Assumptions -> 0 < k ≤ l < n]

漸近的に等しい中の3対の多項式を可視化する：

Wolfram Language code:

LogLogPlot[{x^-3 + 5x^-2 + 1000, x^-3 + 100x + 75, 5x^-3 + 1, 5x^-3 + 50x^-2, x^-4, x^-4 + 100x^-2 + 2500}, {x, 0, 1}, PlotTheme -> {"Detailed", "Marketing"}, ImageSize -> Medium]

たとえでも0においてであることを示す：

Wolfram Language code: AsymptoticEquivalent[x^2(2 + Sin[1 / x]), 2x^2, x -> 0]

Wolfram Language code: AsymptoticEqual[x^2(2 + Sin[1 / x]), 2x^2, x -> 0]

関数を可視化する：

Wolfram Language code: Plot[{Abs[x^2(2 + Sin[1 / x])], x^2}, {x, -(1/3), (1/3)}, PlotLegends -> "Expressions"]

たとえ両者が無限に等しくても，は一貫して1から遠ざかる：

Wolfram Language code: LogLogPlot[{Abs[x^2(2 + Sin[1 / x])], 2x^2}, {x, 10 ^ -4, 1 / 3}, PlotLegends -> "Expressions", PlotPoints -> 101]

たとえでもにおいてであることを示す：

Wolfram Language code: AsymptoticEquivalent[x^2(2 + Sin[x]), 2x^2, x -> ∞]

Wolfram Language code: AsymptoticEqual[x^2(2 + Sin[x]), 2x^2, x -> 0]

たとえ両者が無限に等しくても，は一貫して1から遠ざかる：

Wolfram Language code: LogPlot[{Abs[x^2(2 + Sin[x])], 2x^2}, {x, 1, 100}, PlotLegends -> "Expressions"]

においてであることを示す：

Wolfram Language code: AsymptoticEquivalent[x^2Sin[10 / x], 10x, x -> ∞]

Wolfram Language code: LogPlot[{Abs[x^2Sin[10 / x]], 10x}, {x, 1, 20}, PlotLegends -> "Expressions", PlotRange -> All]

漸近近似 (7)

のときになら，関数はのときに小さい相対誤差でを近似する．のとき，小さい相対誤差でがを近似することを示す：

Wolfram Language code: AsymptoticEquivalent[Exp[x], 1 + x, x -> 0]

のとき，小さい相対誤差でがを近似することを示す：

Wolfram Language code: AsymptoticEquivalent[(1/x) + (1/x^2), (1/x^2), x -> 0]

しかし，上記近似の絶対誤差は小さくはない：

Wolfram Language code: Limit[Abs[((1/x) + (1/x^2)) - (1/x^2)], x -> 0]

同様に，スターリング(Stirling)の公式は，のとき，小さい相対誤差でを近似する：

Wolfram Language code: AsymptoticEquivalent[n!, Sqrt[2π n](n / E)^n, n -> ∞]

しかし，絶対誤差は小さくはない：

Wolfram Language code: Limit[n! - Sqrt[2π n](n / E)^n, n -> ∞]

が関数であり，は付近におけるの近似であるとすると，においてなら，この近似は漸近的である．言い換えるなら，近似の相対誤差は小さい．がにおいての漸近的な近似であることを示す：

Wolfram Language code: AsymptoticEquivalent[x^2 + x + 1, 1, x -> 0]

はにおけるの漸近近似であることを示す：

Wolfram Language code: AsymptoticEquivalent[x^2 + x + 1, x + 1, x -> 0]

はにおけるの漸近近似ではないことを示す：

Wolfram Language code: AsymptoticEquivalent[x^2 + x + 1, 1.5, x -> 0]

スターリングの公式はのときの漸近近似を与える：

Wolfram Language code: AsymptoticEquivalent[n!, Sqrt[2π n](n / E)^n, n -> ∞]

はのときの漸近近似であることを示す：

Wolfram Language code: AsymptoticEquivalent[PrimePi[x], x / Log[x], x -> ∞]

で与えられる別の漸近近似：

Wolfram Language code: AsymptoticEquivalent[PrimePi[x], LogIntegral[x], x -> ∞]

Seriesは，初等関数および特殊関数の漸近近似を生成する．例えば，におけるの次数-10の近似を生成する：

Wolfram Language code: sin = Normal@Series[Sin[x], {x, 0, 10}]

この級数が漸近的であることを示す：

Wolfram Language code: AsymptoticEquivalent[Sin[x], sin, x -> 0]

0におけるCot[x]の漸近級数を求める：

Wolfram Language code: cot = Normal@Series[Cot[x], {x, 0, 5}]

Wolfram Language code: AsymptoticEquivalent[Cot[x], cot, x -> 0]

Gamma[x]の級数が-1において漸近的であることを示す：

Wolfram Language code: gamma = Normal@Series[Gamma[x], {x, -1, 2}]

Wolfram Language code: AsymptoticEquivalent[Gamma[x], gamma, x -> -1]

0におけるの漸近近似を求める：

Wolfram Language code: expr = Normal@Series[Log[Sin[x]]^1 / 3, {x, 0, 3}]

Wolfram Language code: AsymptoticEquivalent[Log[Sin[x]]^1 / 3, expr, x -> 0]

近似される関数が近似点のすべての近傍で0に無限回近付く場合は，漸近近似が微妙になるかもしれない．例として，近くにおけるの漸近展開について考える：

Wolfram Language code: besselJ = Normal@Series[BesselJ[1, x], {x, ∞, 2}]

この近似が漸近的であるとは示せない：

Wolfram Language code: AsymptoticEquivalent[BesselJ[1, x], besselJ, x -> ∞]

問題は，ベッセル関数のすべての零点において近似が完全に0ではない点である：

Wolfram Language code: {BesselJ[1, x], besselJ} /. x -> BesselJZero[1, 25]//N

一般的に1に近付く割合にもかかわらず，は無限回侵害される：

Wolfram Language code: Plot[besselJ / BesselJ[1, x], {x, 1, 40}, PlotTheme -> "Detailed", PlotPoints -> 200]

一方，決して0にならないハンケル関数の近似について考える：

Wolfram Language code: hankel1 = Normal@Series[HankelH1[1, x], {x, ∞, 2}]//Expand

この近似は漸近的である：

Wolfram Language code: AsymptoticEquivalent[HankelH1[1, x], hankel1, x -> ∞]

第2種ハンケル関数の近似も漸近的である：

Wolfram Language code: hankel2 = Normal@Series[HankelH2[1, x], {x, ∞, 2}]//Expand

Wolfram Language code: AsymptoticEquivalent[HankelH2[1, x], hankel2, x -> ∞]

なので，そのような近似2つの和であるこの近似はほぼ漸近的であると理解できる：

Wolfram Language code: FullSimplify[besselJ == (hankel1 + hankel2/2)]

あるいは，近くにおけるの漸近近似について考える：

Wolfram Language code: besselJP1 = Normal@Series[1 + BesselJ[1, x], {x, ∞, 2}]//Expand

これは，真に漸近的な近似である：

Wolfram Language code: AsymptoticEquivalent[1 + BesselJ[1, x], besselJP1, x -> ∞]

近似の比の限界と関数が一定してに近付く：

Wolfram Language code: Plot[(besselJP1/1 + BesselJ[1, x]), {x, 1, 40}, PlotTheme -> "Detailed"]

AsymptoticIntegrateを使って定積分の漸近近似を生成する．例えば，のときのの漸近近似を求め，厳密値と比較する：

Wolfram Language code: {approx, exact} = {AsymptoticIntegrate[E ^ (t x), {t, 0, 1}, {x, 0, 3}] , Integrate[E ^ (t x), {t, 0, 1}]}

Wolfram Language code: AsymptoticEquivalent[exact, approx, x -> 0]

より少ない項数で漸近近似を行う：

Wolfram Language code: approx2 = AsymptoticIntegrate[E ^ (t x), {t, 0, 1}, {x, 0, 1}]

この近似は，厳密積分についても第1近似についても漸近的である：

Wolfram Language code: AsymptoticEquivalent[exact, approx2, x -> 0]

Wolfram Language code: AsymptoticEquivalent[approx, approx2, x -> 0]

積分定数について説明する必要があるが，AsymptoticIntegrateを使って不定積分の漸近近似を生成する．のときのの近似について考える：

Wolfram Language code: {approx, exact} = {AsymptoticIntegrate[Sin[x], x, {x, 0, 3}], Integrate[Tan[x] Cos[x], x]}

この近似が漸近的であることを示す：

Wolfram Language code: AsymptoticEquivalent[exact, approx, x -> 0]

のときのの異なる2つの漸近近似を計算する：

Wolfram Language code: approx2 = AsymptoticIntegrate[x^x, x, {x, 0, 2}]

Wolfram Language code: approx1 = AsymptoticIntegrate[x^x, x, {x, 0, 1}]

比較すべき記号結果はないが，この過程が漸近的であると示すことはできる：

Wolfram Language code: AsymptoticEquivalent[approx2, approx1, x -> 0]

AsymptoticDSolveValueを使って微分方程式の漸近近似を生成する：

Wolfram Language code: deqn = {y''[x] - (x ^ 4 + E ^ x Sin[x]) y[x] == 0 == 0, y[0] == 0, y'[0] == 2};

Wolfram Language code: approx = AsymptoticDSolveValue[deqn, y[x], {x, 0, 8}]

比較すべき厳密な結果はないが，この過程が漸近的であると示すことはできる：

Wolfram Language code: approx2 = AsymptoticDSolveValue[deqn, y[x], {x, 0, 12}]

Wolfram Language code: AsymptoticEquivalent[approx2, approx, x -> 0]

NDSolveValueを使って得られた数値解の値と比較する：

Wolfram Language code: nsol = NDSolveValue[deqn, y[x], {x, 0, 0.5}]

Wolfram Language code: Table[nsol - approx2, {x, 0, 0.5, 0.1}]

特性と関係 (4)

AsymptoticEquivalentは同値関係，つまり，反射的な関係の(である：

Wolfram Language code: AsymptoticEquivalent[f[x], f[x], x -> x0]

推移関係でもある．つまり，かつならということになる：

Wolfram Language code: {f, g, h} = {x, x^2 / (1 + x), x^3 / (1 + x^2)};

Wolfram Language code: {AsymptoticEquivalent[f, g, x -> ∞], AsymptoticEquivalent[g, h, x -> ∞], AsymptoticEquivalent[f, h, x -> ∞]}

対称関係でもある．つまり，ならということになる：

Wolfram Language code: {AsymptoticEquivalent[f, g, x -> ∞], AsymptoticEquivalent[g, f, x -> ∞]}

Limit[f[x]/g[x],xx₀]1のときかつそのときに限りAsymptoticEquivalent[f[x],g[x],xx₀]である：

Wolfram Language code: {f, g} = {x, x^2 / (1 + x)};

Wolfram Language code: {AsymptoticEquivalent[f, g, x -> ∞], Limit[f / g, x -> ∞]}

特に，極限がIndeterminateならである：

Wolfram Language code: {f, g} = {x(1 + Sin[x]), x^2 / (1 + x)};

Wolfram Language code: {AsymptoticEquivalent[f, g, x -> ∞], Limit[f / g, x -> ∞]}

ならである：

Wolfram Language code: {f, g} = {x, x^2 / (1 + x)};

Wolfram Language code: {AsymptoticEquivalent[f, g, x -> ∞], AsymptoticEqual[f, g, x -> ∞]}

逆は偽であるので，AsymptoticEquivalentはAsymptoticEqualよりきめ細かい：

Wolfram Language code: {f, g} = {x, 2x^2 / (1 + x)};

Wolfram Language code: {AsymptoticEquivalent[f, g, x -> ∞], AsymptoticEqual[f, g, x -> ∞]}

のときかつそのときに限りである：

Wolfram Language code: {f, g} = {x, x^2 / (1 + x)};

Wolfram Language code: {AsymptoticEquivalent[f, g, x -> ∞], AsymptoticLess[f - g, g, x -> ∞]}

同様に，のときかつそのときに限りである：

Wolfram Language code: {AsymptoticEquivalent[f, g, x -> ∞], AsymptoticGreater[g, f - g, x -> ∞]}

Top

その他のラーニングリソース

テクニカルサポート

データサイエンス，金融，ビジネス

工学

科学とテクノロジー

教育のためのテクノロジー

教育イニシアチブ

使い始める

Grow Your Skills

Wolframと繋がる

大人用の教育プログラム

若者のための教育プログラム

読む

AsymptoticEquivalent

詳細とオプション

例題

例 (2)

スコープ (10)

オプション (9)

Assumptions (1)

Direction (5)

GenerateConditions (3)

アプリケーション (12)

基本的なアプリケーション (5)

漸近近似 (7)

特性と関係 (4)

テキスト

CMS

APA

BibTeX

BibLaTeX

AsymptoticEquivalent

詳細とオプション

例題

例 (2)

スコープ (10)

オプション (9)

Assumptions (1)

Direction (5)

GenerateConditions (3)

アプリケーション (12)

基本的なアプリケーション (5)

漸近近似 (7)

特性と関係 (4)

関連項目

関連するガイド

履歴

テキスト

CMS

APA

BibTeX

BibLaTeX