Sech[z]
z の双曲線正割を与える.
Sech
Sech[z]
z の双曲線正割を与える.
予備知識
- Sechは,双曲線正割関数である.これは,三角法で頻繁に使われる,Sec円関数の双曲線バージョンのようなものである.これは,双曲線余弦関数の逆数として,
と定義される.これは,実数について,
の面積が,単位双曲線
と交わる原点からの放射線と
軸との間の面積の2倍になるようにすることで定義される.Sech[α]は,したがって,交点の水平座標の逆数を表す.双曲線正割の同様の定義に
がある.ただし,
は自然対数Logの底である. - Sechは,その引数が有理数の(自然)対数であるときは,自動的に厳密値に評価される.引数として厳密な数式が与えられると,Sechは任意の数値精度に評価されることがある.TrigFactorListを使って,Sechを含む式をSinh,Cosh,Sin,Cosを含む項に因子分解することができる.Sechを含む記号式の操作に便利なその他の演算には,TrigToExp,TrigExpand,Simplify,FullSimplifyがある.
- Sechは要素単位でリストおよび行列に縫い込まれる.対照的に,個々の行列要素の双曲線正割関数とは違って,MatrixFunctionは正方行列の双曲線正割(つまり,通常のベキが行列のベキで置き換えられた双曲線正割関数のベキ級数)を与えるのに使うことができる.
- Sech[x]x が
に近付くにつれて,指数的に減少する.Sechは,Secによって満足されるような,ピタゴラス(Pythagorean)の恒等式に似た恒等式
を満足する.双曲線正割関数の定義は,恒等式
によって,複素引数
にまで拡張される.Sechは整数
について値
において極を持ち,これらの点で評価するとComplexInfinityになる.Sech[z]は,原点付近で級数展開
を持つ.これはオイラー(Euler)数EulerEによって表すことができる. - Sechの逆関数はArcSechである.他の関連する数学関数には,CoshおよびCschがある.
例題
すべて開く すべて閉じる例 (5)
Sech[1.8]Plot[Sech[x], {x, -5, 5}]ComplexPlot3D[Sech[z], {z, -2 - 2I π, 2 + 2I π}, PlotLegends -> Automatic]Series[Sech[x], {x, 0, 10}]Series[Sech[x], {x, (I π/2), 3}]//Normalスコープ (47)
数値評価 (6)
Sech[1.8]N[Sech[18 / 10], 50]Sech[1.80000000000000000000000]Sechは複素数の入力が取れる:
Sech[2.5 + I]Sechを高精度で効率よく評価する:
Sech[1.8`500]//TimingSech[1.8`100000];//TimingSech[{{(π/3)I, -(π/3)I}, {0, -(π/6)I}}]MatrixFunctionを使って行列のSech関数を計算することもできる:
MatrixFunction[Sech[#]&, {{(π/3)I, -(π/3)I}, {0, -(π/6)I}}]IntervalオブジェクトとCenteredIntervalオブジェクトを使って最悪の場合に保証される区間を計算する:
Sech[Interval[{0, Log[3]}]]Sech[CenteredInterval[-1, 1 / 100]]Sech[CenteredInterval[2 + 3I, (1 + I) / 100]]Aroundを使って平均的な場合の統計区間を計算することもできる:
Sech[Around[(2/Sqrt[3]), 0.1]]特定の値 (4)
固定された純粋な虚点におけるSechの値:
Table[Sech[I (π/6) n], {n, -2, 2}]Sech[Infinity]Sech[ComplexInfinity]Sechの最大値:
Sech[0]sol = Solve[D[Sech[x], x] == 0, x, Reals]xmax = x /. First[sol]Plot[Sech[x], {x, -5, 5}, Epilog -> Style[Point[{xmax, Sech[xmax]}], PointSize[Large], Red]]Sech[I Pi / 3]より複雑な場合には明示的にFunctionExpandを使う必要がある:
Sech[I Pi / 24]FunctionExpand[%]可視化 (3)
Sech関数をプロットする:
Plot[Sech[x], {x, -2.5, 2.5}]ComplexContourPlot[Re[Sech[z]], {z, -3 - 4I, 3 + 4I}, Contours -> 24]ComplexContourPlot[Im[Sech[z]], {z, -3 - 4I, 3 + 4I}, Contours -> 24]Table[PolarPlot[Sech[k ϕ], {ϕ, -2π, 2π}, Sequence[Frame -> True, Axes -> False, PlotLabel -> "k=" <> ToString[k], PlotRange -> {{-0.2, 1}, {-0.6, 0.6}}, FrameTicks -> {{{-0.5, 0.5}, None}, {{0, 1}, None}}]], {k, 1, 6}]関数の特性 (12)
Sechはすべての実数値について定義される:
FunctionDomain[Sech[x], x]FunctionDomain[Sech[z], z, Complexes]Sechは区間
からのすべての実数値に達する:
FunctionRange[Sech[x], x, y]Sechは偶関数である:
Sech[-x]Sechは鏡特性
を持つ:
FullSimplify[Sech[Conjugate[z]] == Conjugate[Sech[z]]]Sechは実数上で
の解析関数である:
FunctionAnalytic[Sech[x], x]FunctionAnalytic[Sech[x], x, Complexes]FunctionMeromorphic[Sech[x], x]Sechは非減少でも非増加でもない:
FunctionMonotonicity[Sech[x], x]Sechは単射ではない:
FunctionInjective[Sech[x], x]Plot[{Sech[x], .3}, {x, -5, 5}]Sech全射ではない:
FunctionSurjective[Sech[x], x]Plot[{Sech[x], 2}, {x, -5, 5}]Sechは非負である:
FunctionSign[Sech[x], x]Sechは特異点も不連続点も持たない:
FunctionSingularities[Sech[x], x]FunctionDiscontinuities[Sech[x], x]Sechは凸でも凹でもない:
FunctionConvexity[Sech[x], x]TraditionalFormによる表現:
Sech[u]//TraditionalForm微分 (3)
D[Sech[x], x]Table[D[Sech[x], {x, n}], {n, 1, 4}]Plot[Evaluate[%], {x, -3, 3}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative", "Fourth Derivative"}]D[Sech[x], {x, n}]積分 (3)
Sechの不定積分:
Integrate[Sech[x], x]Integrate[Sech[x], {x, -2, 2}]//FullSimplify2Integrate[Sech[x], {x, 0, 2}]Integrate[Sech[x]Sinh[x], x]Table[Integrate[x ^ n Sech[x], x], {n, 2}]Integrate[Sech[z] ^ a, z]級数展開: (4)
Seriesを使ってテイラー(Taylor)展開を求める:
Series[Sech[x], {x, 0, 7}]
の周りのSechの最初の3つの近似をプロットする:
terms = Normal@Table[Series[Sech[x], {x, 0, m}], {m, 2, 6, 2}];
Plot[{Sech[x], terms}, {x, -1.2, 1.2}]Sechの級数展開における一般項:
SeriesCoefficient[Sech[x], {x, 0, n}]Sechのフーリエ級数における初項:
FourierSeries[Sech[z], z, 1]Sechはベキ級数に適用できる:
Sech[x + (x^2/2) + (x^3/9) + O[x]^4]積分変換 (2)
LaplaceTransformを使ってラプラス(Laplace)変換を計算する:
LaplaceTransform[Sech[t], t, s]FourierTransform[Sech[t], t, ω]関数の恒等式と簡約 (6)
倍角のSech:
Expand[Sech[2x], Trig -> True]総和のSech:
TrigExpand[Sech[x + y]]TrigExpand[Sech[4x]]TrigReduce[%]TrigFactor[Sech[x] + Sech[y]]ComplexExpand[Sech[x + I y]]TrigToExp[Sech[z]]関数表現 (4)
Cosを介した表現:
Simplify[1 / Cos[I y]]Simplify[Sqrt[( 2/Pi x)] / BesselI[-(1/2), x], x > 0]Simplify[-Sqrt[( 2/Pi I y)] / BesselY[(1/2), I y], y > 0]Simplify[1 / JacobiCN[I y, 0]]Simplify[1 / JacobiCD[I y, 0]]MeijerGによる表現:
(1/Sqrt[2] π^3 / 2 MeijerG[{{}, {(3/4)}}, {{0}, {(3/4), (1/2)}}, (x/2), (1/2)])//FullSimplifyアプリケーション (7)
ParametricPlot[{t - Tanh[t], Sech[t]}, {t, 0, 2}]ParametricPlot3D[{Cos[p]Sech[t], -Sech[t]Sin[p], t - Tanh[t]}, {t, 0, 4}, {p, 0, 2Pi}]2Pi Integrate[Sech[u]Tanh[u], {u, 0, Infinity}]u[x_, t_] := Sech[(x - t / 3) / (2Sqrt[3])] ^ 2D[u[x, t], t] + u[x, t]D[u[x, t], x] + D[u[x, t], x, x, x]//Simplify零エネルギー解を持つシュレーディンガー(Schrödinger)方程式:
ψ[x_] = Sech[x];
v[x_] = 1 - 2Sech[x]^2;-ψ''[x] + v[x]ψ[x] == 0//Simplifypdf[x_] := Sech[Pi x / 2] / 2Integrate[pdf[x], {x, -Infinity, x}]Plot[{pdf[x], %}, {x, -5, 5}]DSolve[y'[x] - y[x] - Sech[x] == 0, y, x]ソリトンプロファイルが周期ポテンシャルによって摂動された非線形シュレディンガー方程式を計算する:
L = 50;
usol = NDSolveValue[{I D[u[t, x], t] + D[u[t, x], x, x] + 2Abs[u[t, x]] ^ 2u[t, x] == 0.1(1 - Cos[Pi x / L]), u[0, x] == Sech[x]Exp[I x], u[t, -L] == u[t, L]}, u, {t, 0, 10}, {x, -L, L}]Plot3D[Abs[usol[t, x]], {t, 0, 10}, {x, -L, L}, PlotPoints -> 50, MaxRecursion -> 4, Mesh -> None]特性と関係 (11)
Sechの基本的なパリティと周期性の特性は自動的に適用される:
Sech[x + I Pi]Sech[-x]Sech[I x]Sech[x] ^ 2 + Tanh[x] ^ 2Simplify[%]Refine,SimplifyおよびFullSimplifyを使ってSechを含む式を簡約する:
Refine[Abs[Sech[x]] < 2, x∈Reals]Simplify[Sech[2z](2 - Sech[z] ^ 2)]FullSimplify[Sech[Log[GoldenRatio]]]FunctionExpandを使って累乗根の特別な値を表す:
FunctionExpand[Sech[I Pi / 16] ]{Sech[ArcSech[z]], Sech[2ArcSech[z]], Sech[3ArcSech[z]]}FunctionExpand[%]Reduce[Sech[z] + Sech[z + 1] == 1, z]FindRoot[Sech[z]^3 - 3 Sech[z + 1] + z == 2, {z, 0}]Reduce[Sech[a x + b] == 1, x]総和,積,積分からSechを得る:
Sum[1 / (z + Pi I (k + 1 / 2)) ^ 2, {k, -Infinity, Infinity}]Product[Pi ^ 2(2k - 1) ^ 2 / (Pi ^ 2(2k - 1) ^ 2 + 4z ^ 2), {k, 1, Infinity}]Integrate[t ^ (2 I z / Pi) / (t ^ 2 + 1), {t, 0, Infinity}, Assumptions -> -Pi / 2 < Im[z] < Pi / 2]Sechは,特殊関数の特殊な場合に見られる:
{1 / BesselJ[-1 / 2, I z], 1 / HypergeometricPFQ[{}, {1 / 2}, z ^ 2 / 4], JacobiCN[z, 1]}Sechは数値関数である:
Attributes[Sech]NumericQ[Sech[2 + E]]考えられる問題 (5)
Sech[10. ^ 40 I]N[Sech[10 ^ 40 I], 20]$MaxExtraPrecisionの設定値を大きくする必要があるかもしれない:
N[Sech[10 ^ 100 I], 20]
Block[{$MaxExtraPrecision = 200}, N[Sech[10 ^ 100 I], 20]]1 / Sech[x]無限大にはベキ級数は存在しない.無限大においてSechは真性特異点を持つ:
Series[Sech[x], {x, Infinity, 2}]TraditionalFormの場合は引数の前後に丸カッコが必要である:
sech xsech(x)関連項目
テクニカルノート
-
▪
- 初等超越関数
関連するガイド
-
▪
- 双曲線関数
履歴
1988 で導入 (1.0) | 1996 で更新 (3.0) ▪ 2021 (13.0)
テキスト
Wolfram Research (1988), Sech, Wolfram言語関数, https://reference.wolfram.com/language/ref/Sech.html (2021年に更新).
CMS
Wolfram Language. 1988. "Sech." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2021. https://reference.wolfram.com/language/ref/Sech.html.
APA
Wolfram Language. (1988). Sech. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Sech.html
BibTeX
@misc{reference.wolfram_2026_sech, author="Wolfram Research", title="{Sech}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/Sech.html}", note=[Accessed: 04-October-2026]}
BibLaTeX
@online{reference.wolfram_2026_sech, organization={Wolfram Research}, title={Sech}, year={2021}, url={https://reference.wolfram.com/language/ref/Sech.html}, note=[Accessed: 04-October-2026]}