数学中，狄利克雷问题（Dirichlet problem）是寻找一个函数，使其为给定区域内一个指定的偏微分方程（PDE）的解，且在边界上取预定值。
对许多偏微分方程，狄利克雷问题都可解，但最初是对拉普拉斯方程提出来的。在这种情形下问题可如下表述：

给定定义在Rn中一个区域的边界上一个函数f，是否存在惟一连续函数u在内部两次连续可微，在边界上连续，使得u在内部调和并在边界上u = f？
这个条件称为狄利克雷边界条件。最主要的问题是证明解的存在性，因唯一性可利用Maximum principle证明。


历史 狄利克雷问题以勒热纳·狄利克雷命名，他利用变分方法提出了一个解决办法，这便是狄利克雷原理。唯一解的存在性由物理分析似乎很有理：边界上任何电荷分布，由静电学定律，将确定一个电势做为一个解。
但魏尔斯特拉斯发现了狄利克雷证明的一个漏洞，存在性严格的证明直到1900年才由希尔伯特给出。结论是解的存在性微妙地依赖于边界与预定值的光滑性。


一般解 对具有足够光滑边界
  
    
      
        ∂
        D
      
    
    {\displaystyle \partial D}
  
一个区域
  
    
      
        D
      
    
    {\displaystyle D}
  
，狄利克雷问题的一般解由

  
    
      
        u
        (
        x
        )
        =
        
          ∫
          
            ∂
            D
          
        
        ν
        (
        s
        )
        
          
            
              ∂
              G
              (
              x
              ,
              s
              )
            
            
              ∂
              n
            
          
        
        d
        s
        
      
    
    {\displaystyle u(x)=\int _{\partial D}\nu (s){\frac {\partial G(x,s)}{\partial n}}ds\,}
  

给出，这里
  
    
      
        G
        (
        x
        ,
        y
        )
      
    
    {\displaystyle G(x,y)}
  
是这个偏微分方程的格林函数，而

  
    
      
        
          
            
              ∂
              G
              (
              x
              ,
              s
              )
            
            
              ∂
              n
            
          
        
        =
        
          
            
              n
              ^
            
          
        
        ⋅
        
          ∇
          
            s
          
        
        G
        (
        x
        ,
        s
        )
        =
        
          ∑
          
            i
          
        
        
          n
          
            i
          
        
        
          
            
              ∂
              G
              (
              x
              ,
              s
              )
            
            
              ∂
              
                s
                
                  i
                
              
            
          
        
        
      
    
    {\displaystyle {\frac {\partial G(x,s)}{\partial n}}={\widehat {n}}\cdot \nabla _{s}G(x,s)=\sum _{i}n_{i}{\frac {\partial G(x,s)}{\partial s_{i}}}\,}
  

是格林函数沿着内单位法向
  
    
      
        
          
            
              n
              ^
            
          
        
      
    
    {\displaystyle {\widehat {n}}}
  
的导数。在边界上对测度
  
    
      
        d
        s
      
    
    {\displaystyle ds}
  
进行积分。函数
  
    
      
        ν
        (
        s
        )
      
    
    {\displaystyle \nu (s)}
  
由第二类弗里德霍姆积分方程的惟一解给出

  
    
      
        f
        (
        x
        )
        =
        −
        
          
            
              ν
              (
              x
              )
            
            2
          
        
        +
        
          ∫
          
            ∂
            D
          
        
        ν
        (
        s
        )
        
          
            
              ∂
              G
              (
              x
              ,
              s
              )
            
            
              ∂
              n
            
          
        
        d
        s
        .
        
      
    
    {\displaystyle f(x)=-{\frac {\nu (x)}{2}}+\int _{\partial D}\nu (s){\frac {\partial G(x,s)}{\partial n}}ds.\,}
  

上一个积分中的格林函数在边界上为零：

  
    
      
        G
        (
        x
        ,
        s
        )
        =
        0
      
    
    {\displaystyle G(x,s)=0}
  
