Jump to content

Wikipedia:Reference desk/Archives/Mathematics/2009 November 2

From Wikipedia, the free encyclopedia
Mathematics desk
< November 1 << Oct | November | Dec >> November 3 >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


November 2

[edit]

Cauchy integral theorem

[edit]

Dear collegues, article Cauchy's integral theorem says that "The Cauchy integral theorem is valid in a slightly stronger form than given above. Suppose U is an open simply connected subset of C whose boundary is the image of the rectifiable path γ. If f is a function which is holomorphic on U and continuous on the closure of U, then ∫γf = 0".

I'm disappointed by that there is no any reference about it. Maybe the trick can be found in the proof of Goursat-lemma. If T is a triangle, int(T) ≠ 0 and f is regular at each point of int(T), then the sequence of the mid triangles (Tn) converges to a point of the int(T). Therefore, it is sufficient to require the differentiability of f at the points of int(T) (and of course the integrability of f along ∂T). Or, is it more difficult? Thanks, Mozó (talk) 11:56, 2 November 2009 (UTC).[reply]

To be precise it's not quite true if the hypotheses are stated that way. The obvious objection is that if U is an open simply connected subset of C, its closure need not be simply connected. And the boundary of U may be the image of a smooth curve γ that is not contractible in . For example take where denotes the open disk of center x and radius r. There is a parametrization γ of the boundary of U which has index 2 to wrto 0, so f(z)=1/z has ∫γf ≠ 0. Of course with the right hypotheses the generalization is true and quite easy to prove. --pma (talk) 14:28, 2 November 2009 (UTC)[reply]
Wow, fascinating counterexample! Thanks! I think it's not about precisity, it's about true or false :) Then we should correct the article.
"quite easy to prove" typical mathematician. :) The generalization is not contained in basic complex analysis books. So, would you please offer us a reference? Or how can I extend my proof to non-triangular shapes (if it is correct)? Mozó (talk) 16:43, 2 November 2009 (UTC)[reply]
You're right about "easy to prove", sorry! But in fact what I meant is the trivial remark (and typical mathematician too) that, under suitable hypotheses, every statement becomes true and easy to prove ;-) For instance, we may just change the assumption on γ in the original statement. Assume: (a): γ is a loop in which is limit in the C1 sense (that is, uniformly with the derivative) of a sequence of C1 loops γj in U . Then 0 = ∫γj f converges to ∫γf, and we are done. In fact (having defined conveniently the path integral for BV curves) it would be sufficient: (b): γ is uniform limit of BV loops in U, with bounded length. However I understand that the spirit of that statement is giving a condition on U only. In this case, (a) is certainly true for any smooth loop in if is a C 1 sub-manifold with boundary of R2. I am not sure at the moment whether it is sufficient to assume a plain: "both U and are simply connected" though, or maybe just " is simply connected". Maybe there is a simple answer that I don't see now. I'll look for references, but I'm not optimistic. --pma (talk) 19:21, 2 November 2009 (UTC)[reply]
"spirit of that statement is giving a condition on U only" Well, complex analysts are esoteric guys, cause while we all know what is "sub-manifold with boundary", they don't use such clear concepts. They're always talking about "moving" contours, paths along the boundary, ... without any discussion on convergency or existence. By the way, Cauchy's integral formula is a highly surprising and inexplicable result, so they must be esoteric :) Mozó (talk) 21:02, 2 November 2009 (UTC)[reply]
Now, I finally see what you mean on "with the right hypotheses the generalization is true and quite easy to prove". The generalization is an immediate consequence of the Cauchy Theorem if we consider some well-known differential topological argument using the right hypotheses. Mozó (talk) 08:24, 3 November 2009 (UTC)[reply]

The answer is: Kodaira, Complex Analysis, Camb. Univ. Press 2007, Theorem 2.3. Since, he proved his celebrated vanishing theorem, I trust in him and indeed, he has nontrivial assumption about the boundary. Mozó (talk) 09:16, 3 November 2009 (UTC)[reply]

What I had in mind as easy case was essentially what I mentioned, an open simply connected domain U with a smooth boundary (or just Lipschitz). I do not see clear the full generality of " is simply connected", even if I'm possibly lacking something. Do you see a more general situation? What is the precise statement of Kodaira's result in the context we are talking of, that is U=a domain of C and its boundary? --pma (talki) 09:28, 3 November 2009 (UTC)[reply]
Kodaira's way: (1) If the boundary of a compact, connected set D consists of finite numbers of "disjoint", smooth Jordan curves then D has a cellular decomposition (the well-known "squares" in pictures of books) (2) He proves the generalization for rectangles by a construction of a uniformly convergent curve sequence, just like you. (3) He states the generalization for a ∂D in (1).
He does not require simply connectedness, since in his construction the integrals along the "inner" and "outer" loops balance each others. Mozó (talk) 18:52, 3 November 2009 (UTC)[reply]


