[论文解读] Second Order Operators Subject to Dirichlet Boundary Conditions in Weighted Triebel-Lizorkin Spaces: Parabolic Problems

Nick Lindemulder|arXiv (Cornell University)|Dec 13, 2018

Advanced Harmonic Analysis Research参考文献 35被引用 6

一句话总结

该论文在光滑区域上的加权齐次Triebel-Lizorkin空间中，为具有非齐次Dirichlet边界条件的二阶抛物型PDE建立了$L_q$-最大正则性。通过在时间和空间中采用幂权，实现了对初始-边界数据的最优正则性，且无需满足相容性条件，从而可通过平滑效应处理粗糙边界数据。

ABSTRACT

In this paper we consider second order parabolic partial differential equations subject to the Dirichlet boundary condition on smooth domains. We establish weighted $L_{q}$-maximal regularity in weighted Triebel-Lizorkin spaces for such parabolic problems with inhomogeneous boundary data. The weights that we consider are power weights in time and space, and yield flexibility in the optimal regularity of the initial-boundary data, allow to avoid compatibility conditions at the boundary and provide a smoothing effect. In particular, we can treat rough inhomogeneous boundary data.

研究动机与目标

• 在加权Triebel-Lizorkin空间中，为具有非齐次Dirichlet边界条件的二阶抛物型问题建立$L_q$-最大正则性。
• 通过在时间和空间中使用幂权，将最大正则性理论扩展至粗糙初始-边界数据。
• 通过利用加权函数空间，消除边界处对相容性条件的需求。
• 在混合范数加权设置下，提供一个确保数据空间与解空间之间同构关系的框架。
• 将先前关于$L_p$-最大正则性的结果推广至具有可变光滑性与权重的Triebel-Lizorkin空间更广的类。

提出的方法

• 利用具有幂权$w_\nu^{\text{dist}}(x) = \text{dist}(x,\partial\mathscr{O})^\nu$的加权Triebel-Lizorkin空间$F^s_{p,r}(\bullet, w_\nu^{\text{dist}})$，以建模可变光滑性与可积性。
• 应用二阶椭圆算子的$H^\infty$-演算技术，推导最大正则性结果。
• 在时间上采用混合范数加权$L_q$-空间，权重为$v_\mu(t) = t^\mu$，$\mu \in (-1, q-1)$，以控制时间正则性与初始数据行为。
• 建立迹算子$\mathrm{Tr}_{\partial\mathscr{O}}$作为从解空间到迹空间的有界线性映射，从而实现对边界数据的控制。
• 推导嵌入结果，表明通过微观改进，解在更高阶加权Sobolev空间中获得正则性。
• 利用谱参数$\lambda_0$在不同光滑性与权重参数下保持独立的特性，统一跨尺度的估计。

实验结果

研究问题

• RQ1 能否在加权Triebel-Lizorkin空间中为具有非齐次Dirichlet边界条件的抛物型问题建立$L_q$-最大正则性？
• RQ2 时间与空间中的幂权如何影响初始-边界数据与解空间的正则性？
• RQ3 在最大正则性理论中，使用加权空间在多大程度上可以避免边界的相容性条件？
• RQ4 解所属的精确迹空间是什么？它与数据空间有何关系？
• RQ5 解空间能否嵌入到更高阶加权Sobolev空间中，从而表明存在平滑效应？

主要发现

• 该论文在具有幂权的加权Triebel-Lizorkin空间中为抛物型问题建立了$L_q$-最大正则性，确保了数据空间与解空间之间的拓扑同构。
• 对于热方程，迹算子$u \mapsto u|_{\partial\mathscr{O}}$是从解空间到${{ }_0B^\delta_{p,p}}(J; L_p(\partial\mathscr{O})) \cap L_p(J; B^{2\delta}_{p,p}(\partial\mathscr{O}))$的同构，其中$\delta = 1 - \frac{1+\gamma}{2p} \in (0,1)$。
• 解空间嵌入到$\bigcap_{\mu > -1} \left[ W^1_q(J, v_\mu; F^{s + \frac{\mu - \gamma}{p}}_{p,1,\mu}(\mathscr{O})) \cap L_q(J, v_\mu; F^{s + \frac{\mu - \gamma}{p} + 2}_{p,1,\mu}(\mathscr{O})) \right]$，表明在不同权重下正则性得到提升。
• 解在更高阶加权Sobolev空间中获得正则性：$\bigcap_{k \in \mathbb{N}} \left[ W^1_q(J, v_\mu; W^{k}_p(\mathscr{O}, w_{\gamma + (k-s)p}^{\partial\mathscr{O}})) \cap L_q(J, v_\mu; W^{k+2}_p(\mathscr{O}, w_{\gamma + (k-s)p}^{\partial\mathscr{O}})) \right]$，表明存在平滑效应。
• 结果对无限时间区间$J = \mathbb{R}$与有限区间$J = (0,T)$均成立，有限情况下$\lambda_0 = -\infty$亦可成立。
• 通过选择适当的权重，该框架可处理粗糙的非齐次边界数据，且无需满足相容性条件。