对
  
    
      
        s
        ∈
        ∂
        D
      
    
    {\displaystyle s\in \partial D}
  
与
  
    
      
        x
        ∈
        D
      
    
    {\displaystyle x\in D}
  
。
这样的格林函数通常是自由域格林函数与一个微分方程的调和解之和。


= 存在性 =
调和函数的狄利克雷问题总有解，当边界足够光滑且
  
    
      
        f
        (
        s
        )
      
    
    {\displaystyle f(s)}
  
连续则解是惟一的。更准确地说，当

  
    
      
        ∂
        D
        ∈
        
          C
          
            (
            1
            ,
            α
            )
          
        
        ,
        
      
    
    {\displaystyle \partial D\in C^{(1,\alpha )},\,}
  
对
  
    
      
        0
        <
        α
        ,
        
      
    
    {\displaystyle 0<\alpha ,\,}
  

时有解。这里
  
    
      
        
          C
          
            (
            1
            ,
            α
            )
          
        
      
    
    {\displaystyle C^{(1,\alpha )}}
  
表示赫尔德条件。


例子：二维单位圆盘 在一些简单情形狄利克雷问题可以明确地解出来。例如对R2中单位圆盘的狄利克雷问题的解由泊松积分公式给出。
如果
  
    
      
        f
      
    
    {\displaystyle f}
  
是单位圆盘
  
    
      
        D
      
    
    {\displaystyle D}
  
的边界
  
    
      
        ∂
        D
      
    
    {\displaystyle \partial D}
  
上一个连续函数，则狄利克雷问题的解
  
    
      
        u
        (
        z
        )
      
    
    {\displaystyle u(z)}
  
由积分给出：

解
  
    
      
        u
      
    
    {\displaystyle u}
  
在闭单位圆盘
  
    
      
        
          
            
              D
              ¯
            
          
        
      
    
    {\displaystyle {\bar {D}}}
  
上连续在
  
    
      
        D
      
    
    {\displaystyle D}
  
内调和。
被积函数称为泊松核；这个解由二维格林函数导出：

  
    
      
        G
        (
        z
        ,
        x
        )
        =
        −
        
          
            1
            
              2
              π
            
          
        
        log
        ⁡
        |
        z
        −
        x
        |
        +
        γ
        (
        z
        ,
        x
        )
      
    
    {\displaystyle G(z,x)=-{\frac {1}{2\pi }}\log \vert z-x\vert +\gamma (z,x)}
  

这里
  
    
      
        γ
        (
        z
        ,
        x
        )
      
    
    {\displaystyle \gamma (z,x)}
  
调和

  
    
      
        
          Δ
          
            x
          
        
        γ
        (
        z
        ,
        x
        )
        =
        0
        ,
        
      
    
    {\displaystyle \Delta _{x}\gamma (z,x)=0,\,}
  

并使得对
  
    
      
        x
        ∈
        ∂
        D
      
    
    {\displaystyle x\in \partial D}
  
有
  
    
      
        G
        (
        z
        ,
        x
        )
        =
        0
      
    
    {\displaystyle G(z,x)=0}
  
。


推广 狄利克雷问题是典型的椭圆型微分方程、位势论和拉普拉斯方程。其他例子包括双调和方程以及弹性理论中相关方程。
狄利克雷问题是在边界上给出信息的偏微分方程问题中一类，其他类型包括诺伊曼问题和柯西问题。


参考文献 A. Yanushauskas, Dirichlet problem, Hazewinkel, Michiel  (编), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 
S. G. Krantz, The Dirichlet Problem.  §7.3.3 in Handbook of Complex Variables. Boston, MA: Birkhauser, p. 93, 1999. ISBN 0-8176-4011-8.
S. Axler, P. Gorkin, K. Voss, The Dirichlet problem on quadratic surfaces （页面存档备份，存于互联网档案馆） Mathematics of Computation 73 (2004), 637-651.


外部链接 埃里克·韦斯坦因. Dirichlet Problem. MathWorld. 
Dirichlet Problem Module by John H. Mathews