设 $\scrX$, $\scrY$ 是 Hilbert 空间, $T\in \scrL(\scrX,\scrY)$, $y_0\in\scrY$, $\alpha>0$. 则 Tikhonov 泛函 $$\bee\label{T} J_\alpha(x)=\sen{Tx-y_0}^2+\alpha\sen{x}^2\quad \sex{x\in \scrX} \eee$$存在唯一最小解 $x^\alpha\in \scrX$, 且 $x^\alpha$ 适合 Euler-Lagrange 方程 $$\bee\label{E} \sex{\alpha I_\scrX+T^*T}x^\alpha=T^*y_0. \eee$$

证明:

(1)首先说明 \eqref{E} 是可唯一求解的. 这是 Lax-Milgram 定理的直接推论. 事实上, 由线性有界算子 $\alpha I_x+T^*T$ 决定的 $\scrX$ 上的共轭双线性泛函 $a(\cdot,\cdot)$ 是

  (a)有界 (bounded) 的: $$\bex \sev{a(x_1,x_2)}= \sev{\sef{\alpha x_1+T^*Tx_1,x_2}} \leq \sex{\alpha+\sen{T}^2}\sen{x_1}\sen{x_2}; \eex$$

  (b)强制 (coercive) 的: $$\bex a(x,x)=\sef{\alpha x+T^*Tx,x}\geq \alpha\sen{x}^2. \eex$$

(2)其次说明 $$\bex x\in \scrX-\sed{x^\alpha}\ra J_\alpha(x)>J_\alpha(x^\alpha). \eex$$ 实际上, 令 $v^\alpha=x-x^\alpha\neq 0$, 有 $$\bex J_\alpha(x)&=&J\sex{v^\alpha+x^\alpha}\\ &=&\sen{T\sex{v^\alpha+x^\alpha}-y}^2 +\alpha\sen{v^\alpha+x^\alpha}^2\\ &=&\sen{Tv^\alpha}^2 +\sef{Tv^\alpha,Tx^\alpha-y_0} +\sef{Tx^\alpha-y_0,Tv^\alpha} +\sen{Tx^\alpha-y_0}^2\\ & &+\alpha\sen{v^\alpha}^2 +\alpha\sef{v^\alpha,x^\alpha} +\alpha\sef{x^\alpha,v^\alpha} +\alpha\sen{x^\alpha}^2\\ &=&\sen{Tv^\alpha}^2+\alpha\sen{v^\alpha}^2\\ & &+\sef{v^\alpha,T^*\sex{Tx^\alpha-y_0}+\alpha x^\alpha} +\sef{v^\alpha,T^*\sex{Tx^\alpha-y_0}+\alpha x^\alpha}\\ & &+\sen{Tx^\alpha-y_0}^2+\alpha\sen{x^\alpha}^2\\ &=&\sen{Tv^\alpha}^2+\alpha\sen{v^\alpha}^2+J_\alpha(x^\alpha)\\ &>&J_\alpha(x^\alpha). \eex$$

