渲染方程中的路径积分

路径追踪是第一个光线传输算法,并广泛应用于Realistic Rendering中。路径追踪将渲染方程的积分式转换成一个路径积分的形式,并且通过蒙特卡洛积分方法对每一项进行积分,从而得到一个统计上无偏的渲染结果。因为路径积分的无偏属性,路径积分也常常被用作为渲染的Ground Truth,用于对比其他的渲染方法。 渲染方程 要完全推导路径积分并且用代码表示路径积分的计算过程,我们需要从渲染方程入手。 首先需要明确的一点是,渲染的目标是计算最终进入眼睛(摄像机)的辐射亮度(Radiance),即单位面积,单位立体角上的光通量(辐射功率)。另外一个重要的概念是辐射照度,辐照度(Irradiance),即单位面积上光通量(辐射功率)。根据几何光学的线性假设,当光射到物体表面产生反射的时候,其反射方向的辐射亮度的微分,和入射方向上辐射照度的微分成线性关系。这两者比例常数由入射角ωi和反射角ωo和物体表面属性直接给出,我们把这个函数称之为BRDF(双向反射分布函数),f(p,ωi,ωo)。双向反射分布函数理解起来比较具有挑战性,一个简单的方法是将其辐照度和辐亮度类比为连续型概率的中的随机变量和累积概率函数,那么累积概率函数和随机变量的微分比值,即BRDF,就是概率密度函数。 dLo(p,ωo)=dE(p,ωi)=f(p,ωi,ωo)Li(p,ωi)cosθidωi 有了BRDF函数,我们就建立起了,对于物体表面上的一个点,点p,其反射的辐射亮度Lo(p,ωo)和入射的辐射亮度之间的关系,进一步的,如果我们考虑p上的自发光的辐射亮度Le(p,ωo),那我我们就可以建立起渲染方程 Lo(p,ωo)=Le(p,ωo)+f(p,ωi,ωo)Li(p,ωi)cosθidωi 如果我们只考虑不透明反射模型,而不考虑更复杂的折射和次表面反射,那么我们的积分范围即是围绕表面法线的半球积分。 方向积分形式和面积积分形式 从渲染方程中,对于Le项是相对简单的,我们可以从物体表面材质定义获得。对于积分项,我们则需要知道每个方向的Li。首先需要明确一点,在真空环境中,光在传播过程中,辐射亮度并不发生变化。对于Li项来说,其就等于它来自方向的点p的反射的辐射亮度。为了更好的表示这一点,我们用函数t(p,wi)=p表示。函数t指的是,从p点出发,沿着wi方向,第一个相交的点,即为p。由此,渲染方程可以改写为 Lo(p,ωo)=Le(p,ωo)+f(p,ωi,ωo)Lo(t(p,ωi),ωi)cosθidωi 然而我们无法显式定义函数t,于是上面这个式子就无法显式定义,对于上面函数的展开,则必然包含着一个关于函数t的递归项无法消除。这使得我们仅仅可能通过递归黎曼求和的形式得到积分结果,而无法使用诸如蒙特卡洛近似的方式进行数值上的快速拟合。 为了显式改写该函数,我们重新定义一些记号,用于方更方便阅读。 首先是反射的辐射量度和入射的辐射亮度。在光线传输过程中提到,对于真空来说,辐射亮度在传输过程中不发生变化。那么对于一个点的入射辐射亮度,即是其来自方向反射(或者自发光)的辐射亮度。于是我们是用L(p1,p0)记号替代LiLo,其表示点p1到点p0的辐射亮度。 同样的,BRDF方程记号我们也可以做相应的变化,我们使用f(p2,p1,p0)表示从点p2出发,击中表面点p1,发生反射到达p0的光路的BRDF。显然,该表达方式蕴涵了之前的立体角,从而在数学上是等价的。 经过上面两次记号的变化,在表达式上我们已经消除了立体角ω的存在,然而微分项dωi依然存在,我们需要将该微分项同样转换为关于点的表达式。由于 ω=Acosθd2 我们便将立体角的微分转换为对应顶点处的面积微分,为此,我们引入一个函数 G(p0,p1)=V(p0,p1)|cosθ0||cosθ1|||p0p1||2 其中函数V(p0,p1)为可见性函数,如果两个点相互可见,则V=1,否则V=0。 于是渲染方程可以改写为 ...

October 16, 2023 · Yiwei Gong

Rendering Equation

Presentation of Rendering Equation

July 12, 2020 · Yiwei Gong