Can you summarize the following document?
        
  如無特別說明,在本文中,以 表示非負實數,以 表示任意複數。

  在上面定義的約束條件下,通過分部積分,可以計算得遞迴關係: 以及反過來: 因為正常的formula_1函式定義為: 故有: 以及

  

  

  在最原始的定義式中,積分是沿著實軸進行的,故要求在 (,) 中, 運用上一小節裡面的關係式,可以用下式來進行解析延拓:  由比值審斂法可知,右邊的級數的收斂半徑是無窮大。  由魏爾斯特拉斯原理,下式中的函式,有時記作formula_11,是關於 和 的整函式。  因此下面的分解式  的確給出了下不完全伽瑪函式的一個解析延拓。其中前兩個因子給出了下不完全伽瑪函式的奇點(即=0 或 為非正整數),而後面的因子則給出了下不完全伽瑪函式的零點。

  下不完全伽瑪函式的多值性來自於因子 的多值性。如無特別說明,本文限制 的輻角絕對值小於 π。

  在選定了 的單值分支之後,下不完全伽瑪函式的積分定義式可以自然地拓展到 為任意複數的情形,只是此時該積分應該理解為複平面上的路徑積分,且積分路徑需避開單值分支間的割線。需注意的是此時仍然要求 的實部大於 0,否則積分不收斂。

  為正實數的情形,有定義式有:  為複數且不為非正整數的情形,可以證明:  後面的條件相當於要求 的實部為正值且輻角取主值。

  根據上面的討論,下不完全伽瑪函式有下列性質:

  

  當 為正實數, 為實部大於 0 的複數時,有定義顯然有: 由於伽瑪函式和下不完全伽瑪函式關於, 都至少是亞純函式,上式可以自然地作解析延拓,並以此作為上不完全伽瑪函式的定義。下不完全伽瑪函式的多值性自然地導致上不完全伽瑪函式的多值性,下面的討論基於主分支。  進一步地,由黎曼可去奇點原理,由於等號右邊在 取非正整數時的鄰域內有界,故作為 的函式,非正整數是上不完全伽瑪函式的可去奇點,可以通過對等號右邊取極限來定義非正整數時上不完全伽瑪函式的值。下面以 =0 為例來說明這種極限過程,其它情況可以類推得到。  事實上,在下不完全伽瑪函式的積分表示式中,將指數函式用其泰勒展開式代換,得到:  即,  上式實際上給出了 (,) 的一個級數表示,給定 後,由比值審斂法知上式的收斂半徑為無窮大。下面的討論將 換成 (≠0)。  上式等號右邊第二項當 =0 時有良好的定義,第一項在 →0 時的極限存在,故等號右邊於 →0 時的極限存在,並可以用它來定義等號左邊的值。  另一方面,由伽瑪函式的魏爾斯特拉斯無窮乘積表示有:  這樣就證明了 =0 的確是上不完全伽瑪函式的可去奇點。

  上不完全伽瑪函式的其它解析性質可以由下不完全伽瑪函式和(完全)伽瑪函式的解析性質得到。結果如下:  注意最後一條對一般的 並不成立。特別地,當 為負實數且不為整數時,Γ() 是實數,而 Γ(,0) 沒有定義。

  下面一組關係式都能夠由積分表示式直接得出,其中第三、四式中的函式是指數積分,第五、六式中的函式分別是餘誤差函式和誤差函式:

  上不完全伽瑪函式和下不完全伽瑪函式都可以用合流超幾何函式表示,詳見合流超幾何函式一文。

  由不完全伽瑪函式的積分表示式顯然有:  儘管積分表示式為保證收斂性要加上 的實部大於零的限制,但上式並沒有這種限制。這可以通過 的實部大於零時的對應表示式兩邊作解析延拓證明。  另一方面,不完全伽瑪函式對 的偏導數是 Meijer -函式的特例,事實上,定義  則有:  更一般地:  式中 (-1) 是下降階乘冪的 Pochhammer 記號。  事實上  利用上式和 Mellin 變換的性質,並作解析延拓,就可以得到上不完全伽瑪函式對參變數的高階偏導數的表示式。
在數學中,上不完全Γ函式和下不完全Γ函式是formula_1函式的推廣。它們的定義分別如下: 通過解析延拓可以將定義域拓展到 C×C (除去可數個奇點外),詳見下文。