在线时间 0 小时 最后登录 2010-9-10 注册时间 2010-1-22 听众数 3 收听数 0 能力 0 分 体力 35 点 威望 0 点 阅读权限 20 积分 14 相册 0 日志 0 记录 0 帖子 7 主题 1 精华 0 分享 0 好友 0
升级 9.47%
该用户从未签到
自我介绍 hi,我是mzszrj,我是一名大三的学生,专业是数学与应用数学。希望与大家一起成长,请多多指教。
虽然不是我写的,但我觉得很好,希望与大家分享。以下的内容转自校内:; r' P- x+ g% u E! Z; _
: N% z8 a1 F2 G 从计算数学的字面来看,应该与计算机有密切的联系,也强调
+ e' Q, d: M6 ~) \0 J 了实践对于计算数学的重要性。也许Parlett教授的一段话能
+ S' l$ I# @# a5 `4 C 最好地说明这个问题:! B, p% q4 |% S6 E
6 M0 B' g$ t0 I" n
How could someone as brilliant as von Neumann think- o( ^ r. G" Y1 j0 @) h$ n9 z
hard about a subject as mundane as triangular factoriz# z; ?- v% x( Q4 @! I
-ation of an invertible matrix and not perceive that,# }8 |/ Q! h, R; h7 P8 I
with suitable pivoting, the results are impressively
! O' S* S, `3 n6 ^5 M' R) E* y good? Partial answers can be suggested-lack of hands-on/ a3 d) y! f: g" F) x; p, J
experience, concentration on the inverse rather than on
+ D @9 \- y, V9 j5 u; o the solution of Ax = b -but I do not find them adequate.
6 m" l# c% Z" _: T% Y ?. N Why did Wilkinson keep the QR algorithm as a backup to a' n0 r: R7 v, l0 r) g' k
Laguerre-based method for the unsymmetric eigenproblem7 S6 v8 K7 ~2 C- v3 S
for at least two years after the appearance of QR? Why
; y( y0 z( K9 i$ i did more than 20 years pass before the properties of0 E4 a) W( ] y5 S) k/ m
the Lanczos algorithm were understood? I believe that
& q$ r1 H1 q& _0 A the explanation must involve the impediments to
, n+ ^% S# q ~4 s+ C2 X; { comprehension of the effects of finite-precision
C: p& t8 V- l+ J& M2 G arithmetic.(引自www.siam.org/siamnews/11-03/matrix.pdf ), F+ C3 z4 X2 F+ ^8 l5 Y
. h/ F; ?) L9 F8 @3 W 既然是计算数学专业的学生,就不能对自己领域内的专家不有所
; y7 L9 r9 R8 ~, K; b% n 了解。早些年华人在计算数学领域里面占有一席之地是因为冯康2 B5 s# ^) ~8 A) a
院士独立于西方,创立了有限元方法,而后又提出辛算法。这里" i" K, u% E6 ~0 t' {
只是列出几位比较年轻的华人计算数学专家,因为他们代表了当: C. O; O! {$ n+ a
前计算数学的研究热点,也反映华人对计算数学的发展的贡献。
- h' b& E. p! Q0 i( f 1 s3 i' D2 ^8 R" ^
侯一钊(加州理工), t6 [; O$ @6 Y
研究方向:计算流体力学、多尺度计算与模拟、多相流
8 t6 ^: k' M5 Y5 N" a6 G- H7 \ http://www.acm.caltech.edu/~hou/
+ P, Q$ K' a& h# R
& E" x. g: K) x3 Q 鄂维南(Princeton大学)
+ i( o3 G. r. {0 ?# J. m3 | 北京大学长江学者,研究方向:多尺度计算与模拟
7 N% `, G4 |9 l. ` http://ccse.pku.edu.cn/staff/weinane.htm 9 g1 C% |5 N7 j8 m
5 {, D6 Z/ J6 ~* l, V. A' l
包刚(Michigan州立大学)$ t& K! p7 Y( L
吉林大学长江学者,研究方向:光学与电磁场中的计算等
& V# P& F# P+ q! a5 W http://www.mth.msu.edu/~bao/
: g" f: W" @. o4 c6 }8 [" f( Z ! f$ H6 i4 Q( {& T) ]) ?
金石(Wisconsin大学)
0 s2 P+ l! b+ u) ^7 G6 D3 W 清华大学长江学者,研究方向:双曲守恒律、计算流体力学、
% ^6 G0 r( h" q8 t 动力学理论等
, W+ `+ K) X$ C. [ http://www.math.wisc.edu/~jin/
" A, Q M: u1 o% w$ D# N( u2 j # i& z k* F) L' g
汤涛(香港浸会大学)
* }- \: Q4 f& y. I; r: g" ?8 c$ L 中科院,研究方向:移动网格法等, _; m& p3 K& W/ b
http://www.math.hkbu.edu.hk/~ttang/
! Q" d0 l& c3 ^/ d4 Y1 n
2 O. s+ n, t, ?1 D9 Y& ], o 舒其望(Brown大学)
9 y U/ S7 G$ Q* \ 中科大长江学者,研究方向:计算流体力学、谱方法' T2 i; V4 E9 L# F+ S' D9 ?* A
http://www.dam.brown.edu/people/shu/home.html
! z7 E! P/ H5 k, B" G ! P. @+ E6 O: J& z v% k
陈汉夫(香港中文大学)
" E) j2 ]3 `% }1 F: h: Y9 m 研究方向:数值线性代数
, D t4 r p0 y& B( V http://www.math.cuhk.edu.hk/~rchan/
* r/ f1 l: i* R% n1 E0 Q O0 J0 k! ^5 C7 I, X4 V
许进超(Pennsylvania州立大学)
! A' {# S$ J) ]0 S% F 北京大学长江学者,研究方向:有限元、多重网格法) S+ A7 C; Q8 F3 Y# M4 q4 G
http://www.math.psu.edu/xu/ 6 \0 c; I: v3 K( V$ d
3 K7 k R& |; V( w 袁亚湘/ B, c* p; u' D( [8 u6 N5 W% c
中科院,研究方向为非线性最优化( j, a/ M8 J/ y! e1 ]5 [
http://lsec.cc.ac.cn/~yyx/ 3 w6 W% E" G1 ] q
3 i1 {' @9 F* W& N
张平文(北京大学)
4 i) H% a9 \& F; \4 l 北京大学长江学者,研究方向为复杂流体的模拟、多尺度计算与
' y* p3 O1 F6 r5 [+ t/ Q- g 模拟、移动网格法等
% ?4 C: C6 h# c# v http://www.math.pku.edu.cn/pzhang/index.html
. u6 ^2 g4 C" B3 Y$ b, {- e% G
6 a$ J. u" t5 G7 `" x0 w 陈志明(中科院)1 P- o0 q' U0 m; Y
研究方向:科学计算与数值分析,主要为有限元法# M, {5 V% I( O4 F% O, Z
http://lsec.cc.ac.cn/~zmchen/index-c.html 9 Z8 \. x# ^! x) L3 {( ]8 \
2 r0 b& n- O9 n1 k1 | 其他还有黄维章、吴宗敏、Xu Kun、程今等人也非常突出# Y0 _- c% ^( s- _# \6 D" n4 g
% n5 g6 I1 F6 m* L) P2 c# S/ N 作为计算数学专业的学生,经常阅读本专业中的主要杂志也许9 G/ _/ J% D0 t6 @
是颇有裨益的。1 j% v: ?( V# p5 ^! F& C! g4 J
理论:
6 O' c7 h9 G% D0 M 最好的基本是
6 ^5 r0 ~/ s/ m Mathematics of Computation8 O S3 O/ m6 L7 b3 p k
Numerische Mathematik
F1 D. b7 K4 U$ J. _) D SIAM Journal on Numerical Analysis: e+ y( G1 E! a3 z- r8 P
SIAM Journal on Matrix Analysis & Applications8 H7 X' l3 V, }% h2 h; O; c
SIAM Journal on Scientific Computing. B% A6 B8 z* l. Y ^
较好的有:3 K" c& V4 M: N. |& |4 h" l& |
BIT
. O( N( i! j6 V1 y, U IMA Journal of Numerical Analysis
' V, X: @+ E& R: E- ^! ~# q Advances in Computational Mathematics# i. \3 j& E, ^2 u/ w8 p* i% w
Inverse Problems
! {4 }" b5 Z* b+ @+ P- p$ b# |- q
! X, `1 c, r+ O; ]4 _ 还有应用性质的杂志:0 d$ w7 A5 }6 i( c
Journal of Computational Physics1 y- z* A2 r; _: f
International Journal for Numerical Methods in Engineering$ L6 ~8 p# |* n6 G0 p6 r" T& p3 {
Computer Methods in Applied Mechanics and Engineering
7 m' \4 o* u, r5 _7 m International Journal for Numerical Methods in Fluids+ ?( ?0 M& Y& m; D
Computers and Fluids
9 i7 ^$ n1 y$ J0 Z Computational Mechanics2 P- V% S. R3 w$ H
还有很多带有Computational字眼的其他学科的期刊:Journal of
) g) b3 L2 o3 v0 T. z Computational Chemistry,Computational Material Sciences9 U% Y* j3 l/ ~/ t' t+ Z# y% N8 q
也可以浏览。, r: z+ D3 C9 c6 x
2 ?7 A8 N# Y- H# `2 U6 A# a2 ?2 y# @
但是作为入门来说,大家的综述特别能帮助我们这些新人迅速把握8 H) h: i/ \- ~% r7 r
了解、把握一个领域,因而值得特别重视。这方面最好的是剑桥大
$ \% ?* e- B* |; a 学出版社出版的Acta Numerica连续出版物。Acta Numerica每年出; c* l, N, S1 {) _% J5 N: V k
版一本,作者均是该领域的顶尖人物。比如说最近几年水平集方法
$ D! d$ w5 [: K" _* ?) G' {. } 非常热门,05年就有一篇水平集方法创始人之一的Stanley Osher写" R# ]: S' G3 D9 a8 m5 V
的Level Set Method in Image Science。其他论题有:entropy/ h; P. L6 g& x& F5 O
stability (Tadmor E),radial basis function (Buhmann MD)等# r# I" C' X. d6 @1 g
等。该出版物我们学校没有订,不过可以从网上可以找到不少。我
; s5 z4 y; |3 } 这里大概也有二三十篇,可以提供上载。
/ ^" A/ Z* A7 S; C( ?; [
, e: u3 v, ] V. Q, I' b 另外一本就是SIAM Review。SIAM Review的每一期里面都有几篇文
" d7 [; T7 P. x# H 章关于计算数学的内容的,经常从实际问题引伸出计算的问题,或
( T: f' _' \) B& g0 f 者是介绍每一个领域的最新进展等。 SIAM News的每一期也有关于
8 y7 \, i( O5 j6 G; X; l' |2 }, r( Q 计算的有意思的短文,不妨浏览浏览。
: l' s o N# b) h: `4 t" r$ E
( V2 ~! I7 I$ r) G# }8 Z$ n 作为数学系的学生,无疑是需要读很多数学书。计算数学的书可以
9 L: E3 @% w) q K+ `5 X3 r0 t3 h 称得上是汗牛充栋。以前在系版上提到过几本。现在再补充一些。1 n& N: s% \4 I6 x% a K9 V. [
2 H4 x/ u4 a, C
微分方程数值解是计算数学中的核心论题。传统的方法有有限差分' i, w1 u) S# C$ z/ ^ E
法、有限元法、边界元法和谱方法。
3 ], K1 a5 I) i / Q2 a7 g2 R& J1 k: }7 T/ L
有限差分法想法最为简单,比较容易理解。李荣华的那本《微分方程/ ^' t- U s& g, y
数值解》就介绍了最基本的东西:收敛性、相容性和稳定性。
/ C( x0 \3 A) J6 p0 k Richtmeyer & Morton的《Difference Methods for Initial-Value
% F- D; x+ p2 j0 k/ n) H2 `0 x Problems》则是差分法方面的经典著作。R. LeVeque最近也有一本
& X2 |: u% l& T v: c7 c 《Finite Difference Method for Differential Equations》也很# ?+ R% H/ O; u7 A
有意思,介绍了差分方法的新的现代概念。LeVeque的书可以在他的' V4 r9 E ^: H/ Y% u
主页(http://www.amath.washington.edu/~rjl/ )上下载,他的另
0 r4 e+ F4 Z6 R8 O 外一本书《Numerical Methods for Conservation Laws》是守恒律) g" P( N& ^5 H& Q8 ]2 ?8 e
数值方法方面非常出色的著作。
) o& `) l. r) |' P5 l3 y. }2 n+ M
+ H" ?+ Q c4 ~4 a$ b$ Z, }; ? 有限元法方面自然是推荐使用Ciarlet的《The Finite Element Method
' j! T, J4 r* l9 W" X5 q/ G/ @ for Elliptic Problems》。这也是系里专业科的教材,另外Brenner9 T4 J# X- v% ?/ M! f" ]$ J. y
& Scott的《Mathematical Theory of the Finite Element3 D( m% f+ h1 U0 |! r+ _1 B
Method》据说也是不错的。
) J9 }) }6 Z1 t; J( Q9 k 6 O# C& `: z3 g3 I8 ~
谱方法对于规则区域上的问题往往是最为有效的方法。华东师大的& k6 y2 l3 y; [ A3 C8 _
郭本瑜教授在这方面做过很好的工作,他的《Spectral Methods V! B' c7 n3 |. w, m1 }- ^ h$ f; Z
and Their Applications》广受好评。Purdue大学的沈捷教授也有* }/ `/ U. `3 S
很出色的工作,他的一个讲义可从他的主页(http://www.math.purdue.edu/~shen/ - d6 s3 a3 e7 l1 ^
)* p, G2 L- {' g: _" y2 h
上下载,同时还有相关的Matlab和Fortran程序。谱方法方面最好的1 Z: W/ D: k; ?& S4 o+ e4 G
入门书为Trefethen的《Spectral Methods in Matlab》,其他的还0 [3 Z! T: l' f) S% o7 H
有Canuto等人的《Spectral Methods in Fluid Dynamics》,不过
: V7 S" l8 Q6 f8 C( J* g 不知道能不能再学校里找到。
9 f' H$ L) P# C0 } u% y8 i
3 r7 ?( b6 A, m5 F 除了上面这些方法之外,还有近年来比较热门的无网格方法,这些可 L6 a. ^! f+ p, o9 u5 ^+ [3 g/ S' h
以参考张雄和刘岩的《无网格方法》(清华大学出版社,2003,50¥)。
0 C" i- |, X( m + Q0 c. V- Z! ?+ b- d1 P! E
计算数学的主要工具是泛函分析。一般推荐的Yoshida的《Functional
; p' J2 v0 Z$ R* o- P1 Z Analysis》(有中译本:吉田耕作,《泛函分析》)或者Rudin的# g3 p+ j% X- q0 y
《Functional Analysis》。这两本书都是非常难的,但是也是非常* n4 z% B4 z9 A8 H
经典的书,可能当字典比较合适。但是,泛函分析里面重要的定理
4 N0 b! D! G v3 g& K5 n. z$ f* J 在计算里面并不见得特别有用,所以我们要甄别那些可能有用的东( W3 W8 `8 i( d" P+ |# ]0 W, c2 [
西,Sawyer的《数值泛函分析引论》也许是比较合适的入门读物。
5 q; g# T) n" q" T$ Z3 Y! A 这本书里面介绍了一些泛函分析概念的来由,如Holder不等式的导% u2 Q, k) r* A) e; p
出,也有泛函分析在计算数学中的应用,比如Kantorovich迭代收敛1 q9 d. v$ X& d5 t- F$ y
性准则的解释。张恭庆的《泛函分析》强调泛函分析的应用,里面
5 s. p3 \: Y# x2 i/ ~ 也有一些应用于数值计算的例子,比如Lax等价定理,值得读一下。7 \7 Z. t: g, A& }5 x, l# T/ s
3 E) Y, d4 t0 L8 ?3 d% R
计算数学还有其他许多重要的分枝,如矩阵计算、反问题、计算流& n9 l) V4 T9 X6 N" ]0 @1 X
体力学、最优化、逼近论等。由于这方面本人涉略甚少,这里也没) A" _* G8 m( ~& `% J2 r8 b, @) ]
有什么好说的了。希望计算数学这些方向的其他同许能补充上去。+ h7 f0 b" W u$ U1 I1 w
[3 z5 Z7 N% ~# b# O5 a2 O: f/ b 最后补充一句,订阅mailing list也是不错的,可以迅速获得关于$ ^! g' |5 Z, e e
计算数学会议、新出版文章等的信息。中文的推荐使用CAM,可在下
/ ?7 w4 M7 A: s% D* G: Q* k 面的网址注册
4 H. k# N/ V, m5 v http://www.math.hkbu.edu.hk/cam-net/indexcn.html * O/ k% H6 @- Y% u# c* e) a: h1 l+ g
英文的推荐订阅Clever Moler的NA Digest,可在下面的网址注册# S( j1 h* j) a- I5 Q- X& ~6 H
http://www.netlib.org/na-net / G( ?5 D& ?( ^& k6 p. A
8 v, i4 \% e- A' y
' g2 m3 z2 b- T+ ~! \
( M- ]3 E" Z& t 先订正一个错误:Sawyer的那本书的题目我
9 ?, S5 M$ m, R* r" h/ n 记错了,应该叫《数值泛函分析初览》,系资料室和图书馆7 c: q4 Y, a5 n3 {' z, y$ J. C
都有中译本的。
; t2 `$ p! q3 D+ d T* p! N" W& K
" E5 T% t8 R9 H. z; W 接下来介绍几本矩阵计算方面的书的。浙大的张振跃老师" c* O2 `1 k# _) Z
在这方面有很出色的工作,中科院的白中治,北京大学的徐
; s* [& N: X) {% k6 F 树方,复旦的魏益民和曹志浩,澳门大学的金小庆都是这方8 a$ k3 a6 {0 \+ {8 b) d4 b7 X
向的,还有复旦出去的柏兆俊。肯定还有许多学者在这方面1 }6 X8 ^- L6 Y( b6 g9 x; N
有很突出的工作,可惜我基本上没什么涉略,这里也不能列
0 N: \! a3 k" N( W+ |) G 出来。' g) i% c b& \
; c, f: c: t: X' d/ t 国外的大牛有Golub,很多这个方向的大家都是他的学生。0 o, w4 a3 L2 z
Kahan, James Demmel, Peter Stewart, L N Trefethen,9 _, K* ]1 w9 L: Z& O
Higham,这个名单可以列的很长,这些人是矩阵计算方面9 l5 U. J+ |4 T: X4 x4 u
的大家。
% }6 O; \$ y) z! i5 z , ]% m0 O0 i% r( z) P5 e# D
矩阵计算方面最经典的书应该是J H Wilkinson的《The: I# z# D5 G* P; k v
Algebraic Eigenvalue Problem》(有中译本,石钟慈等
/ d# A7 n- S- }: r% b6 c C9 @ 人译,《代数特征值问题》,科学出版社,学校图书馆有, s/ ?+ k3 r4 L: T1 u( v9 i' v) I
系里有英文版的)。这本书虽然老,但是据说读一下还是
5 }: |" V/ I& C T0 T 很有启发的。现在的经典是Golub和
8 t8 D' V( M5 M0 A: o van Loan的《Matrix Computation》(有中译本,袁亚湘译,
' v0 v f3 ~" Y9 q2 z' w& e 《矩阵计算》,科学出版社),英文版的电子版可以在网上
- w! I# V+ y7 n1 p( M2 [ 找到的。其他的书有Demmel的《Applied Numerical Linear
& s# o+ Z' v0 k- a" N$ Y! |" I I Algebra》,Trefethen & Bau 的
9 w1 R0 {0 m; c, f# {5 y2 n 《Numerical Linear Algebra》据说也是很好的。Yousef
2 Z2 P& l; p3 \/ l# P2 ?' I E% v Saad有两本书《Iterative methods for sparse systems》! i7 V: d8 Y- a$ d" s# I/ n
和《Numerical methods for large eigenvalue problems》,/ j8 w6 C2 Z0 R8 E
写的挺有意思的,在他的主页
9 m% r" c: e2 Z6 G3 t' |+ `( O (http://www-users.cs.umn.edu/~saad/ )8 @8 z0 Y8 E. ?$ `# P
上可以down。说到矩阵计算,还得提到Householder的一本老
3 E. W+ b, e0 d7 a! I I, w2 T# F* t 书,《The theory of matrices in numerical analysis》6 {1 {0 ~4 u+ V, O* P
(有中译本,系里中英文版的都有)。
0 s7 a' ?( M! D+ K; N% K- Z : w1 _7 c2 X/ }' ^) Q
LN Trefethen现在是剑桥大学的教授,他写的每一本书都很经典,2 y6 D* G& P+ o3 E! |0 g0 L
前面已经到过他的几本书了,《Spectral Method in Matlab》,
2 x; E3 G% m* S9 C+ z0 V: x 《Numerical Linear Algebra》,还有《Finite Difference
8 t1 `$ l3 P/ c6 p5 ?) ^& ` and Spectral methods》(在他的主页上可以
, f, ?0 [% I. b down,http://web.comlab.ox.ac.uk/oucl/work/nick.trefethen/ )1 v& ?) I A' }5 G0 |+ k" \( k1 s
。读他的书和文章感觉也是人生的一大享受。+ s7 A4 L M# l" {* q+ ]
9 Q6 N1 q/ v) q5 `6 E/ r& |
他在Cornell大学任教时,曾上过一门课,就是阅读数值计算的经
8 _2 K1 { J0 ~1 z: Q& r2 q( I b 典文献。为此他写过一个短文,列举了数值计算中的十三篇经典文
6 d; o4 N: W( l- F& b" a* `! C 献,也许对大家有点启发。. M: v# r7 }* n) M
2 p' C- l+ y' y1 u, ^. z
1. Cooley & Tukey (1965) the Fast Fourier Transform9 U+ ]- S/ j$ m" F; R4 B5 s q0 O
2. Courant, Friedrichs & Lewy (1928) finite difference methods for PDE! e* q* h& N% [
3. Householder (1958) QR factorization of matrices+ @; L, {# \$ u4 s) }" L
4. Curtiss & Hirschfelder (1952) stiffness of ODEs; BD formulas
0 g) x) G6 p- l5 g8 _$ H) L/ } 5. de Boor (1972) calculations with B-splines/ f3 G" F3 z8 l
6. Courant (1943) finite element methods for PDE; z# V A p* B! S. R
7. Golub & Kahan (1965) the singular value decomposition' |% C* n; G f4 R2 V4 p, u4 Q, C
8. Brandt (1977) multigrid algorithms H- @! L7 s/ I8 O1 E5 ?6 b; b1 u
9. Hestenes & Stiefel (1952) the conjugate gradient iteration3 w4 w3 ~0 ]+ d
10. Fletcher & Powell (1963)optimization via quasi-Newton updates
" ]' k' N; k6 Q+ Y! t% t 11. Wanner, Hairer & Norsett (1978) order stars and applications to ODE
0 U4 s5 C2 g2 |! D I: R 12. Karmarkar (1984)interior pt. methods for linear prog.3 h4 s/ }- k! W& K/ T
13. Greengard & Rokhlin (1987) multipole methods for particles
- h# ?1 M. z/ s( ~* c9 ]. C7 p - j6 `& M9 D- p6 K1 e8 Q
他的remark也很有意思,We were struck by how young many7 {6 D( {* W. W' ?" L P# T& {* y/ A
of the authors were when they wrote these **s (average
2 _* h! u& d- E% z" i age: 34), and by how short an influential ** can be% X5 Q2 E- n& a' T8 F% v5 o
(Householder: 3.3 pages, Cooley & Tukey: 4.4).这说明大家
" F3 z' O! N2 H" d, I$ P" U9 v 都还是很有希望的,呵呵。
3 k. l% a7 q3 v1 p0 k 6 h& f7 t! E, t0 R' D
* J% W. R+ v' `- N! S% J& \
反问题无疑是计算数学中最热门的方向之一。该方向现在有如下5 [; ]6 C; H- J i2 E
" w2 y. `$ i( m' @% _' D 几本杂志:Inverse Problems,Journal of Inverse and Ill-posed2 L6 x9 m% N0 l2 h8 C
" z2 R% n2 X! g9 c/ I3 \ Problems, Inverse Problems in Sciences and Engineering(以前
& r( i1 F) L& H + C$ j3 U& C4 f$ G* S0 d4 a
叫Inverse Problems in Engineering).第一本杂志最好,第二本杂9 }4 e! _8 @2 j% {. O9 S+ B0 u
- T( y' G) f: Y( {2 N2 @
志上面有很多苏联人的工作,第三本偏向于应用。在很多高档次的
& U5 z' d4 w4 T+ H 9 v( N* j/ Q6 J! E) \
杂志中都有反问题方面的文章,比如SIAM Journal on Numerical
; C9 w+ q- y% e; }, v2 `5 l" a
9 ]9 n5 ^* g. Z& K% } Analysis,SIAM Journal on Mathematical Analysis, SIAM) g9 b/ L6 a5 }$ B! R5 D
$ N7 y2 E4 f) Y/ R
Journal on Matrix Analysis and Applications,SIAM Journal on
8 F# v/ r# O! O5 k 4 f1 a: K+ d2 D# t
Scientific Computing上也有不少反问题方面的文章。
( O2 ^3 w9 H8 D5 n
}5 T$ }" A1 Y# r4 ~* [ 在国内做反问题做的最好的应该是复旦大学的程晋老师,他在反问! `% o. D, _) {+ c
( ~ |1 r q+ [/ H% Z 题的理论估计方面有不少工作,南京大学的金其年老师也有不少好
9 A4 ]6 o2 G, M+ O1 G, v! u# h : j4 O% [# ?1 ]' w2 p
的结果(很年轻!),哈工大有几个人是做应用方面的工作的(他- }0 `5 j/ |* n: z4 c
4 I4 `% E! b7 q4 g2 { 们的前校长就是做地球物理中的反问题的)。国际上知名的有HW
" E7 ?3 Z( E( ]9 \
6 y6 Z% t2 Z. e% f( M& g Engl(澳大利亚),Yamamoto(日本), Kress(德国), Martin
0 o; [" E1 h# ]+ ^9 ^ ; q8 ]2 [ h1 f
Hanke(德国), Isakov(美国)等。
6 Y+ k1 @; n- w8 \' x/ x + n( D7 J8 n) C& D# X/ k' M
反问题的一个重要特点就是与实际问题联系特别紧密,往往需要根3 A" M$ m' I) S. \
2 a8 w0 w! X5 T+ Z; V
据问题的特点设计专门的算法,这也是反问题的难点所在。很多应
4 T- y+ O$ c& T% n; m, F' X ' _8 x! r. ^( x3 E
用领域与反问题结合之后成为一个单独的研究领域,如EIT。
- Q" k( P: @, Q1 ` 9 J, P3 b7 @8 _: h& H
水平集方法应用于反问题似乎是当前反问题算法研究中的一个热点。明尼苏达大学2 U9 }, R7 f4 g
的Fadil Santosa最早将水平集方法应用于求解反问 v+ J3 {5 s/ N3 [" h! V( [
$ `/ O$ s) {0 K1 d" w. z 题,但是没有很大的反响。Engl的学生Martin Burger在2000年将水" s/ s$ \& m. o- F
# U- ^) _1 e% ~+ @ 平集方法应用于反问题(发表在Inverse Problems上),在国际上7 V8 S/ {* U* i% ], r2 M! ~
* q% x+ S. b4 y% T# x9 I$ C 有很大的反响。Martin Burger在博士毕业后就被邀请到UCLA的Osher5 ~3 k5 b" C, k# J% G
% C4 E; z$ e& V7 s9 D' | 的小组作研究,并和Osher一起就水平集方法在反问题的应用作了一# H' B0 f+ \4 R" J% H( C
/ O% z- L. w3 g2 C; v5 B% H
个综述和展望,值得参考。
9 R+ c7 K1 y3 n. ?$ }. e a3 ]: r0 } 8 y3 P/ f& a# Y- ]0 H
反问题反面最为经典的当属Tikhonov和Arsenin的《Solutions of
! \. p1 B! E6 k' H Ill-posed Problems》(有中译本,《不适定问题的解法》,学. j1 Q& O8 A6 r/ x& B
校里有,英文版的系里有)。现在反问题反面每篇重要的文章基
( x1 I$ m0 @$ q 本上都要引用这本书。这本书比较抽象,算法方面有所涉及,但
) |9 m+ t. I9 P7 c+ E 是不多。后来Tikhonov和Yogola等人一起写过非线性反问题反问; K, W) A/ n) m: U/ S Y! W
题理论方面的书,还写过一本算法方面的书,可惜书名我已经忘! Y; G" k8 f. ?/ X" e
记的。个人感觉Groetsch的《The theory of Tikhonov
6 n; ?" V# @: K5 ?& k regularization for Fredholm equation of the first kind》' C8 s( `, V: S6 y! J" h
是比较好的入门书,这本书比较薄,也比较容易读懂。读了这本
- u0 B) v+ }: o( { 书之后,阅读反问题理论方面应该不会有很大问题。Kress的
* N4 V4 Y9 V" ], z 《Linear Integral Equations》和Kirsch的《An Introduction6 N7 m1 [' i4 C! ]$ E2 Q
to the Mathematical Theory of Inverse Problems》也是不错
* j9 v( J0 ^8 M9 Q" V* M8 @ 的入门书。这些书在系资料室里都能找到。Engl等人的
3 E; }+ o. ]" S3 _7 N; Y ~, N5 B' ] 《Regularization of Inverse Problems》广受好评,应该可以% K% i/ j8 n+ e
作为进一步阅读的材料。专门的著作有很多,如Isakov的7 i; q- M( Y, y( w$ a
《Inverse problems for partial differential equations》,8 B2 H, `0 C, |8 b0 M q- W
Martin Hanke的《Conjugate Gradient Type Methods for- {! }/ V9 }2 V$ `( J9 P/ h7 c$ w
Ill-posed Problems》应该也是不错的。 j9 R/ }7 c, t p( }7 a; b
4 k( w' l- N# N! d 在反问题的数值算法方面的书籍不多,只有Hansen的《Rank-
' `, o* D2 Q# s* v: \: d deficient and discrete ill-posed problems》和 Vogel的
6 k% N, }5 Y9 \ D& d 《Computational Methods for Inverse Problems》。两本
% w* B% Q& d- b$ ^' N 书都是非常棒的,要求的基础基本上类似,对矩阵计算的基 S" N: M! s2 {: t C. `% S
本概念非常熟悉。但是侧重点有所不同,Hansen的书容易阅
( q! y! ~& `% \' v# \1 N# v 读,所以在工程师里面也是很popular。Vogel的书稍微数学
/ N6 H, R2 g0 Q* O' F, c 化,涉及的范围也稍微广一点,比如说很重要的Total2 ?; @5 Y% J* s- f, D
Variation regularization在Hansen的书里就不讨论,但是- r! M3 c/ Y. C' W+ Z/ k* ?+ I
Vogel的书里做了非常详细的讨论。Tikhonov的算法书应该
: V. k, `8 d$ t9 Z8 \ 也有很大的参考价值,可惜我没办法搞到,所以也没法评论
# y, Y; k! j$ j4 `; K0 ] 了。5 j' |2 ^* r* C* {
; _4 M4 W# `! d, h/ e) _9 j
反问题的reading list 可以在下面的链接中找到:
! n* s# W7 |6 o L- E9 N. J7 y4 l http://infohost.nmt.edu/~borchers/geop5 ... dings.html
; ~* H! t$ V; C' U$ S( V0 V" d / y. u( t$ ~9 j r0 V' `
计算的热点似乎有两个特点:3 _# r% W5 D+ ^# d# a% Q+ U
一个是与具体的应用结合形成新的学科,比如说计算流体力学、; N1 j7 K" \1 t4 O- c7 }
计算空气动力学、计算力学、计算物理。这里强调的是为新的学, ?5 g+ Q2 I( ~; |8 {# _$ E
科的发展做出贡献,也就是所谓的作为除实验和理论之外的第三0 Y2 k$ Z3 I6 }9 b }' |
种研究手段。材料和生物中的计算问题似乎将是以后的计算数学
6 q7 s$ g, C) L7 R3 \' S. Q5 J; p) u7 \$ a 中的一个热点,可以参考鄂维南老师的评论文章。
( W5 W3 ~* X& w . U2 S+ d: |. [- Q m3 X/ o) e
一个是应用新的数学工具。比如说应用Lie群理论构造保格式的微3 G- n5 M2 f5 A, i- [& g
分方程数值解法,拓扑引出的continuation method。其缘由可能$ H: [( ?! q4 Y. ^' |% D
是基于某种物理上的考虑,但是可以通过引入新的数学工具来解决。% w* I1 u1 S+ Q, o7 i( u
这也应该是一个值得注意的地方。
zan