一类具有切向边界的无散度多小波.pdfVIP

第 32卷 第 3期 广西师范大学学报 ：自然科学版 VoI．32 NO．3 2014年 9月 JournalofGuangxiNormalUniversity：NaturalScienceEdition Sept．2014 一 类具有切 向边界的无散度多小波 蒋英春 ，孙青青 (桂林 电子科技大学 数学与计算科 学学 院，广西 桂林 541004) 摘 要 ：具有切 向边界的无散度小波在 向量场的数值模拟 中扮演着重要 的角色．鉴于 Hardin—Marasovich小波 函数的零边值性质和简单结构，主要研究一类利用 Hardin—Marasovich小波函数构造的具有切 向边界的三维 各 向同性无散度 多小波 。首先 ，基于 Hardin—Marasovich小波 函数 的微分关系 ，证 明了具有切向边界的无散 度 向量场在对应 的向量尺度空 间上 的双正交投影还是无散度 的。其次 ，利用无散度 空 间的刻画给 出了各 向 同性无散度尺度 函数 的定义，并证 明对应的无散度尺度 函数空间构成 了一个无散度多尺度分析 。最后 ，定义 各 向同性无散度多小波 ，给 出切 向边界无散度 向量在无散度小波基下分解系数与经典小波基下分解系数 的 关系，从而说 明无散度 向量 的小波分解系数可快速计算 。 关键词 ：无散度 ；多小波 ；切 向边界；各 向同性 中图分类号 ：O174．2 文献标识码 ：A 文章编号 ：1oO1-6600(2014)03—0046—06 0 引言 鉴于无散度小波在流体向量速度场数值模拟中的重要作用 ，无散度小波 的构造被广泛研究_l]．特别 地 ，由于Navier—Stokes方程 向量速度场满足切 向边界 ，有界区域上具有切 向边界的无散度小波引起 了人 们的极大兴趣 。文献[2]利用空间的正交分解构造了具有切 向边界的各向异性无散度小波 ，但是过程非常 复杂 ，而且基 函数并不具体 。文献E3]通过无散度空间的刻画研究了二维各向异性无散度小波的构造。文 献1-43将文献E33中的结果推广到三维 ，同时研究 了具有切向边界 的无散度和无旋度小波．各向异性小波在 函数空间的刻画中具有重要价值 ，但各向同性小波因其规则的支撑而更加适合于向量场的数值模拟。本 文主要研究一类利用 Hardin—Marasovich(简称 HM)小波函数构造的单位方体上具有切 向边界的各 向同 性无散度多小波 。我们对 Hardin-Marasovich函数感兴趣的原因是它在 [O，1]上的限制直接可以得到区 间上的小波函数 ，而不需要像文献[5—6]要求单独构造边界尺度和小波函数 。 1 预备知识 文献E73中给出的区间[o，1]上的HM 多尺度函数和小波 函数为 f2亍 ：(2z--k) Eo1]，i一 1，k一0，2 , q z‘’一I{22寺i((22一一是是))，，i一一11，，h一一1，，2，，……，，2一一11；；i一一2，，k一一0，，1，，……2一一11，， f2彳 ：(2j32--k)E0,1]，i一1，k一0，2 (z)一l{29， (2 --k)，i一1，2，走一1，2，…，2一1。 对偶为 z)一： )和 |_J )一： z)。这里 ，≥。，一 1 1 ， i一 是参数 。文献 收稿 日期 ：2O13一O9一l2 基金项 目：国家 自然科学基金资助项 目11161014) 通信联系人 ：蒋英春 (198o～)，女，山西应县人 ，桂林 电子科技大学副教授 ，博士 。E