Struve関数H_ν(x)を実数次数で計算

Struve関数H_ν(x)を実数次数で計算

実数次数−20〜20と正の実引数0.0001〜50からStruve関数H_ν(x)を端末内で計算します。

入力

−20以上20以下の実数です。整数だけでなく0.5なども指定できます。

0.0001以上50以下の正の実数です。x=0と負のxは扱いません。

使い方

  1. 実数次数νと正の実引数xを入力します。既定値はν=0.5、x=1です。
  2. 計算後、H_ν(x)の値と指数表記を確認し、必要ならコピーします。
  3. 次数、引数、DLMF規約を結果と一緒に記録し、Bessel J_νやStruve K_νと取り違えないようにします。

計算式・考え方

Struve関数H_ν(x)は、DLMF 11.2.1の規約で H_ν(x)=(x/2)^(ν+1)Σ[k=0..∞]{(−1)^k(x/2)^(2k)/(Γ(k+3/2)Γ(k+ν+3/2))} と定義されます。非同次Bessel方程式の特解で、同じ第1種Bessel関数J_ν(x)とは別の関数です。

注意事項

  • H_νはBessel方程式の斉次解ではなく、右辺を持つ非同次方程式の特解です。J_νやY_νを加えても非同次方程式の別解になるため、数値が近い点だけで関数名を推定できません。本ページは太字Hで表されるStruve関数を返し、Hankel関数H_ν^(1)、H_ν^(2)は扱いません。
  • 級数では符号が交互に変わります。大きいxで各項が大きくなってから相殺する領域は、単純な先頭からの加算だけでは桁を失います。実装は有界な級数・関係式・漸近処理を使い分ける前提で、表示値が有限でも難しい領域では独立実装と比較してください。
  • 定義式はNIST DLMF §11.2.1、半整数次数と漸化式は§11.4、大引数挙動は§11.6を2026年7月15日に照合しました。x=0は次数依存なので公開UIから除外し、0.0001を下限にしています。
  • 本ページ群は次数νを整数へ丸めず、−20以上20以下の有限な実数として扱います。引数xは0.0001以上50以下の正の実数です。実数次数で負のxを指定すると、べき乗の枝や複素位相を選ぶ必要があり、同じ記号でも実数値だけには定まりません。そのため負のxは受け付けず、複素引数の実部だけを取り出すような縮約もしません。
  • x=0は関数と次数によって、有限値、0、発散、枝点のいずれにもなり得ます。たとえば第1種Kelvin関数は一般の実数次数で原点に枝点を持つ一方、整数次数では枝点が消える場合があります。Struve関数も級数先頭のx^(ν+1)とガンマ関数の極が組み合わさるため、単純に0を代入できません。UIは全6ページ共通でx≥0.0001とし、原点極限を一律の数値へ置き換えません。
  • 計算はschema v3のdeclarative-v1またはschema v4のsampled-series-v1から、固定名で許可した有界な実数評価関数だけを呼びます。利用者が入力した式やコードをeval、new Functionで実行せず、外部API、CDN、fetch、XMLHttpRequest、WebSocketも使いません。入力範囲、標本数、反復上限、有限性を検査し、安全に倍精度値を返せない場合は推測値で埋めません。
  • 次数、引数、生成した数値列は利用者のブラウザ内だけで処理され、サーバーや第三者へ送信または保存されません。WordPressの本文、追加CSS、追加JavaScriptで完結できる構成を前提にしたローカル成果物です。builderの実行だけで下書き作成、既存記事更新、本番公開を行うことはありません。
  • グラフの横軸はx_i=xの初期値+i×増分（i=0,1,…,点数−1）で作り、1〜201点を直線で結びます。これは標本線であり、点間を追加評価した補間曲線、零点探索、極値探索ではありません。符号が変わる点間に根がある可能性はありますが、画面上の交点を高精度の零点として使わず、範囲を狭めて増分を小さくするか専用の求根法で再確認してください。
  • 大きいxでは関数ごとの性格が強く現れます。通常Struve HνはBessel型の振動成分と代数的成分を含み、変形Struve Lνはmodified Bessel Iνに近い急増成分を含みます。第1種Kelvin関数berν、beiνも複素方向へ回転したBessel関数に由来し、振動しながら振幅が急増します。同じ縦軸では小さい成分が見えにくいため、表の指数表記も確認してください。
  • 表示値はIEEE 754 binary64を基礎とする最大15桁の有効数字です。級数の打切り、漸近式への切替え、近接する大きな項の相殺、非常に小さい値の丸めにより誤差が増えることがあります。値が0に近い点は絶対誤差、大きい点は相対誤差も確認し、研究・設計・規格適合の最終値には任意精度ライブラリや独立した数表を併用してください。
  • NIST Digital Library of Mathematical Functions（DLMF）のStruve定義§11.2、基本性質§11.4、大引数展開§11.6、Kelvin定義§10.61、導関数§10.63、大引数展開§10.67を2026年7月15日に一次資料として照合しました。各ページの式はそこで使われるDLMFの記号と位相規約を明記します。DLMFの更新日と、本ツールの数値確認日を混同しないでください。
  • 特殊関数を物理モデルへ使うときは、関数値だけでなく微分方程式、境界条件、単位、無次元化、線形結合係数を確認してください。熱伝導、波動、電磁場、拡散、円柱座標の問題で似た記号が現れても、採用する枝、正規化、次数の意味が一致するとは限りません。入力したνとx、使用した関数名、位相規約を結果と一緒に記録してください。
  • この初版は正の実引数と実数次数だけを対象とします。複素引数、複素結果、負の実引数、任意精度、次数微分、積分、零点、逆関数は非対応です。別ソフトと比較するときは、Struve Hとmodified Struve L、第1種Kelvinのber・bei、またはそれらのx微分のどれかを確認し、文字の省略やプライム記号の脱落による取り違えを避けてください。
  • −20≤ν≤20、0.0001≤x≤50の有限な倍精度実数値です。複素値と任意精度は扱いません。

よくある質問

Bessel関数J_νと同じですか？

異なります。H_νは非同次Bessel方程式の特解です。

Hankel関数H^(1)ですか？

いいえ。太字Hで表すStruve関数で、Hankel関数ではありません。

x=0を入力できますか？

次数で極限が変わるため、この初版はx≥0.0001に限定しています。

複素数は使えますか？

使えません。実数次数と正の実引数だけを扱います。

入力した実数次数、正の実引数、生成した系列は端末内だけで処理され、外部へ送信または保存されません。個人情報の入力欄もありません。