数学建模社区-数学中国

标题: 谈谈计算数学(转自校内) [打印本页]

作者: mzszrj    时间: 2010-1-23 09:06
标题: 谈谈计算数学(转自校内)
虽然不是我写的,但我觉得很好,希望与大家分享。以下的内容转自校内:
$ q# J5 Y3 y: m0 z% p+ e* D; Q
' T  w- h2 y2 A5 w/ q" C从计算数学的字面来看,应该与计算机有密切的联系,也强调
1 Q3 U9 B# a9 \2 n8 Y了实践对于计算数学的重要性。也许Parlett教授的一段话能
7 i; c' p3 A7 y+ W% ?5 L6 u& x& O最好地说明这个问题:
' X, K8 W, L. c( S, t! J. {
  ?4 e1 K: ^$ _7 [How could someone as brilliant as von Neumann think5 u( o" Y( [, q
hard about a subject as mundane as triangular factoriz; k- @* o; V. G0 L- \" L# G
-ation of an invertible matrix and not perceive that,
, M2 L$ o+ F5 V6 \with suitable pivoting, the results are impressively+ f: b* `+ `" P, f& g' N
good? Partial answers can be suggested-lack of hands-on
2 }  a# `+ W" V$ I, ]experience, concentration on the inverse rather than on. b- s" {& n8 U6 Q- A
the solution of Ax = b -but I do not find them adequate.1 Y2 ]& n; z$ f" L
Why did Wilkinson keep the QR algorithm as a backup to a
! s; h% {! S5 F1 I2 {Laguerre-based method for the unsymmetric eigenproblem! Z, W  |5 t* \4 j7 J
for at least two years after the appearance of QR? Why
! q$ V5 D5 T, r4 q* ~! _# ]. vdid more than 20 years pass before the properties of" f" {  H- A2 s& m; }
the Lanczos algorithm were understood? I believe that
7 @2 A) {4 C0 `the explanation must involve the impediments to& O7 i3 Q4 m2 S% ^4 F5 [
comprehension of the effects of finite-precision
/ u* q! Y! g% x5 Carithmetic.(引自www.siam.org/siamnews/11-03/matrix.pdf)- y+ x; @7 V! T  j9 S2 A
7 \$ P; f- e- p% L- I$ @
既然是计算数学专业的学生,就不能对自己领域内的专家不有所* |! W2 @! h& g* |& H
了解。早些年华人在计算数学领域里面占有一席之地是因为冯康7 g( l! {: u, P3 V
院士独立于西方,创立了有限元方法,而后又提出辛算法。这里
! A. a4 C& L9 m1 Z8 P0 P只是列出几位比较年轻的华人计算数学专家,因为他们代表了当
$ n, H  `( L) V$ W9 y& p3 A" {前计算数学的研究热点,也反映华人对计算数学的发展的贡献。6 V; p: X% {/ n" a! \0 k; C! Q
0 x5 O) c- q9 J( \+ Y
侯一钊(加州理工)0 o. Q+ P8 k8 g' L4 g. W9 }
研究方向:计算流体力学、多尺度计算与模拟、多相流6 v+ m/ `" W; ~7 {, O2 Y
http://www.acm.caltech.edu/~hou/ ; G7 o% |4 }) N0 N, y$ j1 p
5 t1 j# L/ `' E* l. ?3 p
鄂维南(Princeton大学)
; i5 p3 ~$ h+ h' D北京大学长江学者,研究方向:多尺度计算与模拟( A# _  M( L7 \
http://ccse.pku.edu.cn/staff/weinane.htm
3 D1 C; t6 k; @  y& b% C* O9 p+ i6 I' \/ U$ t
包刚(Michigan州立大学)& h. M, j6 j7 u0 P2 Z- Z+ _6 b! @
吉林大学长江学者,研究方向:光学与电磁场中的计算等$ W; R$ r# O; K
http://www.mth.msu.edu/~bao/
6 E8 U$ |" v7 ~* |/ ]  D" J/ ~( {& ?* ^! A5 K& g+ A$ @; {
金石(Wisconsin大学)
% H' @/ X% r2 Y. v& Y7 J6 \7 ^, h清华大学长江学者,研究方向:双曲守恒律、计算流体力学、; O- d# }% `' t5 H. y9 ~/ L$ a
动力学理论等5 [0 b$ a& y  Y% ~
http://www.math.wisc.edu/~jin/ . c% j- W* g# Y, z8 c: J8 L

! R1 t2 I8 s! L: v. q5 _汤涛(香港浸会大学)
9 k% N" f5 |* s) o" E中科院,研究方向:移动网格法等
( L( C$ u+ z" `* B% v/ P  dhttp://www.math.hkbu.edu.hk/~ttang/
  j" W( x: @! E3 }! o4 n$ E4 h7 `5 [
. w- e* ~2 z0 g4 g8 {8 ?) U2 r. ^; i* o舒其望(Brown大学)
7 B% q" c# f8 G! b$ ~7 L中科大长江学者,研究方向:计算流体力学、谱方法) @4 z7 h6 G. w6 j) e2 C
http://www.dam.brown.edu/people/shu/home.html
# {5 ]5 G8 W7 @, _
# R! V! T( i% S陈汉夫(香港中文大学)
2 ^9 j/ ]  ^2 g. U$ s* U研究方向:数值线性代数" L# x5 M' R. F
http://www.math.cuhk.edu.hk/~rchan/ : H/ O! p5 y" o: g9 Y
+ u+ m+ \+ Z6 A7 G
许进超(Pennsylvania州立大学)+ h- \) t7 Z- ?2 V+ y5 }) N
北京大学长江学者,研究方向:有限元、多重网格法
' {# r$ F: L! Ghttp://www.math.psu.edu/xu/ # P% Q+ A$ ]) V: f8 C, u, G
  P% V9 H' T) {+ W
袁亚湘: e9 K# A2 B5 f' l, ]
中科院,研究方向为非线性最优化1 E, ]5 i# q4 _5 U% j6 c1 p
http://lsec.cc.ac.cn/~yyx/
6 s0 O1 z3 x& S, q1 S' ^' d2 r% S' z( r0 z: m1 z: |% Z" A
张平文(北京大学)
) h) p- V  Q4 M* F: F' y北京大学长江学者,研究方向为复杂流体的模拟、多尺度计算与+ U( q% {5 U3 U$ L1 ~0 J( X
模拟、移动网格法等
- |8 v" |/ d6 u4 B/ X/ h0 Ahttp://www.math.pku.edu.cn/pzhang/index.html
. J3 ]  x4 D% Q0 u
- `+ A5 o- s' E) U0 H! K, N陈志明(中科院)$ r$ X: H) h/ {! b. u
研究方向:科学计算与数值分析,主要为有限元法
- X) l* j2 e: L' ^http://lsec.cc.ac.cn/~zmchen/index-c.html
" v- `# v) C. v" D4 ~6 B
' v2 F% d; g# y6 S' A! K其他还有黄维章、吴宗敏、Xu Kun、程今等人也非常突出
' f( @6 ?) T8 Z" O/ V9 F# a, O! m% ~
作为计算数学专业的学生,经常阅读本专业中的主要杂志也许' s7 ?1 E6 U' W& A1 M6 g" o
是颇有裨益的。
& I. e, W: {: H1 E理论:
7 ]" h3 G- H+ E4 f$ w最好的基本是
& Y0 a9 j) U+ ^6 ]& Y! GMathematics of Computation3 v9 ?' c9 h1 B/ Y% e: x* `
Numerische Mathematik# J& b, c8 {. o) S9 I$ q
SIAM Journal on Numerical Analysis- M! b1 ^7 i: P
SIAM Journal on Matrix Analysis & Applications  D; J0 s5 {* w0 p- u( s
SIAM Journal on Scientific Computing5 A4 K7 \" X: j* G
较好的有:$ J+ j* F  z0 h
BIT
" V4 i- o' O6 Q$ w  ~! H" SIMA Journal of Numerical Analysis6 _3 t& {$ `* a8 u! n% S
Advances in Computational Mathematics1 O2 r$ F. u  D6 j& A
Inverse Problems  a6 }6 g: A+ v/ d

# w. B  h) a& B. Z1 F6 _还有应用性质的杂志:! P( k2 L0 V$ R
Journal of Computational Physics
4 Y! S1 I; W/ rInternational Journal for Numerical Methods in Engineering
) _* Z& [: n) O" ~9 L; X& Q$ k) lComputer Methods in Applied Mechanics and Engineering- `- |3 k# F) |( r! O, p1 P
International Journal for Numerical Methods in Fluids" b1 a4 k/ k, z
Computers and Fluids
; r* E8 u: h$ W. c, yComputational Mechanics
) C6 k3 D; E/ Z! ]( P还有很多带有Computational字眼的其他学科的期刊:Journal of% f; q, f, b2 r- ~$ D7 O: ~
Computational Chemistry,Computational Material Sciences
# f+ V1 R9 A0 G也可以浏览。
, {9 c+ o( B$ K. K$ S2 ?3 m2 x# O
6 e3 o% V6 d+ o. o3 H4 O但是作为入门来说,大家的综述特别能帮助我们这些新人迅速把握
1 I8 c" C8 w2 C% k, B& o9 {& C了解、把握一个领域,因而值得特别重视。这方面最好的是剑桥大# f2 y6 w& i, \3 f
学出版社出版的Acta Numerica连续出版物。Acta Numerica每年出+ c: T: q! s9 z% E; P
版一本,作者均是该领域的顶尖人物。比如说最近几年水平集方法% S, s  `' I$ d; ]0 [
非常热门,05年就有一篇水平集方法创始人之一的Stanley Osher写) p# x/ q, z' `7 t5 B
的Level Set Method in Image Science。其他论题有:entropy
" @& r5 e  F5 Q6 q8 ?# ystability (Tadmor E),radial basis function (Buhmann MD)等
5 g4 f) L: S( I4 R3 @等。该出版物我们学校没有订,不过可以从网上可以找到不少。我
4 q2 A+ t5 {+ k4 {5 j这里大概也有二三十篇,可以提供上载。3 Z% r7 E5 b  D! x) f

: n5 }$ ^# i  Q: f- H另外一本就是SIAM Review。SIAM Review的每一期里面都有几篇文' F1 h8 c- J$ _: K) n
章关于计算数学的内容的,经常从实际问题引伸出计算的问题,或
7 S2 Y1 x; p( u( _: Y! ], [- j者是介绍每一个领域的最新进展等。 SIAM News的每一期也有关于
9 i" q$ B6 _* k( v4 r0 X8 H计算的有意思的短文,不妨浏览浏览。
7 C$ N, n5 ^; Z7 S$ d
% V9 l* J+ g  S% i作为数学系的学生,无疑是需要读很多数学书。计算数学的书可以
6 w/ E) j4 C; r! ?4 z1 A称得上是汗牛充栋。以前在系版上提到过几本。现在再补充一些。$ _8 s, x* o4 t" G

$ {8 ?6 y$ I2 B3 N1 w6 ~6 z7 H9 v; n* a微分方程数值解是计算数学中的核心论题。传统的方法有有限差分/ Y; r6 O3 b0 _4 N& L
法、有限元法、边界元法和谱方法。- B) {4 n- }/ D/ ?' @6 X! K

& E3 i. Q- X. L  V& w. f有限差分法想法最为简单,比较容易理解。李荣华的那本《微分方程2 ]2 j3 D3 s: P5 e' F0 ~$ v( Z
数值解》就介绍了最基本的东西:收敛性、相容性和稳定性。; {4 `/ s% {$ ^4 X
Richtmeyer & Morton的《Difference Methods for Initial-Value
0 M5 }- U5 }. U% B6 A/ b) T. ]Problems》则是差分法方面的经典著作。R. LeVeque最近也有一本+ o3 k; A4 I5 j
《Finite Difference Method for Differential Equations》也很5 u& \, ^; Q& j! ^7 z
有意思,介绍了差分方法的新的现代概念。LeVeque的书可以在他的
% [& {# E1 o! I) L' R- V主页(http://www.amath.washington.edu/~rjl/)上下载,他的另
: l3 b; B: \2 x$ O* j# O外一本书《Numerical Methods for Conservation Laws》是守恒律; |/ Q6 N$ l3 ]4 `9 n4 _/ j  S
数值方法方面非常出色的著作。% q& {" F# v3 C$ [

# |7 O! M0 C$ }有限元法方面自然是推荐使用Ciarlet的《The Finite Element Method
& t( D% P2 J! J% g" w- L: N3 Ifor Elliptic Problems》。这也是系里专业科的教材,另外Brenner* O* b& u: |% H) W8 ~+ Q
& Scott的《Mathematical Theory of the Finite Element) J- Y& j4 ^5 ?
Method》据说也是不错的。
* d" c" O% S* n9 C2 q4 E( ~
! X& V- a, Y; b" O谱方法对于规则区域上的问题往往是最为有效的方法。华东师大的, }# \$ K. d) R; I. O5 M9 y
郭本瑜教授在这方面做过很好的工作,他的《Spectral Methods
6 {) s4 t: I2 x: q0 Wand Their Applications》广受好评。Purdue大学的沈捷教授也有' o: E+ E9 F5 y! g4 y: Q
很出色的工作,他的一个讲义可从他的主页(http://www.math.purdue.edu/~shen/
0 O- J0 }# i7 ]* A8 T5 B
  X; \6 K) l& N, J# e, n& L4 k上下载,同时还有相关的Matlab和Fortran程序。谱方法方面最好的
' w" U" R3 ?! c: M6 B" [8 u* Y, f入门书为Trefethen的《Spectral Methods in Matlab》,其他的还
! K+ r# ?; ?7 \  t9 q6 Z有Canuto等人的《Spectral Methods in Fluid Dynamics》,不过
2 g5 V9 H9 o  `6 c' `/ m不知道能不能再学校里找到。
; q; c# q+ ^! L; U7 Y% @! H4 u' V# t- C" `
除了上面这些方法之外,还有近年来比较热门的无网格方法,这些可
, ?$ |& t4 b  `- K6 H3 y. j! m& s% O以参考张雄和刘岩的《无网格方法》(清华大学出版社,2003,50¥)。
7 U/ R  y3 j" n3 V0 h+ l4 t0 X% p# ?
计算数学的主要工具是泛函分析。一般推荐的Yoshida的《Functional; L4 x, O5 w' A9 H! t
Analysis》(有中译本:吉田耕作,《泛函分析》)或者Rudin的7 g6 a2 X* c) |/ E
《Functional Analysis》。这两本书都是非常难的,但是也是非常
% G3 O5 Z( K; |5 F% l经典的书,可能当字典比较合适。但是,泛函分析里面重要的定理
$ s7 `4 |. J8 g/ U: k在计算里面并不见得特别有用,所以我们要甄别那些可能有用的东
) G9 ?4 a; w7 m% r( H& ^西,Sawyer的《数值泛函分析引论》也许是比较合适的入门读物。/ A* B7 f1 ]' |& c- z; X
这本书里面介绍了一些泛函分析概念的来由,如Holder不等式的导
3 p6 U. G) x$ B* q4 g出,也有泛函分析在计算数学中的应用,比如Kantorovich迭代收敛, @; ^+ q: r  p2 K7 L1 r' k
性准则的解释。张恭庆的《泛函分析》强调泛函分析的应用,里面
* i' @) M4 `) t8 Z/ z3 Y也有一些应用于数值计算的例子,比如Lax等价定理,值得读一下。7 ?% K% C" {, Y, P; R5 f
% Y2 B& |+ f' z& i8 N
计算数学还有其他许多重要的分枝,如矩阵计算、反问题、计算流
% V9 ]* @7 U0 ~5 u3 V体力学、最优化、逼近论等。由于这方面本人涉略甚少,这里也没: N# n' h( r1 @' t2 S
有什么好说的了。希望计算数学这些方向的其他同许能补充上去。7 u4 S8 X. A, ]
! N) J: a9 q) _5 H4 r" X
最后补充一句,订阅mailing list也是不错的,可以迅速获得关于
9 b7 O: E& A2 V3 D$ F计算数学会议、新出版文章等的信息。中文的推荐使用CAM,可在下
; u: o/ x0 r5 ^9 G" j面的网址注册
9 C# ]9 r) |# A' b1 q+ K9 Mhttp://www.math.hkbu.edu.hk/cam-net/indexcn.html
2 @2 l7 z6 M' c! d英文的推荐订阅Clever Moler的NA Digest,可在下面的网址注册/ [; B: `3 M) \1 `% s
http://www.netlib.org/na-net 0 i  ]( G# d( \' E) c: i( U- x- I
) U7 l4 U$ M# S) P3 T! ?