Thanks, very interesting. In the meanwhile, I had some further thoughts that I hope may be of some interest for you:
1. Let U be a bounded domain in C bounded by a simple closed rectifiable loop γ (here by rectifiable loop I mean: of bounded total variation, and of course continuous, )
A classical addendum to the Riemann mapping theorem says that in this situation the biholomorphic Riemann diffeomorphism extends to a continuous
such that is a weakly monotone reparametrization of ; moreover, h has finite energy (it's a minimizer for the energy indeed. It's a special case of Rado's solution of the Plateau's problem, i.e. for plane curves!).
2. Actually we may think with no loss of generality, because the path integral is certainly invariant by reparametrization. The preceding fact (1) then allows to conclude that ∫γf = 0 for any f holomorphic on U and continuous up to , just because the analogous fact is true for the unit disk D, and you can change variable with h (the fact that h has finite energy is relevant to me, because it allows to approximate uniformly with a sequence with (here I'm using polar coordinates) in such a way that have bounded length. So one can pass to the limit in the sequence of the path integrals (which are all zero).
3. Using the above fact (2), I think one could make a proof for this: assume U is any open set of C; that f is holomorphic on U and continuous up to ; that γ is any rectifiable loop in Assume further ind(γ,z)=0 for any z in U (this was exactly the missing condition in the counterexample). Then ∫γf = 0. The idea should be decomposing γ into a countable family of simple loops γk that meet the conditions in (2), and in such a way that we can write ∫γf as a series of the ∫γ kf.
I think I see quite clearly the decomposition lemma, but it would be some effort to put it down here in all details. I think one needs no finiteness assumptions however. I guess this should be more or less equivalent to Kodaira's argument, with the difference that all the Jordan thing and the approximation scheme is already included in the known result (1). So, what do you like more, mine or Kodaira's? forget about the fact that mine is only sketched ;-) --pma (talk) 11:24, 4 November 2009 (UTC)[reply]

True or False? (Game Theory)

[edit]

"In game theory, a player is supposed to choose only one strategy from her strategy set."

===========================True or False???

"To define a game, we must specify every player's payoff at every possible strategy profile."

===========================True or False???

"Among the games below, choose all games that have no pure-strategy Nash equilibrium." 1. Matching Penny; 2. Prisoners' dilemma; 3. Battle of sexes; 4. (Pure) Coordination games.


Thanks a lot! —Preceding unsigned comment added by Aaa50211 (talkcontribs) 14:06, 2 November 2009 (UTC)[reply]

Please do your own homework.
Welcome to Wikipedia. Your question appears to be a homework question. I apologize if this is a misinterpretation, but it is our aim here not to do people's homework for them, but to merely aid them in doing it themselves. Letting someone else do your homework does not help you learn nearly as much as doing it yourself. Please attempt to solve the problem or answer the question yourself first. If you need help with a specific part of your homework, feel free to tell us where you are stuck and ask for help. If you need help grasping the concept of a problem, by all means let us know. You might find our article Game Theory to be helpful. --Sean 14:12, 2 November 2009 (UTC)[reply]
Have you tried out that search box at the top left of the page? just put in a term at a time like 'battle of sexes' and have a look at the results. Dmcq (talk) 19:33, 2 November 2009 (UTC)[reply]

Euler-Lagrange equations and (possibly!) Lagrange multipliers

[edit]

Hi all,

I'm trying to solve the following problem:

Write down the Euler-Lagrange equation for the functional

and find all solutions which satisfy and .

The first bit is just

, right?

Now how on earth do I solve that?

I have a feeling I may also be meant to incorporate the constraint "find all solutions which satisfy..." using Lagrange multipliers - the conditions imply so am I meant to say for some ? If so, I tried using the fact that the funtion f has no explicit dependence on x, i.e. , and then following up with the Beltrami Identity [1] which gave me

, if I did the math correctly. I'm not sure which route to pursue (they probably both lead the same way), or whether I'm doing the right thing: attempting a series solution seems like a terrible idea and other than that I'm out of suggestions!

Thanks for the help :) Spalton232 (talk) 21:56, 2 November 2009 (UTC)[reply]

Write and separate the variables and . After integration, you'll have a first-order equation to separate and integrate again. The general solution is not an elementary function, but the demanded one may be (haven't checked).  Pt (T) 04:18, 3 November 2009 (UTC)[reply]


Few more words. Yours is the nonlinear simple pendulum equation. You'll find it more commonly written (corresponding to u=v-π in your equation). The limit conditions at describe a homoclinic orbit to the unstable equilibrium (the pendulum is vertical with the mass in the highest position at , then falls in infinite time and reaches again the unstable equilibrium for ) The differential equation is solved by means of an elliptic integral and studied qualitatively, starting as shown by Pt(T), by looking at the phase space (u,u'). (according to the value of the energy, you have periodic or monotone solutions &c). In this context, the role of the action functional I(u) is classically bounded to describe some properties of the solutions (that you have found independently, by means of ODE techniques); so you do not have to bother too much about the domain of I(u) &c. Things are different if you consider more complicated (still variational) equations: then, the corresponding action functional becomes a key tool to prove existence and to get information on the solutions, which are found as critical points of the functional (there's a huge amount of calculus of variations and global analysis to do that). Note however that in your problem the limit conditions at may be encoded in the domain of the functional, and you do not have to use Lagrange multipliers. Take as a domain the affine space of all u of the form where is a fixed smooth function with for t<0 and for t>1, and where varies among all functions with (say of class C1, but if you want a Hilbert space, the right choice is the Sobolev space You may also check that if is any weakly differentiable function, and , then u is a (Hölder) continuous function with limits at that are integer multiples of 2π). --pma (talk) 08:14, 3 November 2009 (UTC)[reply]