Non-extendability of holomorphic functions with bounded or continuously extendable derivatives
|
|
- Ἀράμ Παπαγεωργίου
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Non-extendability of holomorphic functions with bounded or continuously extendable derivatives (Μη επεκτασιμότητα ολομόρφων συναρτήσεων με φραγμένες ή συνεχώς επεκτάσιμες παραγώγους) Διπλωματική Εργασία Μοσχονάς Διονύσιος Επιβλέπων: Νεστορίδης Βασίλειος Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Αθήνα
2 1
3 Εισαγωγή Ας υποθέσουμε ότι έχουμε μια συνάρτηση f ορισμένη σε ένα διάστημα I και ότι οι παράγωγοί της f (a) και f (b) είναι φραγμένες, όπου a και b είναι φυσικοί αριθμοί, 0 a < b < +. Εστω l ένας φυσικός αριθμός, τέτοιος ώστε a < l < b, θεωρούμε τώρα την παράγωγο f (l). Μία φυσιολογική ερώτηση είναι εάν η f (l) είναι επίσης φραγμένη, ή γενικότερα, τι μπορούμε να πούμε για τον ρυθμό αύξησης της f (l) στο I. Αυτό το ερώτημα έχει ερευνηθεί από διάφορους μαθηματικούς, όπως οι Landau, Kolmogorov, Hardy, Littlewood και άλλοι. Συγκεκριμένα, αν I = R ή I = (0, + ), τότε εάν οι f (a) και f (b) είναι φραγμένες, τότε η f (l) είναι επίσης φραγμένη, a < l < b. Επεται ότι, αν Ω είναι ένα ανοικτό υποσύνολο του μιγαδικού επιπέδου C και αν f είναι μια ολόμορφη συνάρτηση στο Ω, τέτοια, ώστε οι f (a) και f (b) να είναι φραγμένες στο Ω, τότε όλες οι ενδιάμεσες παράγωγοι f (l), a < l < b, είναι επίσης φραγμένες στο Ω, υπό την προυπόθεση ότι το Ω είναι ένωση ανοικτών ημιευθειών. Για παράδειγμα, το Ω θα μπορούσε να είναι το εσωτερικό μιας γωνίας, μια λωρίδα, η ένωση των εσωτερικών δύο τεμνόμενων γωνιών, η ένωση δύο τεμνόμενων λωρίδων και άλλα. Η παραπάνω θεώρηση μας οδηγεί στο να ορίσουμε τον χώρο: H F (Ω) = {f : Ω C ολόμορφη : f (l) φραγμένη στο Ω, για κάθε l F }, όπου το F είναι ένα αυθαίρετο, μη κενό υποσύνολο του N 0 = {0, 1,...} και να εξετάσουμε κατά πόσο ισχύει η σχέση HF (Ω) = H F (Ω) ή όχι, όπου F = {l N 0 : min F l sup F }. Πράγματι, αν το Ω είναι ένωση ανοικτών ημιευθειών, τότε HF (Ω) = H F (Ω). Πιστεύουμε ότι αυτό δεν ισχύει στην περίπτωση εν γένει για όλα τα ανοικτά σύνολα, αλλά δε έχουμε αντιπαράδειγμα. Επιπλέον, πιστεύουμε ότι μπορεί να οριστεί μια πλήρης μετρική στο σύνολο όλων των ανοικτών συνόλων Ω (που περιέχονται σε ένα δίσκο), έτσι ώστε για το τυχόν ανοικτό σύνολο Ω, να ισχύει HF (Ω) H F (Ω). Ο χώρος HF (Ω), εφοδιασμένος με τη φυσιολογική του τοπολογία, είναι χώρος Fréchet και έτσι το θεώρημα κατηγορίας του Baire είναι στην διάθεσή μας για να αποδείξουμε κάποια γενικά αποτελέσματα. Σε αναλογία με τον HF (Ω), θεωρούμε τον χώρο: A F (Ω) = {f : Ω C ολόμορφη : f (l) έχει συνεχή επέκταση στο Ω, για κάθε l F }, όπου η κλειστή θήκη λαμβάνεται στο C. Αυτός ο χώρος, εφοδιασμένος με τη φυσιολογική του τοπολογία, είναι χώρος Fréchet και το θεώρημα κατηγορίας του Baire μπορεί να εφαρμοστεί για να αποδείξουμε κάποια γενικά αποτελέσματα. Επιπλέον, χρησιμοποιούμε την πληρότητα των χώρων αυτών για να αποδείξουμε ότι είτε κάθε συνάρτηση είναι επεκτάσιμη, ή σχεδόν κάθε κάθε συνάρτηση είναι μη επεκτάσιμη. Δίνουμε παραδείγματα όπου εμφανίζεται κάθε μία από τις περιπτώσεις αυτής της διχοτομίας. Τέλος, στην τελευταία ενότητα παρουσιάζουμε ακόμα μια διχοτομία σχετικά με τον χώρο HF (Ω): αν F είναι ένα μη κενό υποσύνολο του N 0 = {0, 1,...}, Ω είναι ένα ανοικτό υποσύνολο του C και l / F, τότε είτε για κάθε συνάρτηση f στον HF (l) (Ω) η παράγωγος f είναι φραγμένη, ή σχεδόν για κάθε συνάρτηση f στον HF (Ω) η παράγωγος f (l) είναι μη φραγμένη. Ετσι, είτε HF (Ω) = H F {l} (Ω), ή ο H F {l} (Ω) είναι πρώτης κατηγορίας στον H F (Ω). Παραμένει ανοικτό το να βρεθεί ένα παράδειγμα ανοικτού συνόλου Ω C για το οποίο η ισότητα HF (Ω) = H F (Ω) να αποτυγχάνει, αν και πιστεύουμε ότι τέτοια παραδείγματα υπάρχουν και ότι αυτό το φαινόμενο ισχύει στην γενική περίπτωση ανοικτών συνόλων Ω. Αποδεικνύουμε επίσης ότι για κάθε μη φραγμένο ανοικτό σύνολο Ω και για κάθε F N 0, σχεδόν για κάθε συνάρτηση f στον A F (Ω), όλες οι παράγωγοι f (l), l N 0, είναι μη φραγμένες. 1
4 1
5 1 Introduction Suppose that f is a function defined on an interval I and that its derivatives f (a) and f (b) are bounded, where a and b are natural numbers, 0 a < b < +. Let l be a natural number, such that a < l < b and consider the derivative f (l). A natural question is if f (l) is also bounded, or more generally what can be said about the growth of f (l) on I. This question has been investigated by several mathematicians, such as Landau, Kolmogorov, Hardy, Littlewood and others; see [3], [4], [5], [6]. In particular, if I = R or I = (0, + ), then the boundedness of f (a) and f (b) imply the boundedness of f (l), a < l < b ([2], [3]). It follows that, if Ω is an open subset of the complex plane C and if f is a holomorphic function on Ω, such that f (a) and f (b) are bounded on Ω, then all the intermediate derivatives f (l), a < l < b, are also bounded on Ω, provided that Ω is the union of open half-lines. For instance, Ω could be an open angle, or a strip, or the union of two meeting angles, or of two meeting strips, etc. The above consideration leads us to consider the space: H F (Ω) = {f : Ω C holomorphic : f (l) is bounded on Ω, for all l F }, where F is an arbitrary, non-empty subset of N 0 = {0, 1,...} and examine whether HF (Ω) = H F (Ω) or not, where F = {l N 0 : min F l sup F }. Indeed, if Ω is a union of open half-lines, then HF (Ω) = H F (Ω). We believe that this does not hold for the general open set, but we do not have a counter-example. Furthermore, we believe that a complete metric can be defined on the set of all open sets Ω (contained in a disc), so that for the generic open set Ω, it holds HF (Ω) H F (Ω). The space HF (Ω), endowed with its natural topology, is a Fréchet space and thus Baire s Category theorem is at our disposal in order to prove some generic results. In analogy to the space H F (Ω), we consider the space: A F (Ω) = {f : Ω C holomorphic : f (l) has a continuous extension on Ω, for all l F }, where the closure is taken in C. This space, endowed with its natural topology, is also a Fréchet space and Baire s theorem can be applied in order to prove some generic results. Moreover, we use the completeness of these spaces and a result from [14] to prove that either every function is extendable, or generically every function is non-extendable. We give examples where each horn of the above dichotomy occurs. We note that if p N 0 = {0, 1,...} and F = {0, 1,..., p}, the spaces H F (Ω) and A F (Ω) are denoted by H p (Ω) and A p (Ω), respectively; these spaces have been studied extensively in [13] and elsewhere. Finally, in the last section we present another dichotomy result regarding the space HF (Ω), proven using a result from [15]. It states that if F is a non-empty subset of N 0 = {0, 1,...}, Ω is an open subset of C and l / F, then either for every function f in HF (Ω) the derivative f (l) is bounded, or generically for every function f in HF (Ω) the derivative f (l) is unbounded. Thus, either HF (Ω) = H F {l} (Ω), or H F {l} (Ω) is meager in H F (Ω). It remains open to find an example of an open set Ω C for which the equality HF (Ω) = H F (Ω) fails to hold, though we believe that such examples exist and that this phenomenon is valid for 1
6 the generic open set Ω. We also prove that for any unbounded open set Ω and any F N 0, generically for every function f in A F (Ω), all derivatives f (l), l N 0, are unbounded. 2 Preliminaries We give the following definition: Definition 2.1: Let Ω C be an open set and f : Ω C be a holomorphic function. We say that f is extendable (in the sense of Riemann surfaces) if there exist two open discs D 1 and D 2, such that D 2 Ω, D 2 Ω c and D 1 D 1 D 2 Ω and a (bounded) holomorphic function F : D 2 C, such that F D1 = f D1. Otherwise, we say that f is non-extendable, or that it is holomorphic exactly on Ω. Remark 2.2: The reason for which F can be chosen to be bounded is that, if needed, we can replace disc D 2 by another disc D 2 compactly contained in D 2, that is D 2 D 2, such that D 1 D 2 Ω. Also, in Definition 2.1, one can replace D 2 with any non-empty domain U C satisfying U Ω and U Ω c and replace D 2 with a connected component V of U Ω, resulting in an equivalent definition of extendability; see [14] for a proof of this fact. In [14] we find the following theorem, proven using Baire s and Montel s theorems: Theorem 2.3: Let Ω C be an open set and H(Ω) be the set of holomorphic functions on Ω. Also, let X(Ω) H(Ω) be a topological vector space endowed with the usual operations +,, whose topology is induced by a complete metric. Suppose that the convergence f n f in X(Ω) implies the pointwise convergence f n (z) f(z), for all z Ω. Then, there exists an f X(Ω) which is non-extendable, if and only if, for any two discs D 1 and D 2 as in Definition 2.1, there exists a function f D1,D 2 X(Ω) so that the restriction f D1,D 2 D1 on D 1 does not possess a (bounded) holomorphic extension on D 2. If the previous assumptions hold, then the set S = S X(Ω) = {f X(Ω) : f is non-extendable} is a dense and G δ subset of X(Ω). Corollary 2.4: The set S X(Ω) from Theorem 2.3 is always a G δ subset of X(Ω), because either S X(Ω) =, or S X(Ω) and then it is dense and G δ from the previous theorem. We also present the following geometric lemma which will be useful in section 5. The proof we provide is quite elementary: Lemma 2.5: Let Ω C be an open set. If Ω is unbounded and convex, then it is the union of open half-lines. Proof: Fix a point α in Ω. Since Ω is unbounded, there exists a sequence (z n ) n of points in Ω, such that 0 < z n α +. Let h n = zn α z, then h n α n = 1, for all n N. That is, every h n belongs to the compact set S 1 = {z C : z = 1}, therefore we can extract a convergent subsequence of (h n ) n. For simplicity and without any loss of generality, we can assume that (h n ) n itself converges to some h S 1, as n. We will show that α+th Ω, for all t > 0 (for t = 0 it is trivial). Indeed, let t > 0. Since z n α +, for large enough n we have that z n α > 2t and therefore 0 < 2t z n α < 1. Since α Ω, z n Ω for all 2
7 n N and Ω is convex, we deduce that: ( w n = 1 for large enough n. Observe that: 2t z n α ) α + 2t z n α z n Ω w n = α + 2t z n α z n α = α + 2th n a + 2th. Therefore, w n 2th α and thus 2α + 2th w n α. Since α Ω and Ω is an open set, we deduce that 2α + 2th w n Ω, for large enough n. So far, we have showed that w n Ω and 2α + 2th w n Ω, for large enough n. For these points, the convexity of Ω implies the following: 1 2 w n (2α + 2th w n) = α + th Ω. Thus, the closed half-line {α+th : t 0} is contained in Ω. In order to find an open half-line contained in Ω, we pick an r > 0 sufficiently small, so that the disc D(α, r) is contained in Ω. Then, by extending the closed half-line {α + th : t 0} towards point α by an open line segment of length r, we conclude that the open half-line {α + th : t > r}, which is parallel to h, is contained in Ω. This completes the proof. Remark 2.6: The result obtained in the previous lemma can be strengthened in the following sense: if Ω C is an open, unbounded, convex set, then it is the union of open half-lines which are parallel to each other. This implication follows directly from the previous proof. Indeed, pick any two points α, β Ω and consider u n = zn α z and v n α n = zn β z n β, for n N, where (z n ) n is a sequence of points in Ω, such that z n and z n α, β for all n N. As in the proof of Lemma 2.5, we can assume that u n u and v n v, for some u, v C with u = v = 1. Furthermore, the proof of Lemma 2.5 guarantees that for some r 1, r 2 > 0 the open half-lines L α,u = {α + tu : t > r 1 } and L β,v = {β + tv : t > r 2 } are contained in Ω, where L α,u passes through point α and is parallel to u, while L β,v passes through point β and is parallel to v. A short calculation shows that: u n v n = z n α z n α z n β z n β 0, thus u = v. Therefore, L α,u and L β,v are parallel, as desired. This means that u can be thought of as a direction of the set Ω. Also, if we consider the set of all open half-lines contained in Ω emanating from a fixed point α, then this set defines, in general, an open cone contained in Ω with a certain angle θ. The only exception is the case of an open strip, where the above set contains only two opposite half-lines. Clearly, θ is independent of the choice of the starting point α. If θ is greater than 180, then Ω = C and if θ = 180, then Ω is a open half-plane. If θ is less than 180, not much can be said about the geometry of Ω; it could be an open strip, the interior of an angle, the interior of a parabola or the interior of the branch of a hyperbola etc. Remark 2.7: The inverse of Lemma 2.5 does not hold, an open set Ω C which is the union of open (parallel) half-lines is certainly unbounded, but not necessarily convex, even 3
8 if Ω is assumed to be connected; this fact is illustrated by picking Ω = {z C : z > 1}. Furthermore, Lemma 2.5 and Remark 2.6 are also valid for any open, unbounded, convex set Ω R d or C d, d N, since the unit sphere is compact in each case. However, the compactness of the unit sphere, which is equivalent to the finiteness of the dimension of the ambient space, is essential for Lemma 2.5 and Remark 2.6 to hold, since neither of these statements are true in general, if such an Ω is a subset of an infinite-dimensional topological vector space. We will neither concern ourselves with these type of results in the present paper, nor will we provide counter-examples, though they will be investigated in future work. Remark 2.8: If Ω C is a closed, unbounded, convex set, then it is the union of closed half-lines, since by repeating the proof of Lemma 2.5 and replacing 2t with t, we have that w n Ω for large enough n and that w n α + th, thus α + th Ω from the closedness of Ω. Clearly, the last step of that proof cannot be repeated when dealing with boundary points of Ω, though it can be repeated for its interior points. Thus, for any point α Ω we can find a closed half-line entirely contained in Ω containing point α and if α belongs to the interior Ω o of Ω, then the half-line can be chosen to be open. However, if Ω is assumed neither open, nor closed, then Lemma 2.5 does not hold in general; for instance, let Ω be the strip {z C : 0 < Imz < 1} {0} which has 0 as a boundary point, but no half-line entirely contained in Ω exists containing 0. In light of this remark, one can easily formulate results analogous to Lemma 2.5 and Remarks 2.6 and 2.7 for closed, unbounded, convex sets. 3 The spaces H F (Ω) and A F (Ω) If Ω C is a domain, we denote by H (Ω) the space of bounded holomorphic functions on Ω, endowed with the supremum norm; it is a Banach space. If F N 0 = {0, 1,...} is a non-empty set, then we wish to consider the space HF (Ω), containing all holomorphic functions f on Ω, such that the derivative f (l) belongs to H (Ω), for all l F. Namely: H F (Ω) = {f H(Ω) : f (l) H (Ω), for all l F }. We define a natural topology on this space via the seminorms: sup f (l) (z), for l F and f (l) (z o ), for 0 l < min F, where z o is an arbirtrary, yet fixed point in Ω. We will show that HF (Ω) is a complete metric space, hence a Fréchet space. In fact, if F is finite, it is a Banach space. In any case, Baire s theorem is at our disposal. Theorem 3.1: Let Ω C be a domain and F N 0 be a non-empty set. Then, the space HF (Ω) with its natural topology is a complete metric space. For the proof we need the following propositions: Proposition 3.2: Let Ω C be a domain and z o be a fixed point in Ω. Also, let f n, f, n N, be holomorphic functions on Ω. Assume that f n f uniformly on compact subsets of Ω and that f n (z o ) f(z o ). Then, f n f uniformly on compact subsets of Ω. 4
9 Proof: Let D(z, r) be a disc, such that D(z, r) Ω. If f n (z) f(z), then by writing: f(w) = f(z) + f (ζ)dζ, for all w D(z, r), one can easily show that f n f uniformly on D(z, r). Therefore, the set G = {z Ω : f n (z) f(z)} can easily seen to be open and closed in Ω. Since z o G and Ω is connected, it follows that G = Ω and thus the convergence f n f is uniform on every closed disc contained in Ω. Since every compact subset of Ω can be covered by a finite union of such discs, we conclude that f n f uniformly on compact subsets of Ω. [z,w] Proposition 3.3: Let Ω C be a domain and z o be a fixed point in Ω. Also, let (f n ) n be a sequence of holomorphic functions on Ω. Assume that the sequence (f n) n is uniformly Cauchy on compact subsets of Ω and that the sequence (f n (z o )) n is Cauchy. Then, there exists a holomorphic function f on Ω, such that f n f uniformly on compact subsets of Ω. Proof: Let g(z) = lim f n(z), where the convergence is uniform on every compact subset of Ω. If we show that g has a primitive f on Ω, then by adding a constant we can obtain f(z o ) = lim f n (z o ). Then, Proposition 3.2 yields the result. Therefore, it remains to prove that g has a primitive on Ω, even though Ω is not assumed to be simply connected. It suffices to show that: g(ζ)dζ = 0, γ for all closed polygonal lines γ in Ω ([1]). Let γ be such a curve. Since f n g uniformly on the compact set γ, it follows that: g(ζ)dζ = lim f n(ζ)dζ = 0, where the last equality is true because γ is a closed curve. γ γ A combination of Propositions 3.2 and 3.3 easily implies Theorem 3.1: HF space. (Ω) is a Fréchet We now turn our attention to the second space at hand. If Ω C is a domain, we denote by A(Ω) the space of holomorphic functions on Ω possessing a continuous extension on Ω, where the closure is taken in C. If Ω is bounded, then this space, endowed with the supremum norm, is a Banach space. If Ω is unbounded, then the topology of A(Ω) is defined by the seminorms: sup f(z), for n N, z n and then it is a Fréchet space. If F N 0 = {0, 1,...} is a non-empty set, then we wish to consider the space A F (Ω), containing all holomorphic functions f on Ω, such that the derivative f (l) belongs to A(Ω), for all l F. Namely: A F (Ω) = {f H(Ω) : f (l) A(Ω), for all l F }. 5
10 The natural topology of A F (Ω) is the one defined by the seminorms: f (l) (z), for l F, n N and f (l) (z o ), for 0 l < min F, sup z n where z o is an arbitrary, yet fixed point in Ω. We will show that A F (Ω) is a complete metric space, hence a Fréchet space. In fact, if Ω is bounded and F is finite, it is a Banach space. Thus, Baire s Theorem can be applied once again. Theorem 3.4: Let Ω be a domain and F N 0 be a non-empty set. Then, the space A F (Ω) with its natural topology is a complete metric space. The proof of Theorem 3.4 is similar to that of Theorem 3.1, therefore, it is ommited. We proceed to the setting of open sets. Let Ω be an open subset of C. Then, Ω has countable connected components Ω i, i I, where I is either finite, or I = N. For every i I, we fix a point z i in Ω i. Let F N 0 = {0, 1,...} be a non-empty set. We consider the spaces: and H F (Ω) = {f H(Ω) : f (l) H (Ω), for all l F } A F (Ω) = {f H(Ω) : f (l) A(Ω), for all l F }. The topology of HF (Ω) is induced by the seminorms: sup f (l) (z), for l F and f (l) (z i ), for 0 l < min F, i I. The topology of A F (Ω) is induced by the seminorms: f (l) (z), for l F, n N and f (l) (z i ), for 0 l < min F, i I. sup z n By applying the previous results of this section regarding domains to each connected component of the open set Ω, we deduce that H F (Ω) and A F (Ω) are Fréchet spaces; the proofs of these assertions are similar to the ones in the case where Ω was a domain, only with some minor modifications. Therefore, Theorems 3.1 and 3.4 extend to the case of non-connected open sets Ω. Also, Baire s theorem can be applied. Theorem 3.5: Let Ω C be an open set and F N 0 be a non-empty set. Then, the space HF (Ω) with its natural topology is a complete metric space. Theorem 3.6: Let Ω C be an open set and F N 0 be a non-empty set. Then, the space A F (Ω) with its natural topology is a complete metric space. 6
11 4 Two special cases of open sets and bounded functions In this section, we consider two special cases of open sets Ω C, where Ω is: A: the union of open half-lines B: a bounded convex domain and we prove some results regarding the space H F (Ω), where F N 0 = {0, 1,...} is a non-empty set. In particular, we examine whether the spaces H F (Ω) and H F (Ω) coincide or not, where F = {l N 0 : min F l sup F }. In case A, this is true. In case B, we can replace F with the set F 0 = {l N 0 : 0 l sup F } and then of course H F (Ω) = H F (Ω). Case A: We present the following interpolation inequality involving derivatives of functions of one real variable, which gave us the motivation for case A; we refer to [3]: Theorem 4.1: (Landau-Kolmogorov inequality) Let f be a real- or complex-valued function defined on I, where I = R or I = (0, + ). Assume that f is n-times differentiable on I and let: M k = sup x I f (k) (x), for k = 0, 1,..., n. Then, if both M 0 and M n are finite, the following bounds are valid: M k C(n, k, I) M 1 k/n 0 M k/n n, for k = 1,..., n 1, where 0 < C(n, k, I) < + are constants dependent only on n, k and I. It follows that if f and f (n) are bounded, then all the indermediate derivatives f (k), k = 1,..., n 1, are bounded as well. We make some additional remarks. These constants depend on I only in the following sense: C(n, k, R) and C(n, k, (0, + )) are different, but in each case they depend only on n and k. Hence, from now on we will denote these constants simply by C(n, k), since the dependency on I is of no true significance and to emphasize the fact that we compare derivatives of order 0, k and n. Furthermore, C(n, k) lie between 1 and π 2 for all n and k and can be expressed in terms of the Favard constants, which are defined as some series of numbers; these results, among others, are due to Kolmogorov, see [3] for details and some results on the asymptotic behaviour of C(n, k). Most of the literature surrounding this inequality is concerned with describing the behaviour of C(n, k) and providing sharp bounds and estimates for them. We note that, for our purposes, the exact value of these constants will be irrelevant; an explicit formula is unknown anyway. Also, it is clear that such an inequality holds for functions defined on any open unbounded interval, when comparing derivatives of any order. Finally, we note that we shall make use of this inequality in the following simpler form: M k C(n, k) max{m 0, M n }, for k = 1,..., n 1, which we easily derive from the previous one. Inspired by Theorem 4.1, we are now ready to prove the following: 7
12 Theorem 4.2: Let Ω C be an open set, which is the union of open half-lines and F N 0 be a non-empty set. Then, H F (Ω) = H F (Ω), where F = {l N 0 : min F l sup F }. Proof: Clearly, H F (Ω) HF (Ω). For the inverse inclusion, let f H F (Ω). Fix any point p in Ω, then there exists an open half-line L contained entirely in Ω, upon which lies point p. We can identify L with the interval I := ( ε, + ), for any fixed ε > 0; that is, I will serve as a parametrization of L. Choose an h C, parallel to L, with h = 1. Consider the function g : I C, defined by g(t) = f(p+th). Since f is holomorphic on Ω, g is of class C on I and g (k) (t) = f (k) (p + th) h k, for all t I and k N 0. Therefore, g (k) (0) = f (k) (p), for all k N 0, since h = 1. Observe that: M k := sup g (k) (x) = sup f (k) (z), x I z L for all k N 0. We will show that f H F (Ω). To this end, we pick an l F \ F and we will show that f (l) H (Ω) (if l F, we have nothing to prove). Next, pick any α 1, α 2 F such that α 1 < l < α 2. Since f H F (Ω) and α 1, α 2 F, we have that f (α1) and f (α2) are bounded on Ω, thus they are also bounded on L Ω. Consequently, g (α1) and g (α2) are bounded on I, that is M α1 < + and M α2 < +. By invoking Theorem 4.1, we obtain the existence of some constants C(α 1, k, α 2 ) satisfying: M k C(α 1, k, α 2 ) max{m α1, M α2 }, for all k N satisfying α 1 < k < α 2. Since α 1 < l < α 2, it follows that M l < +, which means that g (l) is also bounded on I. Hence: f (l) (p) = g (l) (0) M l C(α 1, l, α 2 ) max{m α1, M α2 } and for j = α 1, α 2 we have that: M αj = sup f (αj) (z) sup f (αj) (z) < +. z L The last two inequalities combined imply that: { } f (l) (p) C(α 1, l, α 2 ) max sup f (α1) (z), sup f (α2) (z), from which we obtain the following: { } sup f (l) (z) C(α 1, l, α 2 ) max sup f (α1) (z), sup f (α2) (z) < +. Hence, f (l) is bounded on Ω; that is f (l) H (Ω) and l was arbitrary. This implies that f H F (Ω), thus H F (Ω) H F (Ω), completing the proof. We have proved that H F (Ω) = H F (Ω), where Ω C is the union of open half-lines, F N 0 is a non-empty set and F = {l N 0 : min F l sup F }. So far, this is an equality between sets. We will show that the topologies of these spaces coincide as well. 8
13 We remind that if Ω C is an open set with connected components Ω i, i I, where I is either finite, or I = N and z i is a fixed point in each Ω i, we topologize H F (Ω) via the seminorms: sup f (l) (z), for l F and f (l) (z i ), for 0 l < min F, i I. Since F F and min F = min F, the topology of H F (Ω) is defined by the same seminorms, in addition to the following ones: sup f (l) (z), for l F \ F, for which we gave the following bounds during the proof of Theorem 4.2: { } sup f (l) (z) C(α 1, l, α 2 ) max sup f (α1) (z), sup f (α2) (z), where l F \ F, α 1, α 2 F satisfying α 1 < l < α 2 and C(α 1, l, α 2 ) are the constants mentioned in Theorem 4.1. It follows that these topologies are indeed the same. Therefore, we have proved the following statement: Proposition 4.3: Let Ω C be an open set, which is the union of open half-lines and F N 0 be a non-empty set. Then, H F (Ω) = H F (Ω) as topological spaces, where F = {l N 0 : min F l sup F }. Remark 4.4: A second proof of the equivalence of these topologies can be given using the Open Mapping theorem for Fréchet spaces. Recall Lemma 2.5 from section 2. If Ω C is an unbounded convex domain, then Ω is the union of open (parallel) half-lines. Consequently, Theorem 4.2 and Proposition 4.3 are valid for such a domain Ω. Therefore, we combine Lemma 2.5, Theorem 4.2 and Proposition 4.3 and we obtain the following: Theorem 4.5: Let Ω C be an unbounded convex domain and F N 0 be a non-empty set. Then, H F (Ω) = H F (Ω), where F = {l N 0 : min F l sup F }. Proposition 4.6: Let Ω C be an unbounded convex domain and F N 0 be a non-empty set. Then, H F (Ω) = H F (Ω) as topological spaces, where F = {l N 0 : min F l sup F }. Case B: We begin with an elementary observation. Let Ω C be a bounded convex domain and f be a bounded holomorphic function on Ω. Using the convexity and boundedness of Ω, it is easy to see that the primitive: F (z) = f(ζ)dζ [α,z] of f, where α is an arbitrary, yet fixed point in Ω, determining the path of integration, is Lipschitz continuous on Ω. Thus, F is uniformly continuous on Ω, which implies that F is continuously extendable on the compact set Ω. This in turn implies that F is bounded 9
14 on Ω. Since every other primitive of f differs from F only by a constant, we deduce that every primitive of f is bounded and uniformly continuous on Ω. By making use of these statements, we prove the following: Theorem 4.7: Let Ω C be an bounded convex domain and F N 0 be a non-empty set. Then, H F (Ω) = H F0 (Ω), where F 0 = {l N 0 : 0 l sup F }. Proof: Clearly, H F0 (Ω) HF (Ω). For the inverse inclusion, let f H F (Ω). We will show that f H F0 (Ω). To this end, we pick an l F 0 \ F and we will show that f (l) H (Ω) (if l F, we have nothing to prove). Next, pick any α F such that α > l. Since f HF (Ω) and α F, we have that f (α) is bounded on Ω. By integrating the bounded function f (α) repeatedly, we deduce that all the functions f (k), k = 0,..., α 1, are also bounded on Ω; this follows from the earlier discussion. Hence, f (l) is bounded on Ω; that is f (l) H (Ω) and l was arbitrary. This implies that f H F0 (Ω), thus HF (Ω) H F0 (Ω), completing the proof. We have proved that H F (Ω) = H F0 (Ω), where Ω C is a bounded convex domain, F N 0 is a non-empty set and F 0 = {l N 0 : 0 l sup F }. So far, this is an equality between sets. We will show that the topologies of these spaces coincide as well. We remind that if Ω C is a domain and z o is a fixed point in Ω, we topologize HF (Ω) via the seminorms: sup f (l) (z), for l F and f (l) (z o ), for 0 l < min F, while the topology of H F0 (Ω) is induced by the seminorms: sup f (l) (z), for l F 0. Since F F 0, for any l F the seminorm sup f (l) (z) is taken into account in both of these topologies. If 0 l < min F, then l F 0 and obviously: f (l) (z o ) sup f (l) (z). Hence, the topology of H F0 (Ω) is finer that the topology of HF (Ω). Now pick any l F 0. Then, either l F and thus the seminorm sup f (l) (z) is taken into account in both of these topologies, or l / F. In the latter case, pick any α F such that α > l. For all z Ω we have that: f (α 1) (z) = [z o,z] f (α) (ζ)dζ + f (α 1) (z o ) 10
15 sup f (α) (w) z z o + f (α 1) (z o ) w Ω sup f (α) (w) diam(ω) + f (α 1) (z o ), w Ω since z z o diam(ω) < +, for all z Ω. Continuing in this manner, we have: sup f (α m) (z) sup f (α) (z) (diam(ω)) m + f (α 1) (z o ) (diam(ω)) m f (α m+1) (z o ) diam(ω) + f (α m) (z o ), for m = 1,..., α. Choosing m = α l and writing the above inequality in a brief form, we obtain: a 1 sup f (l) (z) sup f (α) (z) (diam(ω)) a l + f (k) (z o ) (diam(ω)) k l. If (f n ) n is a sequence in HF (Ω) and f H F (Ω), such that f n f in the topology of HF (Ω), then by Weierstrass s theorem and Proposition 3.2, in combination with the previous inequality, one can easily deduce that f n f in the topology of H F0 (Ω). Hence, these topologies are indeed the same. Therefore, we have proved the following statement: Proposition 4.8: Let Ω C be a bounded convex domain and F N 0 be a non-empty set. Then, H F (Ω) = H F0 (Ω) as topological spaces, where F 0 = {l N 0 : 0 l sup F }. Remark 4.9: A second proof of the equivalence of these topologies can be given using the Open Mapping theorem for Fréchet spaces. Remark 4.10: In [11], see also [9], a Jordan domain Ω C has been constructed, supporting a bounded holomorphic function g, so that its primitive G is unbounded. Thus, for this domain Ω, the spaces H F (Ω) and H F0 (Ω) are different for some non-empty set F N 0, such that 0 / F and 1 F. This is certainly true for F = {1} and F 0 = {0, 1}. Remark 4.11: Suppose that Ω C is a simply connected domain, for which a constant 0 < M < + exists, with the property that any two points p, q Ω can be joined by a rectifiable curve γ p,q in Ω, with length bounded by M; then clearly, Ω is bounded with diam(ω) M. Then, all the results obtained in case B of this section for bounded convex domains are still valid for such a domain Ω. Because then, if f is a bounded holomorphic function on Ω, its primitive is bounded by M sup f(z) + f(z o ), where z o is a fixed point 11 k=l
16 in Ω. This condition has been used in [11]. More recently, it has been proven in [12] that his condition is necessary and sufficient for a simply connected domain Ω, in order for the primitive of any bounded holomorphic function on Ω to be also bounded; this condition is connected to the boundedness of the integration operator. 5 The special case of convex domains and continuously extendable functions In this section, we examine if analogues of Theorems 4.5 and 4.7 are valid for the space A F (Ω), where F N 0 = {0, 1,...} is a non-empty set and Ω is a convex domain. That is, if A F (Ω) = A F (Ω) when Ω is unbounded and F = {l N 0 : min F l sup F } and if A F (Ω) = A F0 (Ω) when Ω is bounded and F 0 = {l N 0 : 0 l sup F }. We will show that A F (Ω) = A F0 (Ω) for any convex domain Ω C, regardless of whether Ω is bounded or unbounded. Of course, this implies that A F (Ω) = A F (Ω). Theorem 5.1: Let Ω C be a convex domain and F N 0 be a non-empty set. Then, A F (Ω) = A F0 (Ω), where F 0 = {l N 0 : 0 l sup F }. Proof: Clearly A F0 (Ω) A F (Ω). For the inverse inclusion, let f A F (Ω). We will show that f A F0 (Ω). To this end, we pick an l F 0 \ F and we will show that f (l) A(Ω) (if l F, we have nothing to prove). Next, pick any α F such that α > l. Since f A F (Ω) and α F, we have that f (α) is continuously extendable on Ω. If Ω is bounded, then f (α) is bounded on Ω and by integrating f (α) repeatedly we deduce that f (l) is uniformly continuous on Ω. It follows that f (l) is continuously extendable on Ω. If Ω is unbounded, we work in a similar way, but only locally. Fix any point ζ Ω and consider the sets Ω m = Ω D(0, m), o for m N. Then, ζ lies within some set Ω m, where the interior is relative to Ω. Indeed, for some k N satisfying ζ k, one can easily see that: ( o ζ Ω D(0, k) Ω D(0, k + 1)) Ω D(0, k + 1). Since f (α) is continuously extendable on Ω, it is also continuously extendable on the compact set Ω k+1. Hence, f (α) is bounded on the bounded convex domain Ω k+1 and by integrating f (α) repeatedly we deduce that f (l) is uniformly continuous on Ω k+1. It follows that f (l) is continuously extendable on Ω k+1 and thus extends continuously at point ζ which was arbitrary. It follows that f (l) is continuously extendable on Ω. Hence, f (l) is continuously extendable on Ω, whether Ω is bounded or unbounded; that is f (l) A(Ω) and l was arbitrary. This implies that f A F0 (Ω), thus A F (Ω) A F0 (Ω), completing the proof. We have proved that A F (Ω) = A F0 (Ω), where Ω C is a convex domain, F N 0 is a non-empty set and F 0 = {l N 0 : 0 l sup F }. So far, this is an equality between sets. We will show that the topologies of these spaces coincide as well. We remind that if Ω C is a domain and z o is a fixed point in Ω, we topologize A F (Ω) via 12
17 the seminorms: f (l) (z), for l F, n N sup z n and f (l) (z o ), for 0 l < min F, while the topology of A F0 (Ω) is induced by the seminorms: sup z n f (l) (z), for l F 0, n N. Since F F 0, for any l F the seminorms sup f (l) (z), n N, are taken into account in z n both of these topologies. If 0 l < min F, then l F 0 and obviously: f (l) (z o ) sup f (l) (z), z no for some n o N satisfying z o n o. Hence, the topology of A F0 (Ω) is finer that the topology of A F (Ω). Now pick any l F 0. Then, either l F and thus the seminorms sup f (l) (z), z n n N, are taken into account in both of these topologies, or l / F. In the latter case, pick any α F such that α > l. If Ω m = Ω D(0, m), for m N, then notice that: {z Ω : z m} = Ω D(0, m) Ω D(0, m + 1) = Ω m+1 Ω D(0, m + 1) = {z Ω : z m + 1}, for all m N. From this fact and by applying the inequalities obtained during the proof of Proposition 4.8 for the closure of the bounded convex domains Ω m, m N, (the continuity of functions in A(Ω) on every Ω m guarantees that taking supremum over Ω m or Ω m is the same and finite in each case) we have that: sup z m sup m+1 sup z m+1 f (l) (z) sup m+1 f (l) (z) f (α) (z) (diam(ω m+1 )) a l + a 1 f (k) (z o ) (diam(ω m+1 )) k l k=l a 1 f (α) (z) (diam(ω m+1 )) α l + f (k) (z o ) (diam(ω m+1 )) k l, where diam(ω m ) < +, for all m N. If (f n ) n is a sequence in A F (Ω) and f A F (Ω), such that f n f in the topology of A F (Ω), then by Weierstrass s theorem and Proposition 3.2, in combination with the previous inequality, one can easily deduce that f n f in the topology of A F (Ω). Hence, these topologies are indeed the same. Therefore, we have proved the following statement: k=l 13
18 Proposition 5.2: Let Ω C be a convex domain and F N 0 be a non-empty set. Then, A F (Ω) = A F0 (Ω) as topological spaces, where F 0 = {l N 0 : 0 l sup F }. Remark 5.3: A second proof of the equivalence of these topologies can be given using the Open Mapping theorem for Fréchet spaces. Remark 5.4 For the Jordan domain Ω C mentioned in Remark 4.10, we have that the function g constructed in [11] is continuously extendable on Ω, but its primitive G is not, since G is unbounded on Ω and Ω is compact. Thus, for this domain Ω, the spaces A F (Ω) and A F0 (Ω) are different for some non-empty set F N 0, such that 0 / F and 1 F. This is certainly true for F = {1} and F 0 = {0, 1}. 6 Non-extendability in H F (Ω) and A F (Ω) In this section, we deal with the notion of non-extendability of holomorphic functions in the spaces H F (Ω) and A F (Ω), where Ω C is an open set and F N 0 = {0, 1,...} is a non-empty set. An immediate corollary of Proposition 3.2 is the following: Proposition 6.1: Let Ω C be an open set and F N 0 be a non-empty set. Also, let f n, f, n N, be holomorphic functions on Ω. If either: (i) f n, f HF (Ω) for n N and f n f in the topology of HF (Ω), or (ii) f n, f A F (Ω) for n N and f n f in the topology of A F (Ω), then f n f uniformly on compact subsets of Ω, therefore f n f pointwise. This enables us to prove the following generic results: Theorem 6.2: Let Ω C be an open set and F N 0 be a non-empty set. Then, the set S H F (Ω) of functions in HF (Ω) which are non-extendable is either void, or a dense and G δ subset of HF (Ω). Proof: Assume that S H F (Ω). Then, by combining the completeness of the metric space HF (Ω) with condition (i) of Proposition 6.1, we deduce that the assumptions of Theorem 2.3 for X(Ω) = HF (Ω) H(Ω) are verified. Thus, S HF (Ω) is dense and G δ in HF (Ω). Theorem 6.3: Let Ω C be an open set and F N 0 be a non-empty set. Then, the set S AF (Ω) of functions in A F (Ω) which are non-extendable is either void, or a dense and G δ subset of A F (Ω). Proof: Similar to the proof of Theorem 6.2. Assume that S AF (Ω). Then, by combining the completeness of the metric space A F (Ω) with condition (ii) of Proposition 6.1, we deduce that the assumptions of Theorem 2.3 for X(Ω) = A F (Ω) H(Ω) are verified. Thus, S AF (Ω) is dense and G δ in A F (Ω). Next, we give examples and investigate whether S H F (Ω) and S AF (Ω) are empty or not: 14
19 Example 6.4: Let U C be a domain and K U be a compact set which is removable for bounded holomorphic functions; that is, its analytic capacity γ(k) is zero. For instance, K could be a singleton or a planar Cantor-type set, obtained by removing corner quarters; see [8]. Let Ω = U \ K. Then, it is easy to see that every f HF (Ω) is extendable for any choice of F, provided that 0 F. Thus, S H F (Ω) =. Example 6.5: Let U C be a domain and K U be a compact set with continuous analytic capacity α(k) equal to zero. Let Ω = U \ K. Then, it is easy to see that every f A F (Ω) is extendable for any choice of F, provided that 0 F. Thus, S AF (Ω) =. If we use a result from [7], [13], we see that the same holds if K is any closed subset of C with α(k) = 0; for instance, K could be a straight line, a line segment, a circular arc, a circle, an analytic curve or the boundary of a convex set. Example 6.6: Let U C be a domain and K U be a singleton, or more generally, a compact set containing an isolated point. Let Ω = U \ K. Then, every holomorphic function f which belongs to HF (Ω) or A F (Ω) is extendable, for any choice of F. Thus, S H F (Ω) = S AF (Ω) =. Indeed, let α = min F and ζ be an isolated point of K. If f HF (Ω), then by Riemann s theorem on removable singularities, f (α) is holomorphic on a sufficiently small disc D(ζ, r) contained in Ω, for some r > 0. If f A F (Ω), then f (α) is holomorphic on D(ζ, r) by definition. In any case, since this disc is a bounded convex domain, by integrating f (α) repeatedly we conclude that f is extendable on D(ζ, r). Hence S H F (Ω) = S AF (Ω) =. Example 6.7: Let Ω C be a domain, such that every point ζ Ω is the limit of a sequence (z n ) n of points contained in ( Ω ) c. Then, for any choice of F, the sets SH F (Ω) and S AF (Ω) are dense and G δ in HF (Ω) and A F (Ω), respectively. We will use a result from [14] regarding non-extendability, which was stated in Theorem 2.3. Pick any two discs D 1 and D 2 as in Definition 2.1 and a point ζ Ω D 2. By our assumption, there exists a point w D 2 \ Ω. Consider the function f(z) = 1 z w, which belongs to HF (Ω) A F (Ω). Since this function restricted to D 1 is equal to f D1 (z) = 1 z w, by analytic continuation we have that its only holomorphic extension on D 2 \ {w} is the function g(z) = 1 z w, which has a pole at w D 2. Thus, f does not possess a holomorphic extension on D 2. This means that f is non-extendable; that is f S H F (Ω) S AF (Ω). Hence, S H F (Ω) and S AF (Ω), therefore the sets S H F (Ω) and S AF (Ω) are dense and G δ in HF (Ω) and A F (Ω), respectively, as Theorems 6.2 and 6.3 indicate. Example 6.8: Let Ω C be a domain bounded by a finite set of disjoint Jordan curves. Then, for any choice of F, the sets S H F (Ω) and S AF (Ω) are dense and G δ in HF (Ω) and A F (Ω), respectively. Clearly, this is a particular case of Example Two more dichotomy results In this section, we prove two more dichotomy results regarding boundedness or unboundedness of derivatives of functions in the spaces H F (Ω) and A F (Ω), where Ω C is an open set and F N 0 = {0, 1,...} is a non-empty set. We will use the following result from [15]: 15
20 Proposition 7.1: Let V be a topological vector space over the field R or C and let X be a non-empty set. Denote by C X the set of all complex valued functions on X and consider a linear operator T : V C X with the property that the mapping V α T x (a) = T (α)(x) C is continuous, for all x X; observe that this assumption is weaker than T being continuous. Let S = S(T, V, X) = {α V : T (α) is unbounded on X}. Then, either S =, or S is a dense and G δ subset of V. Note that in Proposition 7.1., the space V is not assumed to be a complete metric space. Let Ω C be an open set and let V be one of the topological vector spaces HF (Ω) or A F (Ω), endowed with its natural topology, where F is a non-empty subset of N 0. Let X be any subset of Ω and l N 0. Then, the function V f T l (f)(z) = f (l) (z) C is continuous, for all z X; this follows from Weierstrass s theorem if l min F and from Proposition 3.2 if 0 l < min F. Thus, the corresponding set S = S l is either empty, or dense and G δ in the space V. In particular, the above holds true for V = HF (Ω) and X = Ω. Thus, we have proved the following: Theorem 7.2: Let Ω C be an open set, F N 0 be a non-empty set and l N 0. Then, either for every f H F (Ω) the derivative f (l) is bounded on Ω, or generically for every f H F (Ω) the derivative f (l) is unbounded on Ω. If l F, then obviously for every f H F (Ω) the derivative f (l) is bounded on Ω. If Ω is a bounded convex domain and l sup F, then for every f H F (Ω) the derivative f (l) is bounded on Ω, according to Theorem 4.7. In [11], see also [9], a Jordan domain Ω was constructed, such that a function g : Ω C continuous on Ω and holomorphic on Ω has an unbounded primitive on Ω. Let us call this primitive G; then G H{1} (Ω), but for l = 0 the function G(0) = G is unbounded on Ω. Thus, in this domain Ω, generically every function f H{1} (Ω) has the property that f (0) = f is unbounded on Ω. It follows that H{0,1} (Ω) is meager in H {1}(Ω) for this particular domain Ω. In general, either H{0,1} (Ω) = H {1} (Ω), or H {0,1} (Ω) is meager in H {1} (Ω), for any open set Ω C. Let Ω = D be the open unit disc and let w(z) = (z 1) exp z+1 z 1. Then, w A(D) H (D) = H{0} (D) and w is unbounded on D, thus generically every function f H{0} (D) has the property that f (1) = f is unbounded on D. It follows that H{0,1} (D) is meager in H{0} (D). More generally, if F is finite and l > max F, then generically for every f H F (D) the derivative f (l) is unbounded on D and H F {l} (D) is meager in H F (D). It remains open to give an example of a domain Ω C, supporting a holomorphic function f, so that f (0) = f and f (2) are bounded on Ω, but f (1) = f is unbounded. We believe that such a domain Ω exists. Moreover, we think that a complete metric topology can be defined on the set of all domains (contained in the open unit disc), so that for the generic domain Ω, there exists a holomorphic function f on Ω, such that f and f (2) are bounded, but f is not. More generally, we think that for every non-empty set F N 0 and l / F, min F < l < sup F, for the generic domain Ω C, there exists an f HF (l) (Ω) such that f 16
21 is unbounded and HF {l} (Ω) is meager in H F (Ω). But we do not have a proof and these assertions remain open. Next, consider the space A F (Ω), where Ω C is an open set and F is a non-empty subset of N 0. If Ω is bounded, then for every f A F (Ω), all derivatives f (l), l F, are also bounded on Ω. Assume that Ω is unbounded, we will apply Proposition 7.1. We set X = Ω and let T l : A F (Ω) C X be the function T l (f)(z) = f (l) (z), z X, where l is a fixed element of N 0. Then, the assumptions of Proposition 7.1 are easily verified. Therefore, the set S l = {f A F (Ω) : f (l) is unbounded on Ω} is either void, or dense and G δ in A F (Ω). But the function f(z) = z l+1 belongs to A F (Ω). Therefore, the set S l is dense and G δ in A F (Ω). Baire s theorem implies that the set S = l N 0 S l is also dense and G δ in A F (Ω). Thus, we have proved the following: Proposition 7.3: Let Ω C be an unbounded open set and F N 0 be a non-empty set. Then, the set S of functions f A F (Ω) such that all derivatives f (l), l N 0, are unbounded on Ω, is dense and G δ in A F (Ω). More generally, if Ω is an unbounded open set and (z n ) n is a sequence of points in Ω converging to, then for X = {z n : n N}, generically every function f A F (Ω) has the property that the derivative f (l) is unbounded on X, for all l N 0. To give an explicit example of such a function f A F (C) = H(C), it suffices to set f(z) = exp(e iθ z), for some well-chosen θ R. Indeed, let c n = zn z and let c n k n c for a subsequence. Then, c = 1 and it suffices to choose θ R, such that c = e iθ. One can easily see that f (l) (z) = f(z), for all z C and l N 0 and that f(z kn ) +. References and bibliography [1] L.V. Ahlfors, Complex Analysis: an Introduction to the Theory of Analytic Functions of One Complex Variable, 3rd Edition, McGraw-Gill, 1979 [2] N. Bourbaki, Functions of a Real Variable, Springer, 1982 [3] D. S. Mitrinović, Analytic Inequalities, Springer, 1970 [4] G.H. Hardy, J.E. Littlewood, G.Polya, Inequalities, Cambridge University Press, 1934 [5] E. Landau, Einige Ungleichungen für zweimal differenzierbare Funktionen, Proc. London Math. Soc., 13, p , 1913 [6] A.N. Kolmogorov, On inequalities between upper bounds of consecutive derivatives of an arbitrary function on an infinite interval, Amer. Math. Soc. Transl. Ser. 1, Amer. Math. Soc, Providence, p , 1962 [7] J. Garnett, Analytic Capacity and Measure, Lecture Notes in Mathematics, vol. 297, Springer,
22 [8] J. Garnett, Positive Length but Zero Analytic Capacity, Proc. Amer. Math. Soc. 24, p , 1970 [9] S. N. Mergelyan, Certain questions of the constructive theory of functions, Trudy Mat. Inst. Steklov., 37, Acad. Sci. USSR, Moscow, p. 3 91, 1951 [10] V. Nestoridis, Non-extendable holomorphic functions Math. Proc. Cambridge Phil. Sol. 139(2), p , 2005 [11] V. Nestoridis, I. Zadik, Padé Approximants, density of rational functions in A (Ω) and smoothness of the integration operator, J.M.M.A. 423(2), p , 2015, see also arxiv: [12] W. Smith, D. M. Stolyarov, A. Volberg, Uniform approximation of Bloch functions and the boundedness of the integration operator on H (Ω), arxiv: [13] E. Bolkas, V. Nestoridis, C. Panagiotis, M. Papadimitrakis, One sided extendability and p-continuous analytic capacities, arxiv: [14] V. Nestoridis, Domains of Holomorphy, arxiv: [15] M. Siskaki, Boundedness of derivatives and anti-derivatives of holomorphic functions as a rare phenomenon, arxiv:
2 Composition. Invertible Mappings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,
Διαβάστε περισσότεραEvery set of first-order formulas is equivalent to an independent set
Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent
Διαβάστε περισσότεραOrdinal Arithmetic: Addition, Multiplication, Exponentiation and Limit
Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal
Διαβάστε περισσότεραUniform Convergence of Fourier Series Michael Taylor
Uniform Convergence of Fourier Series Michael Taylor Given f L 1 T 1 ), we consider the partial sums of the Fourier series of f: N 1) S N fθ) = ˆfk)e ikθ. k= N A calculation gives the Dirichlet formula
Διαβάστε περισσότερα2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)
Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: F3B, F4Sy, NVP 2005-03-08 Skrivtid: 9 14 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok
Διαβάστε περισσότεραNowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in
Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in : tail in X, head in A nowhere-zero Γ-flow is a Γ-circulation such that
Διαβάστε περισσότεραSection 8.3 Trigonometric Equations
99 Section 8. Trigonometric Equations Objective 1: Solve Equations Involving One Trigonometric Function. In this section and the next, we will exple how to solving equations involving trigonometric functions.
Διαβάστε περισσότεραMath 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.
Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequalit for metrics: Let (X, d) be a metric space and let x,, z X. Prove that d(x, z) d(, z) d(x, ). (ii): Reverse triangle inequalit for norms:
Διαβάστε περισσότεραST5224: Advanced Statistical Theory II
ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known
Διαβάστε περισσότεραExample Sheet 3 Solutions
Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note
Διαβάστε περισσότερα1. Introduction and Preliminaries.
Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.yu/filomat Filomat 22:1 (2008), 97 106 ON δ SETS IN γ SPACES V. Renuka Devi and D. Sivaraj Abstract We
Διαβάστε περισσότεραLecture 15 - Root System Axiomatics
Lecture 15 - Root System Axiomatics Nov 1, 01 In this lecture we examine root systems from an axiomatic point of view. 1 Reflections If v R n, then it determines a hyperplane, denoted P v, through the
Διαβάστε περισσότεραSome new generalized topologies via hereditary classes. Key Words:hereditary generalized topological space, A κ(h,µ)-sets, κµ -topology.
Bol. Soc. Paran. Mat. (3s.) v. 30 2 (2012): 71 77. c SPM ISSN-2175-1188 on line ISSN-00378712 in press SPM: www.spm.uem.br/bspm doi:10.5269/bspm.v30i2.13793 Some new generalized topologies via hereditary
Διαβάστε περισσότεραC.S. 430 Assignment 6, Sample Solutions
C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order
Διαβάστε περισσότεραMINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS
MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS FUMIE NAKAOKA AND NOBUYUKI ODA Received 20 December 2005; Revised 28 May 2006; Accepted 6 August 2006 Some properties of minimal closed sets and maximal closed
Διαβάστε περισσότεραEE512: Error Control Coding
EE512: Error Control Coding Solution for Assignment on Finite Fields February 16, 2007 1. (a) Addition and Multiplication tables for GF (5) and GF (7) are shown in Tables 1 and 2. + 0 1 2 3 4 0 0 1 2 3
Διαβάστε περισσότεραReminders: linear functions
Reminders: linear functions Let U and V be vector spaces over the same field F. Definition A function f : U V is linear if for every u 1, u 2 U, f (u 1 + u 2 ) = f (u 1 ) + f (u 2 ), and for every u U
Διαβάστε περισσότεραProblem Set 3: Solutions
CMPSCI 69GG Applied Information Theory Fall 006 Problem Set 3: Solutions. [Cover and Thomas 7.] a Define the following notation, C I p xx; Y max X; Y C I p xx; Ỹ max I X; Ỹ We would like to show that C
Διαβάστε περισσότεραArithmetical applications of lagrangian interpolation. Tanguy Rivoal. Institut Fourier CNRS and Université de Grenoble 1
Arithmetical applications of lagrangian interpolation Tanguy Rivoal Institut Fourier CNRS and Université de Grenoble Conference Diophantine and Analytic Problems in Number Theory, The 00th anniversary
Διαβάστε περισσότεραStatistical Inference I Locally most powerful tests
Statistical Inference I Locally most powerful tests Shirsendu Mukherjee Department of Statistics, Asutosh College, Kolkata, India. shirsendu st@yahoo.co.in So far we have treated the testing of one-sided
Διαβάστε περισσότεραSOME PROPERTIES OF FUZZY REAL NUMBERS
Sahand Communications in Mathematical Analysis (SCMA) Vol. 3 No. 1 (2016), 21-27 http://scma.maragheh.ac.ir SOME PROPERTIES OF FUZZY REAL NUMBERS BAYAZ DARABY 1 AND JAVAD JAFARI 2 Abstract. In the mathematical
Διαβάστε περισσότεραHomework 3 Solutions
Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For
Διαβάστε περισσότεραLecture 2. Soundness and completeness of propositional logic
Lecture 2 Soundness and completeness of propositional logic February 9, 2004 1 Overview Review of natural deduction. Soundness and completeness. Semantics of propositional formulas. Soundness proof. Completeness
Διαβάστε περισσότεραParametrized Surfaces
Parametrized Surfaces Recall from our unit on vector-valued functions at the beginning of the semester that an R 3 -valued function c(t) in one parameter is a mapping of the form c : I R 3 where I is some
Διαβάστε περισσότεραConcrete Mathematics Exercises from 30 September 2016
Concrete Mathematics Exercises from 30 September 2016 Silvio Capobianco Exercise 1.7 Let H(n) = J(n + 1) J(n). Equation (1.8) tells us that H(2n) = 2, and H(2n+1) = J(2n+2) J(2n+1) = (2J(n+1) 1) (2J(n)+1)
Διαβάστε περισσότεραCoefficient Inequalities for a New Subclass of K-uniformly Convex Functions
International Journal of Computational Science and Mathematics. ISSN 0974-89 Volume, Number (00), pp. 67--75 International Research Publication House http://www.irphouse.com Coefficient Inequalities for
Διαβάστε περισσότεραOther Test Constructions: Likelihood Ratio & Bayes Tests
Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :
Διαβάστε περισσότεραChapter 6: Systems of Linear Differential. be continuous functions on the interval
Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations
Διαβάστε περισσότεραORDINAL ARITHMETIC JULIAN J. SCHLÖDER
ORDINAL ARITHMETIC JULIAN J. SCHLÖDER Abstract. We define ordinal arithmetic and show laws of Left- Monotonicity, Associativity, Distributivity, some minor related properties and the Cantor Normal Form.
Διαβάστε περισσότεραA Note on Intuitionistic Fuzzy. Equivalence Relation
International Mathematical Forum, 5, 2010, no. 67, 3301-3307 A Note on Intuitionistic Fuzzy Equivalence Relation D. K. Basnet Dept. of Mathematics, Assam University Silchar-788011, Assam, India dkbasnet@rediffmail.com
Διαβάστε περισσότεραLecture 13 - Root Space Decomposition II
Lecture 13 - Root Space Decomposition II October 18, 2012 1 Review First let us recall the situation. Let g be a simple algebra, with maximal toral subalgebra h (which we are calling a CSA, or Cartan Subalgebra).
Διαβάστε περισσότεραPartial Differential Equations in Biology The boundary element method. March 26, 2013
The boundary element method March 26, 203 Introduction and notation The problem: u = f in D R d u = ϕ in Γ D u n = g on Γ N, where D = Γ D Γ N, Γ D Γ N = (possibly, Γ D = [Neumann problem] or Γ N = [Dirichlet
Διαβάστε περισσότεραANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?
Teko Classes IITJEE/AIEEE Maths by SUHAAG SIR, Bhopal, Ph (0755) 3 00 000 www.tekoclasses.com ANSWERSHEET (TOPIC DIFFERENTIAL CALCULUS) COLLECTION # Question Type A.Single Correct Type Q. (A) Sol least
Διαβάστε περισσότεραω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω
0 1 2 3 4 5 6 ω ω + 1 ω + 2 ω + 3 ω + 4 ω2 ω2 + 1 ω2 + 2 ω2 + 3 ω3 ω3 + 1 ω3 + 2 ω4 ω4 + 1 ω5 ω 2 ω 2 + 1 ω 2 + 2 ω 2 + ω ω 2 + ω + 1 ω 2 + ω2 ω 2 2 ω 2 2 + 1 ω 2 2 + ω ω 2 3 ω 3 ω 3 + 1 ω 3 + ω ω 3 +
Διαβάστε περισσότεραSCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018
Journal of rogressive Research in Mathematics(JRM) ISSN: 2395-028 SCITECH Volume 3, Issue 2 RESEARCH ORGANISATION ublished online: March 29, 208 Journal of rogressive Research in Mathematics www.scitecresearch.com/journals
Διαβάστε περισσότεραFractional Colorings and Zykov Products of graphs
Fractional Colorings and Zykov Products of graphs Who? Nichole Schimanski When? July 27, 2011 Graphs A graph, G, consists of a vertex set, V (G), and an edge set, E(G). V (G) is any finite set E(G) is
Διαβάστε περισσότεραLecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all
Διαβάστε περισσότεραApproximation of distance between locations on earth given by latitude and longitude
Approximation of distance between locations on earth given by latitude and longitude Jan Behrens 2012-12-31 In this paper we shall provide a method to approximate distances between two points on earth
Διαβάστε περισσότερα4.6 Autoregressive Moving Average Model ARMA(1,1)
84 CHAPTER 4. STATIONARY TS MODELS 4.6 Autoregressive Moving Average Model ARMA(,) This section is an introduction to a wide class of models ARMA(p,q) which we will consider in more detail later in this
Διαβάστε περισσότεραMatrices and Determinants
Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z
Διαβάστε περισσότεραChapter 3: Ordinal Numbers
Chapter 3: Ordinal Numbers There are two kinds of number.. Ordinal numbers (0th), st, 2nd, 3rd, 4th, 5th,..., ω, ω +,... ω2, ω2+,... ω 2... answers to the question What position is... in a sequence? What
Διαβάστε περισσότερα3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β
3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle
Διαβάστε περισσότεραAreas and Lengths in Polar Coordinates
Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the
Διαβάστε περισσότεραHOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:
HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying
Διαβάστε περισσότεραCHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS
CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =
Διαβάστε περισσότεραOnline Appendix I. 1 1+r ]}, Bψ = {ψ : Y E A S S}, B W = +(1 s)[1 m (1,0) (b, e, a, ψ (0,a ) (e, a, s); q, ψ, W )]}, (29) exp( U(d,a ) (i, x; q)
Online Appendix I Appendix D Additional Existence Proofs Denote B q = {q : A E A S [0, +r ]}, Bψ = {ψ : Y E A S S}, B W = {W : I E A S R}. I slightly abuse the notation by defining B q (L q ) the subset
Διαβάστε περισσότεραMath221: HW# 1 solutions
Math: HW# solutions Andy Royston October, 5 7.5.7, 3 rd Ed. We have a n = b n = a = fxdx = xdx =, x cos nxdx = x sin nx n sin nxdx n = cos nx n = n n, x sin nxdx = x cos nx n + cos nxdx n cos n = + sin
Διαβάστε περισσότεραNew bounds for spherical two-distance sets and equiangular lines
New bounds for spherical two-distance sets and equiangular lines Michigan State University Oct 8-31, 016 Anhui University Definition If X = {x 1, x,, x N } S n 1 (unit sphere in R n ) and x i, x j = a
Διαβάστε περισσότεραAreas and Lengths in Polar Coordinates
Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the
Διαβάστε περισσότερα5. Choice under Uncertainty
5. Choice under Uncertainty Daisuke Oyama Microeconomics I May 23, 2018 Formulations von Neumann-Morgenstern (1944/1947) X: Set of prizes Π: Set of probability distributions on X : Preference relation
Διαβάστε περισσότεραSection 9.2 Polar Equations and Graphs
180 Section 9. Polar Equations and Graphs In this section, we will be graphing polar equations on a polar grid. In the first few examples, we will write the polar equation in rectangular form to help identify
Διαβάστε περισσότεραderivation of the Laplacian from rectangular to spherical coordinates
derivation of the Laplacian from rectangular to spherical coordinates swapnizzle 03-03- :5:43 We begin by recognizing the familiar conversion from rectangular to spherical coordinates (note that φ is used
Διαβάστε περισσότεραD Alembert s Solution to the Wave Equation
D Alembert s Solution to the Wave Equation MATH 467 Partial Differential Equations J. Robert Buchanan Department of Mathematics Fall 2018 Objectives In this lesson we will learn: a change of variable technique
Διαβάστε περισσότεραGAUGES OF BAIRE CLASS ONE FUNCTIONS
GAUGES OF BAIRE CLASS ONE FUNCTIONS ZULIJANTO ATOK, WEE-KEE TANG, AND DONGSHENG ZHAO Abstract. Let K be a compact metric space and f : K R be a bounded Baire class one function. We proved that for any
Διαβάστε περισσότεραOn density of old sets in Prikry type extensions.
On density of old sets in Prikry type extensions. Moti Gitik December 31, 2015 Abstract Every set of ordinals of cardinality κ in a Prikry extension with a measure over κ contains an old set of arbitrary
Διαβάστε περισσότεραTridiagonal matrices. Gérard MEURANT. October, 2008
Tridiagonal matrices Gérard MEURANT October, 2008 1 Similarity 2 Cholesy factorizations 3 Eigenvalues 4 Inverse Similarity Let α 1 ω 1 β 1 α 2 ω 2 T =......... β 2 α 1 ω 1 β 1 α and β i ω i, i = 1,...,
Διαβάστε περισσότεραPg The perimeter is P = 3x The area of a triangle is. where b is the base, h is the height. In our case b = x, then the area is
Pg. 9. The perimeter is P = The area of a triangle is A = bh where b is the base, h is the height 0 h= btan 60 = b = b In our case b =, then the area is A = = 0. By Pythagorean theorem a + a = d a a =
Διαβάστε περισσότεραHomework 8 Model Solution Section
MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx
Διαβάστε περισσότεραΑπόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.
Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο The time integral of a force is referred to as impulse, is determined by and is obtained from: Newton s 2 nd Law of motion states that the action
Διαβάστε περισσότεραChapter 6: Systems of Linear Differential. be continuous functions on the interval
Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations
Διαβάστε περισσότεραPhys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)
Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts
Διαβάστε περισσότεραde Rham Theorem May 10, 2016
de Rham Theorem May 10, 2016 Stokes formula and the integration morphism: Let M = σ Σ σ be a smooth triangulated manifold. Fact: Stokes formula σ ω = σ dω holds, e.g. for simplices. It can be used to define
Διαβάστε περισσότεραGenerating Set of the Complete Semigroups of Binary Relations
Applied Mathematics 06 7 98-07 Published Online January 06 in SciRes http://wwwscirporg/journal/am http://dxdoiorg/036/am067009 Generating Set of the Complete Semigroups of Binary Relations Yasha iasamidze
Διαβάστε περισσότεραF A S C I C U L I M A T H E M A T I C I
F A S C I C U L I M A T H E M A T I C I Nr 46 2011 C. Carpintero, N. Rajesh and E. Rosas ON A CLASS OF (γ, γ )-PREOPEN SETS IN A TOPOLOGICAL SPACE Abstract. In this paper we have introduced the concept
Διαβάστε περισσότεραCongruence Classes of Invertible Matrices of Order 3 over F 2
International Journal of Algebra, Vol. 8, 24, no. 5, 239-246 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/.2988/ija.24.422 Congruence Classes of Invertible Matrices of Order 3 over F 2 Ligong An and
Διαβάστε περισσότεραOn a Subclass of k-uniformly Convex Functions with Negative Coefficients
International Mathematical Forum, 1, 2006, no. 34, 1677-1689 On a Subclass of k-uniformly Convex Functions with Negative Coefficients T. N. SHANMUGAM Department of Mathematics Anna University, Chennai-600
Διαβάστε περισσότεραKnaster-Reichbach Theorem for 2 κ
Knaster-Reichbach Theorem for 2 κ Micha l Korch February 9, 2018 In the recent years the theory of the generalized Cantor and Baire spaces was extensively developed (see, e.g. [1], [2], [6], [4] and many
Διαβάστε περισσότεραFinite Field Problems: Solutions
Finite Field Problems: Solutions 1. Let f = x 2 +1 Z 11 [x] and let F = Z 11 [x]/(f), a field. Let Solution: F =11 2 = 121, so F = 121 1 = 120. The possible orders are the divisors of 120. Solution: The
Διαβάστε περισσότεραk A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +
Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b
Διαβάστε περισσότεραThe semiclassical Garding inequality
The semiclassical Garding inequality We give a proof of the semiclassical Garding inequality (Theorem 4.1 using as the only black box the Calderon-Vaillancourt Theorem. 1 Anti-Wick quantization For (q,
Διαβάστε περισσότεραSecond Order Partial Differential Equations
Chapter 7 Second Order Partial Differential Equations 7.1 Introduction A second order linear PDE in two independent variables (x, y Ω can be written as A(x, y u x + B(x, y u xy + C(x, y u u u + D(x, y
Διαβάστε περισσότεραInverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------
Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin
Διαβάστε περισσότεραSCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions
SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)
Διαβάστε περισσότεραA General Note on δ-quasi Monotone and Increasing Sequence
International Mathematical Forum, 4, 2009, no. 3, 143-149 A General Note on δ-quasi Monotone and Increasing Sequence Santosh Kr. Saxena H. N. 419, Jawaharpuri, Badaun, U.P., India Presently working in
Διαβάστε περισσότεραEcon 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1
Eon : Fall 8 Suggested Solutions to Problem Set 8 Email questions or omments to Dan Fetter Problem. Let X be a salar with density f(x, θ) (θx + θ) [ x ] with θ. (a) Find the most powerful level α test
Διαβάστε περισσότεραF19MC2 Solutions 9 Complex Analysis
F9MC Solutions 9 Complex Analysis. (i) Let f(z) = eaz +z. Then f is ifferentiable except at z = ±i an so by Cauchy s Resiue Theorem e az z = πi[res(f,i)+res(f, i)]. +z C(,) Since + has zeros of orer at
Διαβάστε περισσότεραFourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics
Fourier Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Introduction Not all functions can be represented by Taylor series. f (k) (c) A Taylor series f (x) = (x c)
Διαβάστε περισσότεραforms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with
Week 03: C lassification of S econd- Order L inear Equations In last week s lectures we have illustrated how to obtain the general solutions of first order PDEs using the method of characteristics. We
Διαβάστε περισσότεραOn a four-dimensional hyperbolic manifold with finite volume
BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Numbers 2(72) 3(73), 2013, Pages 80 89 ISSN 1024 7696 On a four-dimensional hyperbolic manifold with finite volume I.S.Gutsul Abstract. In
Διαβάστε περισσότεραSOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM
SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM Solutions to Question 1 a) The cumulative distribution function of T conditional on N n is Pr T t N n) Pr max X 1,..., X N ) t N n) Pr max
Διαβάστε περισσότεραSrednicki Chapter 55
Srednicki Chapter 55 QFT Problems & Solutions A. George August 3, 03 Srednicki 55.. Use equations 55.3-55.0 and A i, A j ] = Π i, Π j ] = 0 (at equal times) to verify equations 55.-55.3. This is our third
Διαβάστε περισσότεραJordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp
Jordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp.115-126. α, β, γ ORTHOGONALITY ABDALLA TALLAFHA Abstract. Orthogonality in inner product spaces can be expresed using the notion of norms.
Διαβάστε περισσότεραSection 7.6 Double and Half Angle Formulas
09 Section 7. Double and Half Angle Fmulas To derive the double-angles fmulas, we will use the sum of two angles fmulas that we developed in the last section. We will let α θ and β θ: cos(θ) cos(θ + θ)
Διαβάστε περισσότεραCommutative Monoids in Intuitionistic Fuzzy Sets
Commutative Monoids in Intuitionistic Fuzzy Sets S K Mala #1, Dr. MM Shanmugapriya *2 1 PhD Scholar in Mathematics, Karpagam University, Coimbatore, Tamilnadu- 641021 Assistant Professor of Mathematics,
Διαβάστε περισσότεραThe challenges of non-stable predicates
The challenges of non-stable predicates Consider a non-stable predicate Φ encoding, say, a safety property. We want to determine whether Φ holds for our program. The challenges of non-stable predicates
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Αν κάπου κάνετε κάποιες υποθέσεις να αναφερθούν στη σχετική ερώτηση. Όλα τα αρχεία που αναφέρονται στα προβλήματα βρίσκονται στον ίδιο φάκελο με το εκτελέσιμο
Διαβάστε περισσότερα12. Radon-Nikodym Theorem
Tutorial 12: Radon-Nikodym Theorem 1 12. Radon-Nikodym Theorem In the following, (Ω, F) is an arbitrary measurable space. Definition 96 Let μ and ν be two (possibly complex) measures on (Ω, F). We say
Διαβάστε περισσότεραLecture 21: Properties and robustness of LSE
Lecture 21: Properties and robustness of LSE BLUE: Robustness of LSE against normality We now study properties of l τ β and σ 2 under assumption A2, i.e., without the normality assumption on ε. From Theorem
Διαβάστε περισσότεραSolutions to Exercise Sheet 5
Solutions to Eercise Sheet 5 jacques@ucsd.edu. Let X and Y be random variables with joint pdf f(, y) = 3y( + y) where and y. Determine each of the following probabilities. Solutions. a. P (X ). b. P (X
Διαβάστε περισσότεραA Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering
Electronic Companion A Two-Sie Laplace Inversion Algorithm with Computable Error Bouns an Its Applications in Financial Engineering Ning Cai, S. G. Kou, Zongjian Liu HKUST an Columbia University Appenix
Διαβάστε περισσότεραPractice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1
Conceptual Questions. State a Basic identity and then verify it. a) Identity: Solution: One identity is cscθ) = sinθ) Practice Exam b) Verification: Solution: Given the point of intersection x, y) of the
Διαβάστε περισσότεραCRASH COURSE IN PRECALCULUS
CRASH COURSE IN PRECALCULUS Shiah-Sen Wang The graphs are prepared by Chien-Lun Lai Based on : Precalculus: Mathematics for Calculus by J. Stuwart, L. Redin & S. Watson, 6th edition, 01, Brooks/Cole Chapter
Διαβάστε περισσότεραHomomorphism in Intuitionistic Fuzzy Automata
International Journal of Fuzzy Mathematics Systems. ISSN 2248-9940 Volume 3, Number 1 (2013), pp. 39-45 Research India Publications http://www.ripublication.com/ijfms.htm Homomorphism in Intuitionistic
Διαβάστε περισσότεραPROPERTIES OF CERTAIN INTEGRAL OPERATORS. a n z n (1.1)
GEORGIAN MATHEMATICAL JOURNAL: Vol. 2, No. 5, 995, 535-545 PROPERTIES OF CERTAIN INTEGRAL OPERATORS SHIGEYOSHI OWA Abstract. Two integral operators P α and Q α for analytic functions in the open unit disk
Διαβάστε περισσότεραSecond Order RLC Filters
ECEN 60 Circuits/Electronics Spring 007-0-07 P. Mathys Second Order RLC Filters RLC Lowpass Filter A passive RLC lowpass filter (LPF) circuit is shown in the following schematic. R L C v O (t) Using phasor
Διαβάστε περισσότεραMain source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1
Main source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1 A Brief History of Sampling Research 1915 - Edmund Taylor Whittaker (1873-1956) devised a
Διαβάστε περισσότεραSubclass of Univalent Functions with Negative Coefficients and Starlike with Respect to Symmetric and Conjugate Points
Applied Mathematical Sciences, Vol. 2, 2008, no. 35, 1739-1748 Subclass of Univalent Functions with Negative Coefficients and Starlike with Respect to Symmetric and Conjugate Points S. M. Khairnar and
Διαβάστε περισσότεραLecture 34 Bootstrap confidence intervals
Lecture 34 Bootstrap confidence intervals Confidence Intervals θ: an unknown parameter of interest We want to find limits θ and θ such that Gt = P nˆθ θ t If G 1 1 α is known, then P θ θ = P θ θ = 1 α
Διαβάστε περισσότεραSOLVING CUBICS AND QUARTICS BY RADICALS
SOLVING CUBICS AND QUARTICS BY RADICALS The purpose of this handout is to record the classical formulas expressing the roots of degree three and degree four polynomials in terms of radicals. We begin with
Διαβάστε περισσότεραBoundedness of Some Pseudodifferential Operators on Bessel-Sobolev Space 1
M a t h e m a t i c a B a l k a n i c a New Series Vol. 2, 26, Fasc. 3-4 Boundedness of Some Pseudodifferential Operators on Bessel-Sobolev Space 1 Miloud Assal a, Douadi Drihem b, Madani Moussai b Presented
Διαβάστε περισσότερα