解析学において、広義積分（こうぎせきぶん、英: improper integral）とは何らかの定積分の積分区間を動かしたときの極限である。極限値は有限確定値に収束することもあるが発散することもある。積分区間の端点（片方または両方）は何らかの実数か正または負の無限大に近づく。（多変数関数に対する広義重積分の場合には積分領域を取り尽くす、適当な有界可測集合列に関する極限をとる[1]。）
定式化

厳密に言えば広義積分とは積分の一種ではなく、以下のような形の式の総称である。まず lim b → c ∫ a b f ( x ) d x {\displaystyle \lim _{b\to c}\int _{a}^{b}f(x)\,dx}

ここで c は正または負の無限大であるか、x → c − 0 につれて | f (x)| が無限大となるような定数である。または lim b → a ∫ b c f ( x ) d x {\displaystyle \lim _{b\to a}\int _{b}^{c}f(x)\,dx}

ここで a は正または負の無限大であるか、x → a + 0 につれて | f (x)| が無限大となるような定数である。あるいは以下のような形もある。 lim s → a ∫ s b f ( x ) d x + lim t → c ∫ b t f ( x ) d x {\displaystyle \lim _{s\to a}\int _{s}^{b}f(x)\,dx+\lim _{t\to c}\int _{b}^{t}f(x)\,dx}

a および c は正または負の無限大であるか、x が積分区間の内側から近づくにつれて | f (x)| が無限大となるような定数である。この値は（存在する限り）b の取り方によらない。

こうして、この分野における基本的な問がどんなものか分かる：

極限は（解析学的な意味で）存在するか？

存在するとして、その値を計算できるか？

2つ目の問には微積分計算のテクニックも使えるが、場合により周回積分やフーリエ変換等の高度な技法が必要なこともある。
記法

普通の積分と良く似た記法を使うことが多い。しかし同じ広義積分に対する記法には以下のような種類がある： ∫ a ∞ f ( x ) d x := lim t → ∞ ∫ a t f ( x ) d x {\displaystyle \int _{a}^{\infty }f(x)\,dx\,:=\lim _{t\to \infty }\int _{a}^{t}f(x)\,dx\,} ∫ − ∞ b f ( x ) d x := lim t → − ∞ ∫ t b f ( x ) d x {\displaystyle \int _{-\infty }^{b}f(x)\,dx\,:=\lim _{t\to -\infty }\int _{t}^{b}f(x)\,dx\,} ∫ − ∞ ∞ f ( x ) d x := lim t → − ∞ ∫ t a f ( x ) d x + lim t → ∞ ∫ a t f ( x ) d x {\displaystyle \int _{-\infty }^{\infty }f(x)\,dx\,:=\lim _{t\to -\infty }\int _{t}^{a}f(x)\,dx\,+\lim _{t\to \infty }\int _{a}^{t}f(x)\,dx\,} ∫ a b f ( x ) d x := lim t → b − ∫ a t f ( x ) d x {\displaystyle \int _{a}^{b}f(x)\,dx\,:=\lim _{t\to b^{-}}\int _{a}^{t}f(x)\,dx} 、ここで lim x → b − 。 f ( x ) 。 = ∞ {\displaystyle \lim _{x\to b^{-}}|f(x)|=\infty } ∫ a b f ( x ) d x := lim t → a + ∫ t b f ( x ) d x {\displaystyle \int _{a}^{b}f(x)\,dx\,:=\lim _{t\to a^{+}}\int _{t}^{b}f(x)\,dx} 、ここで lim x → a + 。 f ( x ) 。 = ∞ {\displaystyle \lim _{x\to a^{+}}|f(x)|=\infty } ∫ a b f ( x ) d x := lim t → c − ∫ a t f ( x ) d x + lim t → c + ∫ t b f ( x ) d x {\displaystyle \int _{a}^{b}f(x)\,dx\,:=\lim _{t\to c^{-}}\int _{a}^{t}f(x)\,dx\,+\lim _{t\to c^{+}}\int _{t}^{b}f(x)\,dx} 、ここで lim x → c 。 f ( x ) 。 = ∞ {\displaystyle \lim _{x\to c}|f(x)|=\infty }
定義に関する注意被積分関数が発散している広義積分無限の領域上に渡る広義積分

場合によっては、次の積分 ∫ a c f ( x ) d x {\displaystyle \int _{a}^{c}f(x)\,dx\,}

は、次の極限の存在を抜きにして定義できる： lim b → c − ∫ a b f ( x ) d x {\displaystyle \lim _{b\to c^{-}}\int _{a}^{b}f(x)\,dx\,} .