设 $\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. .net 网站开发学习资源

    慕课网 前端基础学习 http://www.imooc.com/course/list?c=fe 了解需求 例子之一 http://wenku.it168.com/d_000517899.shtml ...

  2. cf div2 234 E

    E. Inna and Binary Logic time limit per test 3 seconds memory limit per test 256 megabytes input sta ...

  3. bc

    调试脚本报错bc: command not found 原因是因为这个linux环境里没有安装计算器工具bc 用 apt-get install bc 或者 yum -y install bc 安装后 ...

  4. (转)matlab 字符串处理函数

    转自:http://www.cnblogs.com/emanlee/archive/2012/09/13/2683912.html % 字符串处理 a='  a';b='b  b';c='cccc'; ...

  5. 通过向日葵(或者TeamViewer)创建VPN

    1.向日葵软件的安装比较简单.主要要开启VPN服务. 2.向日葵管理界面,添加机器. 3.组网. 4.作为VPN服务端机器(内网机器)安装传入的连接 5.外网客户端机器 一.登录向日葵客户端 一般使用 ...

  6. 亲测可用,iptables实现NAT转发。

    环境 服务器A:192.168.1.7 服务器B: 192.168.1.160 需求 实现将本机(192.168.1.7:7410)端口流量转发给(192.168.1.160:9200). 1. 内核 ...

  7. WEB 实时推送技术的总结

    前言 随着 Web 的发展,用户对于 Web 的实时推送要求也越来越高 ,比如,工业运行监控.Web 在线通讯.即时报价系统.在线游戏等,都需要将后台发生的变化主动地.实时地传送到浏览器端,而不需要用 ...

  8. 【Idea】Intellij Idea debug 模式如果发现异常,即添加异常断点在发生异常处

    前用eclipse的时候,可以根据所抛出的异常进行调试,比如:出现了空指针异常,我想知道是哪一行抛出的,在eclipse中我只需在debug模式下把空指针异常这个名字设置进去,当遇到空指针异常时,ec ...

  9. linux系统常用运维命令

    目录/文件处理命令 mkdir dirname         创建文件夹 mkdir -p /tmp/a/b         递归创建目录 rm -rf dirname         删除目录及内 ...

  10. [转]perftools查看堆外内存并解决hbase内存溢出

    最近线上运行的hbase发现分配了16g内存,但是实际使用了22g,堆外内存达到6g.感觉非常诡异.堆外内存用一般的工具很难查看,可以通过google-perftools来跟踪: http://cod ...