シュワルツ超函数については「シュワルツ超函数」を、佐藤超函数については「佐藤超函数」をご覧ください。

数学において超関数（ちょうかんすう、英: generalized function）は、関数の概念を一般化するもので、いくつかの理論が知られている。超関数の重要な利点として、不連続関数の扱いを滑らかな関数に似せることができることが挙げられる。また点電荷のような離散的な物理現象の記述にも便利である。超関数の応用範囲は極めて広く、特に物理学や工学においても利用されている。

超関数の応用例としては主に、不連続関数の微分、デルタ関数、アダマール有限部分積分、緩増加関数のフーリエ変換などが挙げられる。

超関数の起源は演算子法に見ることができるが、直接的には、セルゲイ・ソボレフやローラン・シュヴァルツらの仕事がその始まりである。1935年にソボレフが、部分積分を形式的に用いて、微分方程式の解の拡張をしたのをはじめ、何人かの数学者によって微分の拡張が行われ始め、1940年代末にはシュワルツがこれらを超関数の理論としてまとめた。1958年に佐藤幹夫が層コホモロジーの理論を応用して、シュワルツらとは別の見地に立った超関数論を組み立てた。超関数論に重要な影響を与えたのは、偏微分方程式や群の表現の理論などからの技術的な要請であった。
概要

「超関数」の導入は、ディラックのデルタ関数のような通常の関数の概念では許されない「関数」をもそれを「超関数」として扱うことで通常の関数と統一的に扱うことを可能にし、不連続関数の「微分」や偏微分方程式の「弱解」などに合理的根拠を与えるなど、解析演算の自由度を著しく高めた。

実際に超関数を用いるには、まず通常の関数に対応する要素をもち、かつさらに広い要素にも対処できる一つの数学的表現を定め、それを超関数と定義する。そして例えば関数を微分するなどの演算も対応する超関数の表現に対する操作として定義し直す。こうして例えばヘヴィサイドの階段関数では、それを超関数に読み替えたものを微分すると通常の関数とは解釈出来ない表現が得られる。それがディラックのデルタ関数という名の超関数である。

超関数論では、通常の関数の演算に対応する超関数の表現の操作を定め、超関数の計算規則をつくる。と同時に主な超関数に対して微分やフーリエ変換といった演算を施した結果を求め、それを公式集としてまとめておく（これらの計算規則や公式は数学的に厳密な表現に対する操作で定義され、実行されているので、数学的な正当性が保証されていることに注意）。すると超関数の計算は、計算規則に則り、公式集の助けを借りて、機械的に行うことが出来て、それを超関数と意識する必要もなくなる。かくして通常の関数に対応する超関数では普通の関数記号 f(x) を使ってそのまま演算を実行でき、結果が普通の関数でなくなればディラックのデルタ関数のような超関数の記号が現れる。

こうして超関数を用いることにより、不連続関数の微分、デルタ関数、アダマールの発散積分の有限部分、緩増加関数のフーリエ変換など、従来の数学の枠内には納まらない演算まで自由に扱うことが出来るようになった。

「超関数」は上記の性質を満たすように定義されていれば何でも使えるので、その定義の仕方は一通りではない。通常はこの言葉で代表的な 2 つの定義方法である、シュワルツの超関数か佐藤の超関数かのいずれかを指す。
名称

「超関数」という言葉自体は日本でつくられた数学用語である。これはシュワルツの著書を訳出するとき、原著では "distribution"（分布）とあった名称を、関数概念を拡張したものの名前であるという実体を取り入れて訳者が「超函数」と意訳したことに始まる[1]。英語文献において、一般の超関数を指すときは generalized function（一般化された関数）というが、特にシュワルツや佐藤の超関数を指す場合には、シュワルツの超関数は "distribution" と呼ばれ、佐藤の超関数は "hyperfunction"（超関数）と呼ばれる。hyperfunction という呼称は原論文で用いられる用語であり、佐藤の超関数に対する呼称はこれに倣っている。
先駆的な研究