[家里蹲大学数学杂志]第056期Tikhonov 泛函的变分的更多相关文章

  1. [家里蹲大学数学杂志]第033期稳态可压Navier-Stokes方程弱解的存在性

    1. 方程  考虑 $\bbR^3$ 中有界区域 $\Omega$ 上如下的稳态流动: $$\bee\label{eq} \left\{\ba{ll} \Div(\varrho\bbu)=0,\\ \ ...

  2. [家里蹲大学数学杂志]第047期18 世纪法国数学界的3L

    1 Lagrange---78岁 约瑟夫·拉格朗日, 全名约瑟夫·路易斯·拉格朗日 (Joseph-Louis Lagrange 1735~1813) 法国数学家.物理学家. 1736年1月25日生于 ...

  3. [家里蹲大学数学杂志]第237期Euler公式的美

    1 Euler 公式 $e^{i\pi}+1=0$ (1) 它把 a.  $e:$ 自然对数的底 $\approx 2. 718281828459$ (数分) b.  $i$: 虚数单位 $=\sqr ...

  4. [家里蹲大学数学杂志]第013期2010年西安偏微分方程暑期班试题---NSE,非线性椭圆,平均曲率流,非线性守恒律,拟微分算子

    Navier-Stokes equations 1 Let $\omega$ be a domain in $\bbR^3$, complement of a compact set $\mathca ...

  5. [家里蹲大学数学杂志]第041期中山大学数计学院 2008 级数学与应用数学专业《泛函分析》期末考试试题 A

    1 ( 10 分 ) 设 $\mathcal{X}$ 是 Banach 空间, $f$ 是 $\mathcal{X}$ 上的线性泛函. 求证: $f\in \mathcal{L}(\mathcal{X ...

  6. [家里蹲大学数学杂志]第049期2011年广州偏微分方程暑期班试题---随机PDE-可压NS-几何

    随机偏微分方程 Throughout this section, let $(\Omega, \calF, \calF_t,\ P)$ be a complete filtered probabili ...

  7. [家里蹲大学数学杂志]第053期Legendre变换

    $\bf 题目$. 设 $\calX$ 是一个 $B$ 空间, $f:\calX\to \overline{\bbR}\sex{\equiv \bbR\cap\sed{\infty}}$ 是连续的凸泛 ...

  8. [家里蹲大学数学杂志]第235期$L^p$ 调和函数恒为零

    设 $u$ 是 $\bbR^n$ 上的调和函数, 且 $$\bex \sen{u}_{L^p}=\sex{\int_{\bbR^n}|u(y)|^p\rd y}^{1/p}<\infty. \e ...

  9. [家里蹲大学数学杂志]第269期韩青编《A Basic Course in Partial Differential Equations》 前五章习题解答

    1.Introduction 2.First-order Differential Equations Exercise2.1. Find solutons of the following inti ...

随机推荐

  1. ajax 中一些常用的操作

    $.post.$.get是一些简单的方法,如果要处理复杂的逻辑,还是需要用到jQuery.ajax() 一.$.ajax的一般格式$.ajax({ type: 'POST', url: url , d ...

  2. 【emWin】例程五:显示数值

    实验指导书及代码包下载: 链接:http://pan.baidu.com/s/1pLexsAf密码:p0jf 实验现象:

  3. 学习bootstrap遇到的问题--001 关于bootstrap中类.disabled不禁用默认行为

    自学bootstrap遇到的疑惑篇: 按钮状态--禁用 在Bootstrap框架中,要禁用按钮有两种实现方式: 方法1:在标签中添加disabled属性 方法2:在元素标签中添加类名"dis ...

  4. 转一篇关于Unity的PlayMaker

    这篇文章转自http://va.lent.in/should-you-use-playmaker-in-production/ 此文作者大概深受其苦,吐槽了playmaker的多个蛋疼的地方,这其实说 ...

  5. jdk安装配置具体分析

    JDK 选择安装目录 安装过程中会出现两次 安装提示 .第一次是安装 jdk ,第二次是安装 jre .建议两个都安装在同一个java文件夹中的不同文件夹中.(不能都安装在java文件夹的根目录下,j ...

  6. MSIL指令集

    名称 说明 Add 将两个值相加并将结果推送到计算堆栈上. Add.Ovf 将两个整数相加,执行溢出检查,并且将结果推送到计算堆栈上. Add.Ovf.Un 将两个无符号整数值相加,执行溢出检查,并且 ...

  7. Ubuntu中、英文环境设置

    改变ubuntu的中英文显示需要修改文件/etc/default/locale,具体设置过程为: 1.打开/etc/default/locale文件 #sudo vim /etc/default/lo ...

  8. struts采用JavaServlet/JSP技术,实现了基于Java EEWeb应用的MVC设计模式的应用框架

    今天我用Ecipse搭建Struts框架,并且使用Struts框架编写一个最简单的例子,相信读者能够很容易的明白. Struts是当今Java比较流行的三大框架之一,三大框架是Struts,sprin ...

  9. Win7/Win8 系统下安装Oracle 10g 提示“程序异常终止,发生未知错误”的解决方法

    我的Oracle 10g版本是10.2.0.1.0,(10.1同理)选择高级安装,提示“程序异常终止,发生未知错误”. 1.修改Oracle 10G\database\stage\prereq\db\ ...

  10. 前端框架framework和库library的一点区别和记录

    本篇纯文字,无关代码,只是一点概念的记录 关于所谓前端 首先学的是HTML5.CSS3.JavaScript这三个 之后接触了一下UI框架,如layui和bootstrap 目前是打算去学VUE和an ...