ArcSech[z]
複素数
の逆双曲線正割
を与える.
ArcSech
ArcSech[z]
複素数
の逆双曲線正割
を与える.
予備知識
- ArcSechは逆双曲線正割関数である.ArcSec[x]は,実数
について,
となるような
の双曲線角度を表す. - ArcSechは自動的にリストに縫い込まれる.特別な引数の場合,ArcSechは自動的に厳密値を計算する.厳密な数式が引数として与えられると,ArcSechは任意の数値精度に評価できることがある.ArcSechを含む記号式の操作に便利なその他の演算には,FunctionExpand,TrigToExp,TrigExpand,Simplify,FullSimplifyがある.
- ArcSechは,複素引数
について,
によって定義される.ArcSech[z]は複素
平面上で不連続な分枝切断線を持つ. - 関連する数学関数には,Sech,ArcCsch,ArcSecがある.
例題
すべて開く すべて閉じる例 (6)
ArcSech[0.5]Plot[ArcSech[x], {x, 0, 1}]ComplexPlot3D[ArcSech[z], {z, -1 - 2I, 1 + 2I}, PlotLegends -> Automatic]Series[ArcSech[z], {z, 0, 10}, Assumptions -> z > 0]Infinityにおける漸近展開:
Series[ArcSech[z], {z, ∞, 3}]Series[ArcSech[z], {z, 1, 3}, Assumptions -> z < 1]スコープ (40)
数値評価 (6)
ArcSech[1.0 / 3.0]N[ArcSech[1 / 3], 50]ArcSech[0.33333333333333333333333333333333333333333]ArcSech[1.5 - I]ArcSechを高精度で効率よく評価する:
ArcSech[1.2`500]//TimingArcSech[1.2`100000];//TimingIntervalオブジェクトとCenteredIntervalオブジェクトを使って最悪の場合に保証される区間を計算する:
ArcSech[Interval[{1 / 2, 1}]]ArcSech[CenteredInterval[-3, 1 / 100]]ArcSech[CenteredInterval[2 + 3I, (1 + I) / 100]]Aroundを使って平均的な場合の統計区間を計算することもできる:
ArcSech[Around[.9, 0.1]]ArcSech[{{2, 0}, {1, -2}}]MatrixFunctionを使って行列のArcSech関数を計算することもできる:
MatrixFunction[ArcSech[#]&, {{2, 0}, {1, -2}}]特定の値 (4)
固定点におけるArcSechの値:
Table[ArcSech[n], {n, -2, 2}]ArcSech[Infinity]ArcSech[ComplexInfinity]ArcSechの零点:
ArcSech[1]f[x_] := ArcSech[x] - Log[2];sol = Solve[f[x] == 0, x]xzero = x /. First[sol]Plot[f[x], {x, 0, 1}, Epilog -> Style[Point[{xzero, f[xzero]}], PointSize[Large], Red]]可視化 (3)
ArcSech関数をプロットする:
Plot[ArcSech[x], {x, 0, 1}]ComplexContourPlot[Re[ArcSech[z]], {z, -3 - 3 I, 3 + 3 I}, Contours -> 24]ComplexContourPlot[Im[ArcSech[z]], {z, -3 - 3 I, 3 + 3 I}, Contours -> 24]Table[PolarPlot[ArcSech[k ϕ], {ϕ, -π, π}, Sequence[Frame -> True, PlotLabel -> "k=" <> ToString[k], PlotRange -> {{0, 12}, {-0.7, 0.7}}, AspectRatio -> 0.8]], {k, 1, 4}]関数の特性 (10)
ArcSechは,区間
からのすべての実数値について定義される:
FunctionDomain[ArcSech[x], x]FunctionDomain[ArcSech[z], z, Complexes]ArcSechは,0以上のすべての実数値に達する:
FunctionRange[ArcSech[x], x, y]FunctionRange[ArcSech[z], z, y, Complexes]ArcSechは解析関数ではない:
FunctionAnalytic[ArcSech[x], x]FunctionMeromorphic[ArcSech[x], x]ArcSechは実数領域上で減少する:
FunctionMonotonicity[{ArcSech[x], 0 < x ≤ 1}, x, StrictInequalities -> True]ArcSechは単射である:
FunctionInjective[ArcSech[x], x]Plot[{ArcSech[x], 1}, {x, 0, 1}]ArcSechは全射ではない:
FunctionSurjective[ArcSech[x], x]Plot[{ArcSech[x], -1}, {x, -1, 1}]ArcSechは実数領域上で非負である:
FunctionSign[{ArcSech[x], 0 < x ≤ 1}, x](-∞,0]および[1,∞)に特異点と不連続点の両方を持つ:
FunctionSingularities[ArcSech[x], x]FunctionDiscontinuities[ArcSech[x], x]ArcSechは凸でも凹でもない:
FunctionConvexity[ArcSech[x], x]TraditionalFormによる表示:
ArcSech[x]//TraditionalForm微分 (3)
D[ArcSech[x], x]Table[D[ArcSech[x], {x, n}], {n, 1, 4}]//FullSimplifyPlot[Evaluate[%], {x, -1, 1}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative", "Fourth Derivative"}]D[ArcSech[x], {x, n}]積分 (3)
級数展開 (3)
Seriesを使ってテイラー(Taylor)展開を求める:
Series[ArcSech[x], {x, 1 / 2, 4}]
の周りでのArcSechの最初の3つの近似をプロットする:
terms = Normal@Table[Series[ArcSech[x], {x, 1 / 2, m}], {m, 1, 3}];
Plot[{ArcSech[x], terms}, {x, 0, 1}, PlotRange -> {{0, 1}, {0, 5}}]Series[ArcSech[x], {x, 1, 1}]Series[ArcSech[x], {x, 0, 1}]ArcSechをベキ級数に適用する:
ArcSech[Exp[x] / 2 + O[x] ^ 5]関数の恒等式と簡約 (3)
ArcSechを含む式を簡約する:
FullSimplify[(x^2y^2 - x^2 - y^2)Sech[ArcSech[x] + ArcSech[y]]^2 + 2x y Sech[ArcSech[x] + ArcSech[y]] - x^2y^2]TrigToExpを使って対数で表す:
ArcSech[z]//TrigToExpExpToTrig[%]ComplexExpand[ArcSech[x + I y]]//FullSimplify関数表現 (5)
ArcCoshを使って表現する:
ArcCosh[1 / x]//FullSimplifyInverseJacobiCN[z, 1]InverseJacobiDN[z, 1]Hypergeometric2F1を使って表現する:
FullSimplify[ArcSech[z] == (Sqrt[(1/z) - 1] ((π/2) - (HypergeometricPFQ[{(1/2), (1/2)}, {(3/2)}, (1/z^2)]/z))/Sqrt[1 - (1/z)])]MeijerGReduce[ArcSech[x], x]Activate[%]//FullSimplifyArcSechはDifferentialRootとして表すことができる:
DifferentialRootReduce[ArcSech[x], x]アプリケーション (2)
特性と関係 (2)
{ArcSech[Sech[z]], Sech[ArcSech[z]]}PowerExpandを使ってArcSechの多価性を無視する:
PowerExpand[%]Refine[ArcSech[Sech[z]], z∈Reals]TrigToExpを使って対数で表す:
ArcSech[z]//TrigToExpExpToTrig[%]関連項目
テクニカルノート
-
▪
- 初等超越関数
関連するガイド
-
▪
- 双曲線関数
履歴
1988 で導入 (1.0) | 2021 で更新 (13.0)
テキスト
Wolfram Research (1988), ArcSech, Wolfram言語関数, https://reference.wolfram.com/language/ref/ArcSech.html (2021年に更新).
CMS
Wolfram Language. 1988. "ArcSech." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2021. https://reference.wolfram.com/language/ref/ArcSech.html.
APA
Wolfram Language. (1988). ArcSech. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/ArcSech.html
BibTeX
@misc{reference.wolfram_2026_arcsech, author="Wolfram Research", title="{ArcSech}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/ArcSech.html}", note=[Accessed: 14-August-2026]}
BibLaTeX
@online{reference.wolfram_2026_arcsech, organization={Wolfram Research}, title={ArcSech}, year={2021}, url={https://reference.wolfram.com/language/ref/ArcSech.html}, note=[Accessed: 14-August-2026]}