5 ]9 z0 X3 Z. }: J9 E+ i7 o
0 K3 J( E0 }- ^& Q% I6 ]( V先订正一个错误:Sawyer的那本书的题目我# I5 b  R1 f& o" S3 a( Q: ^
记错了,应该叫《数值泛函分析初览》,系资料室和图书馆9 L4 C! d2 Z( i4 ?  F' a& s' A+ J
都有中译本的。, a) ^# @- x+ E) K6 D6 S& b
% }/ h. ^  l6 H2 K/ C
接下来介绍几本矩阵计算方面的书的。浙大的张振跃老师2 F2 T, \) Y  s" I
在这方面有很出色的工作,中科院的白中治,北京大学的徐( }6 ]/ a, v6 y  O7 K; E- D
树方,复旦的魏益民和曹志浩,澳门大学的金小庆都是这方" N: R3 m6 u  P) z  G" ~
向的,还有复旦出去的柏兆俊。肯定还有许多学者在这方面6 ]) }: }1 T* y! w. d
有很突出的工作,可惜我基本上没什么涉略,这里也不能列5 _4 O0 t# d& F7 q( B
出来。
3 r% m: A0 V- \
9 l1 Y7 _1 B/ f. ?3 v( J2 P; \国外的大牛有Golub,很多这个方向的大家都是他的学生。
% k+ q& N; y; p  `/ HKahan, James Demmel, Peter Stewart, L N Trefethen,
3 z7 Z# I; s: hHigham,这个名单可以列的很长,这些人是矩阵计算方面$ g: P0 {1 l/ c& x- n" P
的大家。
# J+ R1 @* W# Q. H
. I" x9 _$ Y$ W( {3 g$ i5 t% p矩阵计算方面最经典的书应该是J H Wilkinson的《The
  U( A$ e% \- [& t5 XAlgebraic Eigenvalue Problem》(有中译本,石钟慈等5 X5 W! D' X: Z$ O; F1 H
人译,《代数特征值问题》,科学出版社,学校图书馆有,# ^6 ]. u9 |+ ~, n3 V6 K
系里有英文版的)。这本书虽然老,但是据说读一下还是
1 |$ A/ i3 N: U9 Z" B很有启发的。现在的经典是Golub和
$ v7 T0 q9 f/ ~# D  qvan Loan的《Matrix Computation》(有中译本,袁亚湘译,
: k8 B. G0 f6 f% c8 f) ?. f9 c1 W8 B《矩阵计算》,科学出版社),英文版的电子版可以在网上, w* p7 ^3 _2 ^5 |% y4 R% u+ f$ `
找到的。其他的书有Demmel的《Applied Numerical Linear& }8 J! ^" A, x
Algebra》,Trefethen & Bau 的4 d, p8 M) M+ r' Z3 J
《Numerical Linear Algebra》据说也是很好的。Yousef5 ^8 |! D! [* }9 z: Y4 I0 ~
Saad有两本书《Iterative methods for sparse systems》
- B! Z/ O$ \) W; z2 T1 z和《Numerical methods for large eigenvalue problems》,$ S2 f$ R% J  n
写的挺有意思的,在他的主页& D$ g1 P4 J+ _) b; @+ w
http://www-users.cs.umn.edu/~saad/
6 m3 V$ }+ O' J; w* A$ Q上可以down。说到矩阵计算,还得提到Householder的一本老6 v$ n% T5 y1 M/ R9 c' V% j& ]
书,《The theory of matrices in numerical analysis》# v8 i1 Q0 l/ Z+ s( T2 ?4 h
(有中译本,系里中英文版的都有)。
6 w1 e/ }, g- [( O" N: ^: `2 u
4 \% g5 E; {2 I7 i0 X/ NLN Trefethen现在是剑桥大学的教授,他写的每一本书都很经典,
0 x3 y4 B/ N; P- i& L前面已经到过他的几本书了,《Spectral Method in Matlab》,0 v$ `3 q* C' f  L+ B% t: Z
《Numerical Linear Algebra》,还有《Finite Difference$ D/ M& r7 v* k. g
and Spectral methods》(在他的主页上可以
* _; j+ F- Z" G+ P* Fdown,http://web.comlab.ox.ac.uk/oucl/work/nick.trefethen/2 K) {8 X* v+ e  n4 x/ _& `/ q' Z
。读他的书和文章感觉也是人生的一大享受。8 \9 _; l# Q/ g) c% k4 l

' m7 ~/ ?) l$ Q$ Y他在Cornell大学任教时,曾上过一门课,就是阅读数值计算的经
' Q# R6 }* b3 z* l* Y% O: i  J6 S典文献。为此他写过一个短文,列举了数值计算中的十三篇经典文1 P7 p* s$ Q5 r/ ?! o8 h
献,也许对大家有点启发。
0 n" e/ ^, E. _! G, i
" S, f  r6 o3 k& t1. Cooley & Tukey (1965) the Fast Fourier Transform/ M5 l- }9 X& [2 Z
2. Courant, Friedrichs & Lewy (1928) finite difference methods for PDE3 l) L! G- G& m* @4 n9 R* i4 o
3. Householder (1958) QR factorization of matrices( g) l/ [- b/ e- i. d+ e
4. Curtiss & Hirschfelder (1952) stiffness of ODEs; BD formulas
1 \# ~" x* S1 ^1 u  c% n% x4 O5. de Boor (1972) calculations with B-splines
4 A$ k+ a0 w, ~( D2 S+ u6. Courant (1943) finite element methods for PDE
- g' j1 s; ?% P; J7. Golub & Kahan (1965) the singular value decomposition
3 x  e4 N/ O- p) P) f# S8. Brandt (1977) multigrid algorithms6 k+ o* n& h& D& n" v. |3 k+ s* u
9. Hestenes & Stiefel (1952) the conjugate gradient iteration7 x: B- q0 {* f* v8 W; Y. d* P0 {
10. Fletcher & Powell (1963)optimization via quasi-Newton updates
1 B0 H* c: V% Z7 K4 b" X11. Wanner, Hairer & Norsett (1978) order stars and applications to ODE0 w5 c5 p$ F) c& E1 o, S3 b( H
12. Karmarkar (1984)interior pt. methods for linear prog.
  i; q" F. C% d: Y  P, A. R- `13. Greengard & Rokhlin (1987) multipole methods for particles
9 T8 i! E+ u! m0 _0 X( Z8 X$ j% k: N; c; f9 w
他的remark也很有意思,We were struck by how young many0 H  l6 N. J# q/ M
of the authors were when they wrote these **s (average0 `' r7 y; c: [
age: 34), and by how short an influential ** can be/ W" E  B- k% v1 w6 I: x
(Householder: 3.3 pages, Cooley & Tukey: 4.4).这说明大家
3 q: i9 }8 V9 d+ ], z都还是很有希望的,呵呵。
% ]9 v8 d( u. y+ U- g- ]3 D/ g8 r$ z
: O: _/ _: ^( x% i& M: u
反问题无疑是计算数学中最热门的方向之一。该方向现在有如下
; a' |' n( j& G1 S
/ ~: B& X% N9 D2 T) F4 m9 F2 x几本杂志:Inverse Problems,Journal of Inverse and Ill-posed
2 j" o/ Q! X/ t% p0 v3 y; Z' |" P/ L* ^+ a+ M  i3 c) A
Problems, Inverse Problems in Sciences and Engineering(以前
% X# T7 }" M2 p4 I: @  t0 H; H; X5 k) ~* q
叫Inverse Problems in Engineering).第一本杂志最好,第二本杂- b4 ]+ J( A8 }- A8 u$ W

5 j# ^2 `0 G6 u& m, s& D志上面有很多苏联人的工作,第三本偏向于应用。在很多高档次的4 X4 X" d# v8 P' \- J+ l0 R
: k' G) o' O+ \, R! P( x) H
杂志中都有反问题方面的文章,比如SIAM Journal on Numerical; H  g. K. s9 A3 K7 t+ V" Q  l+ f
  m6 Y2 e8 \/ A$ |+ V% K
Analysis,SIAM Journal on Mathematical Analysis, SIAM
" ]9 O# \1 F9 R) X
9 o/ e+ ?2 C' Y# hJournal on Matrix Analysis and Applications,SIAM Journal on7 N$ ]; `/ ~& i% z* b. a- x# P

, N3 `! b$ ~8 S+ UScientific Computing上也有不少反问题方面的文章。
( B( |8 W! N* E: |: |
) L% t. J6 F# j在国内做反问题做的最好的应该是复旦大学的程晋老师,他在反问
) W' [7 Y; E7 Y) E2 z1 i. i6 ^+ d8 N" M( w6 I' E2 L5 {
题的理论估计方面有不少工作,南京大学的金其年老师也有不少好
: _+ }" G% G) R) W
  n" |; k1 E  R8 Q; O的结果(很年轻!),哈工大有几个人是做应用方面的工作的(他, @, H! G4 A% r  Z

) W: K' }" ]( r, I9 A% p们的前校长就是做地球物理中的反问题的)。国际上知名的有HW: x' {5 f$ X* f
$ h+ J$ U' t+ B+ T" D4 C
Engl(澳大利亚),Yamamoto(日本), Kress(德国), Martin
- j0 W0 E$ K2 p2 ]. u+ S4 V4 o9 D8 _* R4 W
Hanke(德国), Isakov(美国)等。
3 D1 n% X, g2 X
( N5 s: F1 ]7 K反问题的一个重要特点就是与实际问题联系特别紧密,往往需要根
/ i7 G( |% G. N0 A& Y- U
, q& b+ i* A+ g* ]' X2 H( R据问题的特点设计专门的算法,这也是反问题的难点所在。很多应
5 a0 ~0 C3 q9 O( [/ v, |
2 v& o0 G# q0 u0 |* k) ?. W用领域与反问题结合之后成为一个单独的研究领域,如EIT。, g$ r, i7 f7 @' s( N& b

$ `2 O8 ^7 q; h水平集方法应用于反问题似乎是当前反问题算法研究中的一个热点。明尼苏达大学
0 {- z# M- L+ z  O0 U) i! M! _) ]的Fadil Santosa最早将水平集方法应用于求解反问" ^: a7 J  i/ L8 X( F
+ F- c' i4 ?9 h8 G% N. g3 q
题,但是没有很大的反响。Engl的学生Martin Burger在2000年将水
0 o0 ~5 ]/ ^9 K2 i8 A0 z  }
( k3 I" z) w1 \: Z2 E; @平集方法应用于反问题(发表在Inverse Problems上),在国际上
; A; P' D) d& d) T6 E5 Y4 B2 {* ^6 Q0 q  f
有很大的反响。Martin Burger在博士毕业后就被邀请到UCLA的Osher
4 N. i: U3 R+ E2 t6 |+ @1 s9 _' h* @2 w% j" t
的小组作研究,并和Osher一起就水平集方法在反问题的应用作了一
& V+ X% |, Y; X) ~4 p/ W! v! ?7 R% Q9 A
# i: i0 K1 }. z3 F个综述和展望,值得参考。
; ?. r/ f4 U; F5 y
" u4 u) u9 W. t- r3 v4 |反问题反面最为经典的当属Tikhonov和Arsenin的《Solutions of
+ u+ n5 Z8 O. A3 l5 y0 j, W2 EIll-posed Problems》(有中译本,《不适定问题的解法》,学$ {. ?; _" \- }6 }0 T' w& W8 B7 R2 m
校里有,英文版的系里有)。现在反问题反面每篇重要的文章基) `$ D* l( ^. b5 i
本上都要引用这本书。这本书比较抽象,算法方面有所涉及,但
! O. b' y. Z9 q1 k1 }是不多。后来Tikhonov和Yogola等人一起写过非线性反问题反问  ~% H" T( ]1 e& {+ R3 ]
题理论方面的书,还写过一本算法方面的书,可惜书名我已经忘' ?$ T+ C5 Z* `% _
记的。个人感觉Groetsch的《The theory of Tikhonov6 A8 H2 A7 U% d, Y3 R% W9 F5 B* N
regularization for Fredholm equation of the first kind》9 Q+ t% {; I! _) _
是比较好的入门书,这本书比较薄,也比较容易读懂。读了这本
3 v4 ?4 m4 H# j0 C& y8 n1 `: S书之后,阅读反问题理论方面应该不会有很大问题。Kress的
0 u" m# Q( ^& x. P# W1 J《Linear Integral Equations》和Kirsch的《An Introduction! m8 Q: _. x1 b" ~- ~) P8 u8 L+ w
to the Mathematical Theory of Inverse Problems》也是不错7 E# {5 l9 Z* J8 q
的入门书。这些书在系资料室里都能找到。Engl等人的. P5 ]' b2 R, r, X, }8 U; e
《Regularization of Inverse Problems》广受好评,应该可以
8 E; K3 i! b- i- D$ M作为进一步阅读的材料。专门的著作有很多,如Isakov的
3 ?, D* E/ K! T6 r" V《Inverse problems for partial differential equations》,5 P$ ~7 l! C4 Q* t. l
Martin Hanke的《Conjugate Gradient Type Methods for- c7 |: V( m, G- s( ~) k4 J
Ill-posed Problems》应该也是不错的。
0 k# X& a9 \% i2 u
4 v7 L4 ^- ~. M在反问题的数值算法方面的书籍不多,只有Hansen的《Rank-
# j  l! C2 }" o9 o8 D$ ]4 `) |deficient and discrete ill-posed problems》和 Vogel的
4 ]4 k4 k; _: l' p9 u0 _8 G) B) Y《Computational Methods for Inverse Problems》。两本- R3 z, |$ z" I9 x  a, r5 Z
书都是非常棒的,要求的基础基本上类似,对矩阵计算的基3 N3 ~+ j  N. f# M$ S$ v' m
本概念非常熟悉。但是侧重点有所不同,Hansen的书容易阅5 ]  M$ a5 ^$ N5 P3 p& _' l
读,所以在工程师里面也是很popular。Vogel的书稍微数学7 C$ J+ M( f0 U; ?2 L7 @/ U: F
化,涉及的范围也稍微广一点,比如说很重要的Total1 v) v: z: ?' r& h
Variation regularization在Hansen的书里就不讨论,但是3 H" U% w% j  t: a8 ]
Vogel的书里做了非常详细的讨论。Tikhonov的算法书应该: O1 I; w6 V* w4 X9 U
也有很大的参考价值,可惜我没办法搞到,所以也没法评论
5 @/ ~/ `9 \6 U8 l- ^了。: h- ?5 w8 `! K8 ]: @% o
8 c' n8 |& G8 Y; l/ N- [( h: ~
反问题的reading list 可以在下面的链接中找到:/ a" y1 @# D% f
http://infohost.nmt.edu/~borchers/geop5 ... dings.html 8 B) \; q( o5 s8 }
3 E9 z3 v! s% |% d8 \- x  r
计算的热点似乎有两个特点:
. R( X+ t% [8 u. _: t: O一个是与具体的应用结合形成新的学科,比如说计算流体力学、
/ g# R. b: \( V& A$ j计算空气动力学、计算力学、计算物理。这里强调的是为新的学3 B! E& _( x: _( {) V9 I$ _. W
科的发展做出贡献,也就是所谓的作为除实验和理论之外的第三
. n" g7 E% d5 U& Q% ~# s2 U种研究手段。材料和生物中的计算问题似乎将是以后的计算数学
; U6 d7 ~9 W/ [中的一个热点,可以参考鄂维南老师的评论文章。
. ~& h9 ^" L7 t" e; {  N( `8 R5 t1 K, U
! n9 f% }  b( n. A  W6 m一个是应用新的数学工具。比如说应用Lie群理论构造保格式的微& a. K; \- }& h" E$ @: ?9 I, c
分方程数值解法,拓扑引出的continuation method。其缘由可能! m) @. O" ^( l7 l/ e! u( m
是基于某种物理上的考虑,但是可以通过引入新的数学工具来解决。  K7 j5 [8 ~: h$ M0 s; s4 ?
这也应该是一个值得注意的地方。
作者: bingcheers    时间: 2010-2-9 23:33
内容特别好
6 z; L+ i. Z4 p% W" U4 R& @% {0 W你看了吗6 }8 E; g" Q6 a. X
9 ~  @/ c* b: m
- n% a. r4 t$ h) r! q
回复 1# mzszrj
作者: celestshakey    时间: 2010-5-23 19:26
好复杂的样子,好多没听过的杂志。。。
作者: 文素    时间: 2011-1-3 01:29
不懂~~~~~~~
作者: randy2009    时间: 2011-1-3 18:58
好文章啊,顶了
作者: 0.9清1.8清2.7清    时间: 2012-8-31 15:59
顶级高手!!!!!!
作者: hualian110    时间: 2012-10-9 21:43
看着很复杂啊。
作者: 此生不悔    时间: 2012-11-23 21:33
这样的文章才能值得叫好文章
作者: 汲荷    时间: 2013-10-10 21:56
好好好好好,计算数学啊




欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5