Talk:Lecture 9
From 15th ISeminar 2011/12 Operator Semigroups for Numerical Analysis
Contents |
How to contribute?
Here you can discuss the material of Lecture 9.
- To make comments you have to log in.
- You can add a new comment by clicking on the plus (+) sign on the top of the page.
- Type the title of your comment to the "Subject/headline" field.
- Add your contribution to the main field.
- You can write mathematical expressions in a convenient way, i.e., by using LaTeX commands between <math> and </math> (for instance, <math> \mathrm{e}^{tA}u_0 </math> gives e^{tA}u_{0}).
- Please always "sign" your comment by writing ~~~~ (i.e., four times tilde) at the end of your contribution. This will be automatically converted to your user name with time and date.
- You can preview or save your comment by clicking on the buttons "Show preview" or "Save page", respectively.
Although all participants are allowed to edit the whole page, we kindly ask you not to do it and refrain from clicking on the "Edit" button. Please do follow the above steps.
Remember that due to safety reasons, the server is off-line every day between 4:00 a.m. and 4:20 a.m. in local time (CEST).
Comments
Hello, so I guess I have some typos and a remark. I begin with some typos.
I think in Prop. 9.8 the θ and have to be an index.
In the proof of Prop. 9.15, considering the equation in the middle of the page, which begins with T(z)f − f, there is one f too much in the central term of the equality.
In the proof of Cor. 9.22 b) you refer to Remark 7.10, which does not exist. I think you either might mean Inequality (7.10) or Remark 7.24.
Now, I have got a remark concerning the proof of Proposition 9.14 c), where you prove the semigroup property of T. In the last line of page 103 you state that
where is an admissible curve to the right of γ. But this does not fit very well with Cauchy's Theorem, because if μ is a point on , then this point lies on the right hand side of γ, consequently we get
by Cauchy's Theorem. Conversly, if λ is a point on γ, we would obtain by Cauchy's Theorem
Sincerely PatrickTolksdorf 21:00, 13 December 2011 (CET)
Some comments
p.101, (9.1): I think, the domain of γ_{η,r,3} should be instead of .
Prop. 9.14: Here some words are missing: in the statement "the following _assertions_ are true", in the proof "in (9.3) these _estimates_ yield" and on p. 104, "_we_ have seen"
Prop. 9.15, proof, seventh line from below: "for all λ that lie on" (not lies)
Cor. 9.16, (ii): You here talk of a bounded holomorphic semigroup, but everywhere else you call it a bounded analytic semigroup.
Prop. 9.17, proof, second calculation: I think in the third expression you lost a factor , which came from the absolute value of . In the same expression you write , but you mean . Then you estimate . The problem that I see here, is that, according to my calculation, γ is not a subset of but only of . Does the claimed estimate still hold by a continuity argument? (But the mapping doesn't need to be continuous, does it?) (Furthermore, you wrote instead of .)
In the same proof you don't mention that if A generates a bounded analytic semigroup, we have , what you have claimed. Why, and why is this the case?
Prop. 9.21, fifth line from below: "From this _we_ can"
Cor. 9.22, b): Maybe you could add that Rem 7.24 (or inequality (7.10), see Patrick's comment) proves the statement for . Later you suppose at one point that α > 1. Two lines later you suppose , which sounds a bit strange, especially because you have already dealt with the case α = 1 several lines before.
JohannesEilinghoff 15:33, 13 December 2011 (CET)
Dear Johannes,
concerning the proof of Proposition: You are right - in the proof of first implication a proof of the fact that for t > 0 is missing. You can obtain that result by the following observation: is differentiable on the intervall (with respect to the operator norm) and hence the limit that has to exist in order to bring T(t) into the domain of our generator exists.
MoritzEgert 18:09, 15 December 2011 (CET)
Dear Johannes,
concerning `(But the mapping doesn't need to be continuous, does it?)': We are dealing with an analytic semigroup, and therefore the mapping is continuous on Σ_{θ} as an -valued mapping.
JurgenVoigt 22:52, 21 December 2011 (CET)
Proof of Proposition 9.19
Dear Isem-Team,
I don't see why the last equality in the last estimate in the proof of Proposition 9.19 should hold, for λ and α have nothing to do with each other. I suggest to use the previously obtained estimates instead. For instance, in the case one has
which gives the desired estimate.
MoritzEgert 18:17, 15 December 2011 (CET)
comments
p.97: Had been defined? (Or is it considered general education?)
p.100, line 1: Why not ? ( might be larger than θ, anyway.)
Definition 9.9: I think you should allow . (See Engel-Nagel.) Then, in Example 9.10, you get that M_{m} is of angle .
Remark 9.11 (a) I do not understand why you use δ' and not η, here. (After all the estimate is used later always for η.) (b) I find this rather confusing. Keeping to the figure on p. 101, I would expect angles δ' < η < δ, possibly with , and then the estimates for all λ with and all z with .
p.103, line7: ...these estimates yield ... And three lines below: If we specialise ...
p.103, last line: I think that Patrick is right with his remark above. The reason is that one has to supplement arcs on the left, for the application of Cauchy's theorem. Additionally: Typo in the first integral, it should be dμ. And maybe one should supplement the first of the integrals with `for all λ on γ', and the second correspondingly.
p.104, line 7 from below: for all λ lying on ...
p.106, middle: Replace T^{n}(t / n) by T(t / n)^{n}.
p.106, line 7 from below: ... These considerations yield ... And in the next line: Discard 'uniformly'.
p.107: It is not clear, what an `analyitic semigroup of type (M,ω)' should be. The ω might mean something like in Prop. 9.20; but what is M, then? Or just analytic, and the restriction to is of type (M,ω)?
p.109, line 3: t > 0
p.110: Is the weak L^{p}-space? Is everybody assumed to be familiar with this?
Greetings, JurgenVoigt 16:12, 16 December 2011 (CET)
Dear Jürgen,
on p.110 I am sure that is not the weak L^{p}-space but as, e.g. in Triebel's book on interpolation theory. PeerKunstmann 14:59, 19 December 2011 (CET)
Dear Jürgen,
indeed, was defined in Section 8.6. But you are right, we should have made a reference to it. We will correct this in the revised version. IsemTeam 16:01, 19 December 2011 (CET)
It should have read , of course. PeerKunstmann 18:18, 19 December 2011 (CET)
Dear Peer, thanks! (I had already wondered what to make of your measure.) Anyway, I definitely dislike the misleading notation (even if the great Triebel introduced or used it), and I do not see a reason why to use it here, if there is the self-explanatory notation . I understand now that the * seems to be there in order to indicate that one uses the Haar measure for the multiplicative group , but then it does not belong to the L. Greetings, JurgenVoigt 10:00, 20 December 2011 (CET)
Dear Jürgen, we will change the notation in the updated version. We have chosen it because Triebel and Lunardi and many others in interpolation theory use it, but we also do not like it very much. IsemTeam 10:07, 20 December 2011 (CET)
Comments on Propositions 9.17. and 9.23.
Dear Isem-Team,
I think in Proposition 9.17 you have to assume that A generates a bounded semigroup, since in the second step of the proof you use this fact and I do not see, how to derive this from the given assumptions.
And a typo in Proposition 9.23: There should be no power p in the inner integral.
Best regards
SaschaTrostorff 12:51, 19 December 2011 (CET)
Dear Sascha, you are absolutely right. We have to assume boundedness. IsemTeam 16:05, 19 December 2011 (CET)
Concerning Prop.9.21
The last line of the statement should be
.
(Or else, in view of one of my remarks on Lecture 8,
.
In this form it would also be true for α = 1.)
In the first line of (9.8), the second ` = ' should be a `'.
And in the last two sentences of the proof it might be more precise to refer to the beginning of the estimates (9.7) and (9.8) for the two implications.
JurgenVoigt 23:16, 21 December 2011 (CET)