多值半流理论及其在三维Navier-Stokes方程中的应用.pdfVIP

2009年l2月 纯粹数学与应用数学 Dee．2009 第25卷 第4期 PureandAppliedMathematics Vb1．25NO．4 多值半流理论及其在三维Navier．Stokes 方程 中的应用 宋雪丽 ，一，侯延仁 (1．西安交通大学理学院，陕西 西安 710049；2．西安科技大学理学院，陕西 西安 710054) 摘要：利用多值半流方法研究三维有界区域iNavier—Stokes方程的全局吸引子，证得了 多值半流的一些性质，并将这些性质应用于三维Navier—Stokes方程，得出了弱解的几种 全局吸引子．从而表明在三维情形，通过多值半流来研究Navier—Stokes方程的全局吸引 子是可行 的． 关键词：Navier—Stokes方程；多值半流；吸引子 中图分类号：O175．4 文献标识码：A 文章编号：1008—5513(2009)04-0737-06 1 引言 Banach空间中的非线性算子半群理论是研究无穷维动力系统的定性行为的重要的数学工 具．应用这种理论，在过去几年 中，得到了关于发展微分方程的吸引子的许多结论 1【-2】．然而，这 种理论不能应用到解不唯一的一类初．边值问题，例如三维Navier-Stokes方程．为了对诸如这类 的微分方程系统进行定性分析，将一般的半群理论拓展到多值半群理论是非常必要的．为此，产 生了多值动力系统理论． 目前，多值动力系统理论已经被应用到一些发展方程中去3[_41．1998年，Melnik[3】定义了多 值半流理论，并将其应用到某类微分包含动力系统中，这类动力系统当初值给定时解不唯一．二 维Navier—Stokes方程的全局吸引子的存在性无论是在有界还是无界区域上、 自治还是非 自治 情形都已经得到解决5【-6]．近几年，有一些关于三维Navier．Stokes方程的弱解的渐进行为的研 究[7-1o]．三维情形有两个困难需要克服，一方面，尚不清楚三维Navier—Stokes方程的弱解是否唯 一；另一方面，也是主要 问题，即缺乏弱解关于时间的连续性，直至现在，只证明了弱解在相空间 的弱拓扑下关于时间连续． 本文介绍了多值半流的基本概念，更进一步地讨论了多值半流的一些具体性质，并利用这 些性质讨论 了三维有界区域上 自治Navier—Stokes方程 的几个全局吸引子． 2 多值半流的基本概念 设 是一个完备的度量空间．+= 0【，+。。)，P()，()， ()分别表示 的所有非空、 非空有界、非空闭集． 收稿 日期：2008．03．31． 基金项 目：国家自然科学基~． 作者简介：宋雪丽(1979一)，博士生，讲师，研究方向：无穷维动力系统 738 纯粹数学与应用数学 第25卷 定义 2．13【】 映射G：R+×X— P()称为是一个多值半流，若下列条件成立： (1)a(o，．)= 是恒等映射； (2)G(h+t2，)cG(tl，G(t2，))，V ∈X，V1，t2∈Ⅱ ． 记G(t，B)=U∈BG(t，)，BcX．更近一步，若G(tz，G(t2，))ca(tx+t2，)，则称G为严格多 值半流． 对每个MCX，记付(M)=Ur_tG(r，M)，+(M)=付(M)：Uzoa(r，M)，对任一有界 集BCX，定义JE}的 极限集为 (B)=Nt．0付B=AtoUtG(T，B)． 引理 2．1【)集合 (B)由所有收敛序列{)的极限组成，这里 ∈a(t，B)，t一 。。． 定义 2．2[3J 若t 。o时，dist(G(t，B)，A) 0，则称ACX吸引B．M称为是G的吸引集 若M吸引X中的每个有界集B． 定义 2．3131称集合 为多值半流a(t，．)的一个全局吸引子，若它满足下列条件： (1) 是负一半不变集，即ACG(t，)，Vt∈R+； (2) 吸引每个有界集BcX，即vB ∈ ()，有