Knowledge

Talk:Courant minimax principle

Source đź“ť

221:) is a step function. Barry Simon did not write a book on functional analysis - do you mean Reed and Simon, Mathods of Mathematical Physics Vol I? The content of WP need not rely on which particluar textbooks WP editors possess. It is for example discussed at great length in Barry Simon's book on trace ideals. The whole theory of s-numbers is also developed in the book of Pietsch. It is also discussed at length (without proofs) in Connes' book on Noncommutative Geometry. This is a complaint about the poor content and unencyclopedic nature of the page. I don't think it's disputed that Rayleigh and Ritz preceded Courant and Hilbert in using calculus of variations to study eigenvalue problems (in the theory of sound). In my experience most mathematicians don't call this Courant's minimax principle, simply the minimax principle, so the title is misleading. It would be totally inapproriate to a longer article on the uses of minimax in higher mathematics with the current title. I don't see why "Minimax Principle" should cause any problems. In the section on applications to matrices, reference to Courant can be given: look on the Jahrbuch für Mathematik, the references in Courant and Hilbert or other books on Methods of Mathematical Physics. No particular conclusion can be drawn from its presence or absence from texts on functional analysis (e.g. Avner Friedman's Foundations of modern analysis or the first volume of Dieudonné's treatise on analysis). 289:, which I almost completely rewrote.) It was simpler at the time to include elsewhere the 2 simple sentence proof (which I have taught many times to undergraduates and graduates) rather than bother to improve this article. Just as a matter of interest, I mentioned "Courant's minimax principle" to a colleague on the Berkeley maths faculty and he had exactly the same reaction about the reference to Courant as I had. At some stage, when I have time, I might simply rewrite the article, using the standard sources I have already mentioned. It is not the 81: 442:
function but did not have the min-max formula which is due to or at least pushed by Courant. In particular A<B imples all the eigenvalues of B are larger than those of A - this does not follow from Rayleigh-Ritz but does from min-max. All this said, this is an impression that I got from my teachers 40 years ago and is not serious history. By the way, while Reed-Simon Vol I probably doesn't mention min-max, I'm reasonably sure Reed-Simon Vol IV does heavily as well as my Trace Ideal book.
71: 53: 231:
monographs/articles by Courant (Zur Theorie der Kleinen Schwingungen, 1929), Fischer and Hilbert (Foundations of the theory of linear integral equations). Please look at these references and the others that I mention before making assertions about history or content. Courant and Hilbert's classic book is probably one of the definitive sources. Whether subsequent mathematicians or numerical analysts have chosen to follow their treatment or not is a separate issue, irrelevant to WP.
156:
induction) is given. In the article no applications of the principle are given, e.g. to estimating the kth eigenvalue of a sum of self-adjoint matrices. There are a host of other such inequalities related to minimax, equally valid in infinite dimensions, which can be found in the book of Barry Simon on Trace Ideals. I do not believe that Courant was the first to prove the maximum-minimum principle. At some later date I might rewrite and rename this page (to "Minimax principle").
22: 400:
mathematical physics e.g. unbounded semi-bounded self-adjoint operators. (Courant would probably be amused by this article....) Underlying the principle is the notion of eigenvalues of quadratic forms. Kato's classic text "Perturbation theory for linear operators" has a very nice treatment. More illuminating historical references might be found there too.
201:
of so-called "comparison geometry". It is discussed twice in Courant and Hilbert, the second infinite-dimensional application being the more significant, The main point was that for other mathematical articles on the WP, this was not a helpful article. In its initial state, it was not an appropriate encyclopedic reference for
422:
Absent any issues of whom the result should be named after, I think it would be beneficial to add a proof for the matrix case, a section on generalizations to operators in Hilbert spaces and another section with simple applications. The article on this very important topic should not be a stub. I'll
253:
I don't really intend to get in an argument over this. Mathscinet quoted some books, so I just intended to do the same. The Simon book I was referring to is indeed "Methods of Mathematical Physics Vol I", and the title of it is "Functional Analysis". Authors are Michael Reed and Barry Simon. Not
171:
Regarding the naming, I think the author of this page was fine in his choice, and I wouldn't say that it's reason enough to "dispute the factual content" of the page. There is often no universal convention to naming. In my copy of Horn and Johnson, they call this the "Courant-Fischer" theorem, and
441:
Since I've been quoted in the comments (I came here because I was trying to google where Courant used min-max!), let me say the impression I always had is that Rayleigh and Ritz use max and min for the top and bottom eigenvalues and realized that other eigenvalues are saddle points of the quadratic
399:
Yes, this article should be rewritten. I will try to come back to it later. If Courant is the father of this principle for those working in matrix analysis, then its use in mathematical physics is probably first (e.g. Rayleigh, Ritz). The article needs to be revised to allow for the opertaors of
200:
The minimax principal is used beyond elementary matrix theory, which is not its main application. For example it plays a fundamental role in estimating the eigenvalues of a Laplacian on a compact Riemannian manifold (see for example Chavel's book on Eigenvalues in Riemannian geometry). This is part
230:
It would certainly be useful to locate where the result was first established for second and higher eigenvalues. The matrix case is treated in Courant and Hilbert Vol I, pages 31-32, with an application on pages 33-34. The references on page 47 cite textbooks by Bocher, Kowalewski and Wintner and
445:
In any event I agree the sensible thing is to have a page called "Minmax Principle" with pointers for searches on Rayleigh-Ritz and Courant-Fisher and that the page should have both a proof for finite matrices and the application to monotonicity of eigenvalues. Absent real history, it should be
365:
has been noted. I have been advised by a fellow mathematical wikipedia editor here in Berkeley that your comments on this page should be ignored. (This editor should not be confused with Lord of the Winds, whose recent comments I removed from my talk page, although they will remain topical until
426:
As for the naming, it might be helpful to rename it to just plain Min-max Principle and have "Courant Min-Max Principle" or "Rayleigh's Principle" all point to the same article. That way people who are searching for it but don't know it by one name or another will be more likely to find it.
155:
This article does not seem to be accurate. The minimax princple is usually credited to Rayleigh and Ritz in numerous textbooks. The principle applies equally well in infinite dimensions, as is made clear in the book of Courant and Hilbert, where the very elementary proof (which does not use
280:
I brought this up because Barry Simon wrote a book (Trace ideals and their applications) where a large part of the subject is discussed in detail. It seems pointless referring to other books by Barry Simon which don't treat the subject. Have you looked at the classic textbook
181:
The article should be *expanded*, that's for certain. Change "real and symmetric" to Hermitian, and include, as Mathsci suggests, infinite dimensions. Also, instead of just the min(max()) formulation, include the max(min()) formulation as well.
297:( which is unencyclopedic) that I find unsatisfactory. The fact that I had to add one of the original principal sources (Courant & Hilbert) was not a good sign at all. Please go and read that reference before making further comments. 285:, Volume I? It is unclear why you bother mentioning books that do not treat the subject: there you completely mystify me. As I said, I could not use the present article elsewhere on the WP. (I had a similar but more serious problem with 175:
Franklin's "Matrix Theory" also calls this the "Courant minimax" theorem, and applies it to Hermitian matrices. Just like Horn and Johnson, they also refer to "Rayleigh's principle" as the case when k =1, i.e. lambda_1 = max <Hx,x:
172:
they state it in full min(max(...)) and max(min(...)) terms, for the kth largest eigenvalue of a Hermitian matrix, and then remark that if k = n or k = 1, it reduces to what they call the Rayleigh-Ritz Theorem.
482:, the last one seem to be the most complete and probably all the material should o in that article, and the two other ones being redirects. Kjetil B Halvorsen 21:18, 11 February 2014 (UTC) 254:
sure why Mathscinet brought that up. Anyhow, I don't want to argue about what the most important applications of the minimax principle are. I do agree that the article should be expanded.
133: 474:
The WP organization of this material is quite chaotic! It is treated in multiple different articles, apparently written by people unawere of the others. There are articles
206: 202: 520: 127: 213:
on a compact interval, minimax is the only tool available for estimating eigenvalues since the problem can only be solved in closed form when the potential
515: 103: 327:
Your arrogance and hostility is astounding, and your talk page further confirms this. I do not wish to discuss mathematics with you.
94: 58: 498: 178:. My copy of Barry Simon's "Functional Analysis" doesn't refer to the theorem at all. So I can't say that I agree with Mathsci. 460:
PS: There already is an article on min-max. This article should be dropped with some kind of merging to the existing min-max.
405: 33: 401: 210: 21: 432: 39: 80: 494: 486: 286: 461: 447: 102:
on Knowledge. If you would like to participate, please visit the project page, where you can join
465: 451: 86: 70: 52: 475: 371: 302: 236: 161: 428: 332: 259: 187: 490: 479: 446:
mentioned that it associated witrh Rayleigh, Ritz, Courant and Fisher. -- Barry Simon
469: 455: 436: 409: 375: 336: 306: 263: 240: 191: 165: 509: 362: 367: 298: 232: 157: 423:
start adding this in the coming days and welcome any comments and/or blind rage.
328: 255: 183: 99: 76: 205:. There, because of the state of the current article, I gave my own 15: 98:, a collaborative effort to improve the coverage of 203:Spectral theory of ordinary differential equations 132:This article has not yet received a rating on the 8: 47: 19: 418:Proof, generalizations & applications 49: 521:Unknown-priority mathematics articles 366:3.30pm on Friday, California time.) 7: 92:This article is within the scope of 38:It is of interest to the following 14: 112:Knowledge:WikiProject Mathematics 115:Template:WikiProject Mathematics 79: 69: 51: 20: 516:Stub-Class mathematics articles 293:of this article so much as its 1: 106:and see a list of open tasks. 410:07:26, 5 November 2009 (UTC) 537: 166:08:45, 19 April 2008 (UTC) 470:12:07, 23 June 2011 (UTC) 456:12:04, 23 June 2011 (UTC) 437:07:54, 13 June 2011 (UTC) 131: 64: 46: 376:21:04, 21 May 2008 (UTC) 337:15:05, 20 May 2008 (UTC) 307:06:27, 20 May 2008 (UTC) 264:22:05, 19 May 2008 (UTC) 241:14:53, 17 May 2008 (UTC) 192:00:24, 17 May 2008 (UTC) 134:project's priority scale 211:Sturm-Liouville problem 95:WikiProject Mathematics 28:This article is rated 287:Fredholm determinants 118:mathematics articles 283:Courant and Hilbert 209:. For the standard 207:statement and proof 402:Lost-n-translation 87:Mathematics portal 34:content assessment 503: 489:comment added by 476:Rayleigh quotient 148: 147: 144: 143: 140: 139: 528: 502: 483: 120: 119: 116: 113: 110: 89: 84: 83: 73: 66: 65: 55: 48: 31: 25: 24: 16: 536: 535: 531: 530: 529: 527: 526: 525: 506: 505: 484: 480:Min-max theorem 420: 397: 363:personal attack 153: 117: 114: 111: 108: 107: 85: 78: 32:on Knowledge's 29: 12: 11: 5: 534: 532: 524: 523: 518: 508: 507: 419: 416: 414: 396: 393: 391: 389: 388: 387: 386: 385: 384: 383: 382: 381: 380: 379: 378: 348: 347: 346: 345: 344: 343: 342: 341: 340: 339: 316: 315: 314: 313: 312: 311: 310: 309: 271: 270: 269: 268: 267: 266: 246: 245: 244: 243: 225: 224: 223: 222: 195: 194: 179: 177:/ <x,x: --> 173: 152: 149: 146: 145: 142: 141: 138: 137: 130: 124: 123: 121: 104:the discussion 91: 90: 74: 62: 61: 56: 44: 43: 37: 26: 13: 10: 9: 6: 4: 3: 2: 533: 522: 519: 517: 514: 513: 511: 504: 500: 496: 492: 488: 481: 477: 472: 471: 467: 463: 458: 457: 453: 449: 443: 439: 438: 434: 430: 424: 417: 415: 412: 411: 407: 403: 395:Rewrite Redux 394: 392: 377: 373: 369: 364: 360: 359: 358: 357: 356: 355: 354: 353: 352: 351: 350: 349: 338: 334: 330: 326: 325: 324: 323: 322: 321: 320: 319: 318: 317: 308: 304: 300: 296: 292: 288: 284: 279: 278: 277: 276: 275: 274: 273: 272: 265: 261: 257: 252: 251: 250: 249: 248: 247: 242: 238: 234: 229: 228: 227: 226: 220: 216: 212: 208: 204: 199: 198: 197: 196: 193: 189: 185: 180: 174: 170: 169: 168: 167: 163: 159: 150: 135: 129: 126: 125: 122: 105: 101: 97: 96: 88: 82: 77: 75: 72: 68: 67: 63: 60: 57: 54: 50: 45: 41: 35: 27: 23: 18: 17: 485:— Preceding 473: 459: 444: 440: 425: 421: 413: 398: 390: 294: 290: 282: 218: 214: 154: 93: 40:WikiProjects 429:Compsonheir 109:Mathematics 100:mathematics 59:Mathematics 510:Categories 491:Kjetil1001 30:Stub-class 499:contribs 487:unsigned 462:Bsimonca 448:Bsimonca 368:Mathsci 299:Mathsci 295:content 233:Mathsci 158:Mathsci 151:Rewrite 329:Lavaka 256:Lavaka 184:Lavaka 36:scale. 361:Your 495:talk 478:and 466:talk 452:talk 433:talk 406:talk 372:talk 333:talk 303:talk 291:name 260:talk 237:talk 188:talk 162:talk 176:--> 128:??? 512:: 501:) 497:• 468:) 454:) 435:) 408:) 374:) 335:) 305:) 262:) 239:) 190:) 164:) 493:( 464:( 450:( 431:( 404:( 370:( 331:( 301:( 258:( 235:( 219:x 217:( 215:q 186:( 160:( 136:. 42::

Index


content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
???
project's priority scale
Mathsci
talk
08:45, 19 April 2008 (UTC)
Lavaka
talk
00:24, 17 May 2008 (UTC)
Spectral theory of ordinary differential equations
statement and proof
Sturm-Liouville problem
Mathsci
talk
14:53, 17 May 2008 (UTC)
Lavaka
talk
22:05, 19 May 2008 (UTC)
Fredholm determinants
Mathsci

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