19世紀の数学には、例えばグリーン関数の定義やラプラス変換、あるいは（可積分関数のフーリエ級数には必要でない部分の）リーマンの三角級数論などが、超関数論の片鱗として垣間見える。これらは当時、解析学の一部とは扱われていなかったものである。

ラプラス変換は工学において重用され、経験則に基づく記号的操作としての演算子法を生み出した。演算子法の正当化は発散級数を用いて与えられたため、純粋数学の観点からは悪い風評をうけることとなるが、これらは後に超関数法の典型的な応用先となった。1899年に出版されたヘヴィサイドの本 Electromagnetic Theory（『電磁気論』）は演算子法の定番の教科書となった。

ルベーグ積分が導入されると、超関数は初めて数学の中心に躍り出ることとなった。ルベーグ積分論では、殆ど至る所一致する可積分関数はすべて同値であると看做される。これはルベーグ積分論において関数の個々の点における値というのは関数の重要な特徴ではないということを意味する。関数解析学において、可積分関数は他の関数の線型汎関数を定めるという本質的な特徴を抽出することで、明確な定式化が行われた。こうして、弱微分の概念が定義されるようになる。

1920年代後半から1930年代に掛けて、その後の研究の基となる更なる展開がなされる。ディラックのデルタ関数はポール・ディラックが（彼の科学的形式主義の一部として）大胆に定義したもので、（電荷密度のような）密度として考えるべき測度をあたかも通常の関数であるかのように扱った。ソボレフは、偏微分方程式論の研究において偏微分方程式の弱解をきちんと扱うために、数学の観点からも十分正当な超関数論を初めて定義した。同じ頃、関連するほかの理論がボホナーやフリードリヒらによっても提案されている。ソボレフの業績は後にシュワルツによってさらに拡張され発展することとなる。
シュワルツの超関数詳細は「シュワルツ超関数」を参照

超関数の概念を実現する方法の中で、多くの目的に使われる決定版となったのは、ローラン・シュヴァルツによって発展させられた分布の理論である。位相線型空間に対する双対空間がこの理論の基本原理である。主なライバルとして、応用数学では（ジェイムズ・ライトヒルが述べたような）滑らかな関数の列による近似が用いられたが、これはより「アド・ホック」な理論であり、現在では軟化子の理論に含まれる。

この理論は大いに成功し、今も広く用いられているが、線型な操作しか扱えないという弱点が悩みどころである。つまり、超関数は（非常に特別な場合を除けば）乗法を定義することができない。これは古典的な関数空間が環を成すのとは対照的である。例えば、ディラック・デルタの自乗は意味を成さない。1954年前後からのシュワルツの仕事はこの困難が本質的なものであることを示している。

この乗法問題を解決する方法はいくつも提案された。そのひとつにエゴロフ[2]による非常に単純で直観的な超関数の定義に基づくものがあり、超関数の上のあるいは超関数同士の任意の演算ができるようになる（デミドフ[3]のエゴロフの項も参照せよ）。

乗法問題のほかの解法が量子力学の経路積分の定式化から要求された。量子力学においてシュレーディンガーの理論は経路積分の定式化と同値であることが必須であり、前者は座標変換で不変であるから、経路積分でもこの不変性を満たされなければならない。このことが超関数の全ての積を決定することをクライネルトとチェルビェコフが示した[4]。この結果は次元正則化から導かれるところのものと同値である[5]。
超関数環

超関数の成す多元環の構成について、シロコフ[6]とロジンガー、エゴロフとロビンソンなどによって様々な提示が成されている。前者の場合、乗法は超関数のある種の正則化によって決定される。後者では、超関数の乗法を構成することで考えられる。
超関数の非可換環

超関数の環は、関数 F = F(x) の平滑成分 Fsmooth と特異成分 Fsingular への射影を適当な方法で与えることによって構成することができる。すなわち、超関数 F, G の積は
F G = F s m o o t h G s m o o t h + F s m o o t h G s i n g u l a r + F s i n g u l a r G s m o o t h {\displaystyle FG=F_{\mathrm {smooth} }\,G_{\mathrm {smooth} }+F_{\mathrm {smooth} }\,G_{\mathrm {singular} }+F_{\mathrm {singular} }\,G_{\mathrm {smooth} }}