Broken ray tomography and related inverse problems
|
|
- Leslie Payne
- 7 years ago
- Views:
Transcription
1 Broken ray tomography and related inverse problems Inverse problems seminar University of Washington Joonas Ilmavirta University of Jyväskylä Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
2 Outline 1 Introduction Broken rays Broken ray transform Applications Counterexamples 2 Approaches 3 Periodic broken ray transform 4 Algebraic tomography problems Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
3 Broken rays Let M be a compact Riemannian manifold with boundary (or the closure of a bounded smooth Euclidean domain). Split its boundary in two disjoint parts: M = E R. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
4 Broken rays Let M be a compact Riemannian manifold with boundary (or the closure of a bounded smooth Euclidean domain). Split its boundary in two disjoint parts: M = E R. Broken rays have endpoints on E and reflect finitely many times on R (like light reflecting from a perfect mirror). Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
5 Broken rays. Let M be a compact Riemannian manifold with boundary (or the closure of a bounded smooth Euclidean domain). Split its boundary in two disjoint parts: M = E R. Broken rays have endpoints on E and reflect finitely many times on R (like light reflecting from a perfect mirror). If E = M and R =, then broken rays are just maximal geodesics in M. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
6 Broken rays. A domain. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
7 Broken rays. A line through the domain. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
8 Broken rays. A broken ray. E is blue and R is red. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
9 Broken rays. Large E. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
10 Broken rays. A broken ray. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
11 Broken rays. Another broken ray. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
12 Broken rays. Small E. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
13 Broken rays. A broken ray. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
14 Broken rays. An annulus. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
15 Broken rays. A broken ray. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
16 Broken rays. Another broken ray. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
17 Broken rays. We assumed that all broken rays reflect only finitely many times. Sometimes there are trapped broken rays which never find their way back to E. We only consider non-trapped broken rays here. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
18 Broken ray transform Broken ray tomography problem: Can we recover a function from its integrals over all broken rays? Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
19 Broken ray transform Broken ray tomography problem: Can we recover a function from its integrals over all broken rays? Let Γ be the set broken rays in M. (This set depends on E and R!) The broken ray transform of a continuous function f : M R is Gf : Γ R, Gf(γ) = fds. γ Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
20 Broken ray transform Broken ray tomography problem: Can we recover a function from its integrals over all broken rays? Let Γ be the set broken rays in M. (This set depends on E and R!) The broken ray transform of a continuous function f : M R is Gf : Γ R, Gf(γ) = fds. If E = M, then G is the X-ray transform. γ Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
21 Broken ray transform. Broken ray tomography problem: Can we recover a function from its integrals over all broken rays? Let Γ be the set broken rays in M. (This set depends on E and R!) The broken ray transform of a continuous function f : M R is Gf : Γ R, Gf(γ) = fds. If E = M, then G is the X-ray transform. Broken ray tomography problem: Is G injective? How does this depend on M, E, and regularity assumptions on f? γ Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
22 Applications Calderón s problem with partial data: Can we find the conductivity at every point inside an object by making electrical measurements on a part of the boundary? (Some of the boundary is completely inaccessible.) Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
23 Applications Calderón s problem with partial data: Can we find the conductivity at every point inside an object by making electrical measurements on a part of the boundary? (Some of the boundary is completely inaccessible.) Kenig and Salo (2013) showed that this partial data problem on a tube-shaped domain can be reduced to the injectivity of the broken ray transform on the cross section of the tube. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
24 Applications. Calderón s problem with partial data: Can we find the conductivity at every point inside an object by making electrical measurements on a part of the boundary? (Some of the boundary is completely inaccessible.) Kenig and Salo (2013) showed that this partial data problem on a tube-shaped domain can be reduced to the injectivity of the broken ray transform on the cross section of the tube. Eskin (2004) related the broken ray transform to an inverse boundary value problem for the magnetic Schrödinger equation. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
25 Applications Many inverse problems with full data have been previously reduced to the X-ray transform. It seems that in the case of partial data, the X-ray transform is often replaced by the broken ray transform. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
26 Applications. Many inverse problems with full data have been previously reduced to the X-ray transform. It seems that in the case of partial data, the X-ray transform is often replaced by the broken ray transform. Example: Linearization (w.r.t. the metric) of broken ray scattering relation leads to broken ray transform of 2-tensor fields. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
27 Counterexamples The broken ray transform can only be injective if the X-ray transform is injective. The integral over a broken ray is a sum of integrals over geodesics. (The broken ray transform can be seen as a partial data version of the X-ray transform.) Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
28 Counterexamples. The broken ray transform can only be injective if the X-ray transform is injective. The integral over a broken ray is a sum of integrals over geodesics. (The broken ray transform can be seen as a partial data version of the X-ray transform.) There are counterexample to the injectivity of the broken ray transform in Euclidean domains. (Pictures coming.) Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
29 Counterexamples. Some function supported in the gray area are invisible. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
30 Counterexamples. Some function supported in the gray area are invisible. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
31 Outline 1 Introduction 2 Approaches Four angles of attack Reflection Direct calculation Boundary reconstruction Energy estimate for a PDE 3 Periodic broken ray transform 4 Algebraic tomography problems Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
32 Four angles of attack As far as I know, there are four known ways to prove anything about the broken ray transform: Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
33 Four angles of attack As far as I know, there are four known ways to prove anything about the broken ray transform: reflection arguments Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
34 Four angles of attack As far as I know, there are four known ways to prove anything about the broken ray transform: reflection arguments explicit calculation of the transform Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
35 Four angles of attack As far as I know, there are four known ways to prove anything about the broken ray transform: reflection arguments explicit calculation of the transform boundary reconstruction via boundary geodesics Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
36 Four angles of attack As far as I know, there are four known ways to prove anything about the broken ray transform: reflection arguments explicit calculation of the transform boundary reconstruction via boundary geodesics energy estimates Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
37 Four angles of attack. As far as I know, there are four known ways to prove anything about the broken ray transform: reflection arguments explicit calculation of the transform boundary reconstruction via boundary geodesics energy estimates The main goal is to reduce the problem to a more tractable one, like the X-ray transform, manipulation of Fourier series, or unique solvability of a PDE. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
38 Reflection Reflections at the boundary are what makes the broken ray transform difficult. We want to get rid of them. Can we make the domain reflect but keep the rays straight? Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
39 Reflection. Reflections at the boundary are what makes the broken ray transform difficult. We want to get rid of them. Can we make the domain reflect but keep the rays straight? Yes, at least if R is flat. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
40 Reflection Proposition The broken ray transform is injective for the domain Ω = {x B(0, 1) R 2 ; x 1 > 0} with R = {x Ω; x 1 = 0}. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
41 Reflection Proposition The broken ray transform is injective for the domain Ω = {x B(0, 1) R 2 ; x 1 > 0} with R = {x Ω; x 1 = 0}. Proof Suppose f C( Ω) integrates to zero over all broken rays. Let Ω = B(0, 1) and let π : Ω Ω be the folding map π(x1, x 2 ) = ( x 1, x 2 ). Define f : Ω R by f(x) = f(π(x)). Now f integrates to zero over all lines in Ω. Because the X-ray transform is injective, f = 0. Thus also f = 0. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
42 Reflection. Proposition The broken ray transform is injective for the domain Ω = {x B(0, 1) R 2 ; x 1 > 0} with R = {x Ω; x 1 = 0}. Proof Suppose f C( Ω) integrates to zero over all broken rays. Let Ω = B(0, 1) and let π : Ω Ω be the folding map π(x1, x 2 ) = ( x 1, x 2 ). Define f : Ω R by f(x) = f(π(x)). Now f integrates to zero over all lines in Ω. Because the X-ray transform is injective, f = 0. Thus also f = 0. The idea of reducing the broken ray transform on Ω to the X-ray transform of a reflected domain Ω works in great generality. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
43 Reflection Lemma (Helgason s support theorem) Let f : R n R be a compactly supported continuous function and K R n a compact, convex set. If the integral of f is zero over every line that doesn t meet K, then f is zero outside K. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
44 Reflection Lemma (Helgason s support theorem) Let f : R n R be a compactly supported continuous function and K R n a compact, convex set. If the integral of f is zero over every line that doesn t meet K, then f is zero outside K. Theorem (I. 2013) Let C R 2 be a cone. (In polar coordinates, r > 0 and 0 < θ < θ 0 for some θ 0.) Let Ω C be a bounded domain. Then the broken ray transform in Ω with R = C Ω is injective. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
45 Reflection. Lemma (Helgason s support theorem) Let f : R n R be a compactly supported continuous function and K R n a compact, convex set. If the integral of f is zero over every line that doesn t meet K, then f is zero outside K. Theorem (I. 2013) Let C R 2 be a cone. (In polar coordinates, r > 0 and 0 < θ < θ 0 for some θ 0.) Let Ω C be a bounded domain. Then the broken ray transform in Ω with R = C Ω is injective. Proof will be given as pictures. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
46 Reflection. A domain with opening angle θ 0 = π/m for an integer m. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
47 Reflection. Glue together m copies of Ω (every other one reflected). The broken ray folds out to a straight line. Use injectivity of X-ray transform. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
48 Reflection. A domain with general opening angle θ 0. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
49 . Reflection Glue together enough copies of Ω so that the shaded sector becomes convex. Apply Helgason s support theorem. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
50 Direct calculation If M is a disc in the plane, we can try to calculate the broken ray transform explicitly. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
51 Direct calculation If M is a disc in the plane, we can try to calculate the broken ray transform explicitly. In polar coordinates (r, θ), we can write a function as a Fourier series: f(r, θ) = k Z e ikθ a k (r). Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
52 Direct calculation. If M is a disc in the plane, we can try to calculate the broken ray transform explicitly. In polar coordinates (r, θ), we can write a function as a Fourier series: f(r, θ) = k Z e ikθ a k (r). A line (a chord) in the disc can be parametrized by the polar coordinates of the closest point to the center. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
53 Direct calculation The integral of f over a line given by (r, θ) is If(r, θ) = k Z e ikθ A k a k (r) where A k is a generalized Abel transform. (A 0 is the usual Abel transform.) Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
54 Direct calculation The integral of f over a line given by (r, θ) is If(r, θ) = k Z e ikθ A k a k (r) where A k is a generalized Abel transform. (A 0 is the usual Abel transform.) These integral transforms A k are injective, and this procedure can be used to invert the X-ray transform: If = 0 all Fourier components of If are zero A k a k = 0 for all k a k = 0 for all k f = 0. (Cormack used this method for inversion.) Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
55 Direct calculation. The integral of f over a line given by (r, θ) is If(r, θ) = k Z e ikθ A k a k (r) where A k is a generalized Abel transform. (A 0 is the usual Abel transform.) These integral transforms A k are injective, and this procedure can be used to invert the X-ray transform: If = 0 all Fourier components of If are zero A k a k = 0 for all k a k = 0 for all k f = 0. (Cormack used this method for inversion.) A broken ray consists of finitely many line segments which are rotations of each other. The integral of f over a broken ray can be expressed explicitly, but it is more complicated than the above sum for the X-ray transform. Careful analysis of this expression shows that the broken ray transform is injective with some regularity assumptions. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
56 Boundary reconstruction Suppose M is strictly convex and E M is open. If a broken ray starts very close to the boundary and almost tangential to it, it will remain this way for some time. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
57 Boundary reconstruction Suppose M is strictly convex and E M is open. If a broken ray starts very close to the boundary and almost tangential to it, it will remain this way for some time. We can control how well it stays near the boundary. This is similar how an ideally bouncing ball stays near the surface in slowly varying gravitation. (Now gravitation is replaced by the second fundamental form of the boundary.) Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
58 Boundary reconstruction. Suppose M is strictly convex and E M is open. If a broken ray starts very close to the boundary and almost tangential to it, it will remain this way for some time. We can control how well it stays near the boundary. This is similar how an ideally bouncing ball stays near the surface in slowly varying gravitation. (Now gravitation is replaced by the second fundamental form of the boundary.) If we take a sequence of broken rays that stay closer and closer to the boundary, the limit curve is a curve on the boundary M. This curve is actually a geodesic on M. Boundary geodesics as limits of broken rays (= billiard trajectories) are known by many names: glancing billiards, creeping rays, whispering gallery trajectories, gliding rays. These boundary geodesics can be assumed to have endpoints on E. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
59 Boundary reconstruction If we know the broken ray transform of f, we can find its integrals over boundary geodesics. If the X-ray transform on M (or more properly R) is injective, we can recover f at M from its broken ray transform. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
60 Boundary reconstruction If we know the broken ray transform of f, we can find its integrals over boundary geodesics. If the X-ray transform on M (or more properly R) is injective, we can recover f at M from its broken ray transform. If certain weighted X-ray transforms on R are injective, then we can also recover the normal derivatives (of all orders) of f at the boundary. The weight depends on curvature. Intuitively, this is because a broken ray is on average further away from the boundary where the curvature is largest. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
61 Boundary reconstruction. If we know the broken ray transform of f, we can find its integrals over boundary geodesics. If the X-ray transform on M (or more properly R) is injective, we can recover f at M from its broken ray transform. If certain weighted X-ray transforms on R are injective, then we can also recover the normal derivatives (of all orders) of f at the boundary. The weight depends on curvature. Intuitively, this is because a broken ray is on average further away from the boundary where the curvature is largest. When recovering derivatives of order k, the weight is the second fundamental form to the power k/3. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
62 Boundary reconstruction. A broken ray in an ellipse. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
63 Energy estimate for a PDE Suppose dim M = 2. Partition as before: M = E R. Let SM be the sphere bundle of M. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
64 Energy estimate for a PDE Suppose dim M = 2. Partition as before: M = E R. Let SM be the sphere bundle of M. For (x, v) SM, let γ x,v be the unique broken ray starting at x in direction v and ending at E. We assume that every broken ray reaches E in finite time. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
65 Energy estimate for a PDE. Suppose dim M = 2. Partition as before: M = E R. Let SM be the sphere bundle of M. For (x, v) SM, let γ x,v be the unique broken ray starting at x in direction v and ending at E. We assume that every broken ray reaches E in finite time. For x M, let ρ : S x M S x M be the reflection map v v 2(v ν x )ν x where ν x is the (inner or outer) unit normal vector at x. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
66 Energy estimate for a PDE For a C 2 function f : M R, let u f : SM R be the integral of f along this broken ray: u f (x, v) = fds. γ x,v Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
67 Energy estimate for a PDE For a C 2 function f : M R, let u f : SM R be the integral of f along this broken ray: u f (x, v) = fds. γ x,v Let X and V be the geodesic and vertical vector fields on SM. X is the derivative in the direction of the geodesic flow and V is the derivative with respect to direction. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
68 Energy estimate for a PDE. For a C 2 function f : M R, let u f : SM R be the integral of f along this broken ray: u f (x, v) = fds. γ x,v Let X and V be the geodesic and vertical vector fields on SM. X is the derivative in the direction of the geodesic flow and V is the derivative with respect to direction. For x int M this function satisfies Xu f (x, v) = f(x). f does not depend on direction. Thus V Xu f = 0 in int SM. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
69 Energy estimate for a PDE For x R this function satisfies u f (x, v) = u f (x, ρ(v)) because of the way broken ways reflect. If we assume f to have vanishing broken ray transform, then u f (x, v) = 0 whenever x E. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
70 Energy estimate for a PDE For x R this function satisfies u f (x, v) = u f (x, ρ(v)) because of the way broken ways reflect. If we assume f to have vanishing broken ray transform, then u f (x, v) = 0 whenever x E. We have ended up with the PDE V Xu f = 0 with boundary conditions on (SM) = ( M) S 1. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
71 Energy estimate for a PDE. For x R this function satisfies u f (x, v) = u f (x, ρ(v)) because of the way broken ways reflect. If we assume f to have vanishing broken ray transform, then u f (x, v) = 0 whenever x E. We have ended up with the PDE V Xu f = 0 with boundary conditions on (SM) = ( M) S 1. If we can show that this PDE has only the zero solution, then the broken ray transform is injective! Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
72 Energy estimate for a PDE Lemma If u : SM R has sufficient regularity and satisfies the boundary conditions on (SM) mentioned above for u f, then V Xu 2 L 2 (SM) = XV u 2 L 2 (SM) + Xu 2 L 2 (SM) K(x) V u(x, v) 2 SM (SM) where K is the curvature of M and κ is the curvature of M. κ(x) V u(x, v) 2, Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
73 Energy estimate for a PDE. Lemma If u : SM R has sufficient regularity and satisfies the boundary conditions on (SM) mentioned above for u f, then V Xu 2 L 2 (SM) = XV u 2 L 2 (SM) + Xu 2 L 2 (SM) K(x) V u(x, v) 2 SM (SM) where K is the curvature of M and κ is the curvature of M. κ(x) V u(x, v) 2, Suppose K 0 in M and κ 0 in R. If f has vanishing broken ray transform and u f has sufficient regularity, applying the lemma to u f gives so f = Xu f = 0. 0 = Xu f 2 L 2 (SM) + something positive Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
74 Energy estimate for a PDE Theorem (I. Salo 2014) Let ˆM be a nonpositively curved strictly convex Riemannian surface. Let O ˆM be a strictly convex open subset. Let M = ˆM \ O with E = M and R = O. Then the broken ray transform on M is injective on C 2 (M). Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
75 Energy estimate for a PDE. Theorem (I. Salo 2014) Let ˆM be a nonpositively curved strictly convex Riemannian surface. Let O ˆM be a strictly convex open subset. Let M = ˆM \ O with E = M and R = O. Then the broken ray transform on M is injective on C 2 (M). The proof is based on the energy identity (Pestov identity) and establishing sufficient regularity to use the identity. For regularity, we introduce and study Jacobi fields along broken rays. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
76 Outline 1 Introduction 2 Approaches 3 Periodic broken ray transform The problem Counterexamples Reflection 4 Algebraic tomography problems Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
77 The problem For the X-ray transform E = M, but now we take E =. Broken rays are replaced with periodic broken rays. Can a function be recovered from its integrals over all periodic broken rays? Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
78 The problem. For the X-ray transform E = M, but now we take E =. Broken rays are replaced with periodic broken rays. Can a function be recovered from its integrals over all periodic broken rays? There is a similar problem on closed manifolds (without boundary): Can one recover a function from its integrals over all closed geodesics? Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
79 Counterexamples Any counterexample for the usual broken ray transform is a counterexample for the periodic one. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
80 Counterexamples. Any counterexample for the usual broken ray transform is a counterexample for the periodic one. Proposition (I. 2013) There are nontrivial compactly supported smooth functions in the Euclidean disc that integrate to zero over all periodic broken rays. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
81 Reflection. Let us consider the periodic broken ray transform in a cube in R n. If we glue together 2n (suitably reflected) copies of the cube and then identify opposite edges, periodic broken rays in the original cube become periodic geodesics on the torus T n. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
82 Outline 1 Introduction 2 Approaches 3 Periodic broken ray transform 4 Algebraic tomography problems The problem Geodesics on tori Notation The Radon transform on tori Lie groups Finite groups Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
83 The problem If M is a closed manifold (compact without boundary), can a function on it be recovered from its integrals over all periodic geodesics? Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
84 The problem If M is a closed manifold (compact without boundary), can a function on it be recovered from its integrals over all periodic geodesics? What if the manifold has algebraic structure? Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
85 The problem. If M is a closed manifold (compact without boundary), can a function on it be recovered from its integrals over all periodic geodesics? What if the manifold has algebraic structure? We assume M to be a Lie group. The torus T n is a Lie group. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
86 Geodesics on tori Let T n = R n /Z n. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
87 Geodesics on tori Let T n = R n /Z n. Every homomorphism T 1 T n is of the form t tv mod Z n for some v Z n. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
88 Geodesics on tori Let T n = R n /Z n. Every homomorphism T 1 T n is of the form t tv mod Z n for some v Z n. For every closed geodesic γ : T 1 T n there are x T n and v Z n \ 0 so that γ(t) = x + tv mod Z n. Geodesics are translates of nontrivial homomorphisms from the group T 1. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
89 Geodesics on tori. Let T n = R n /Z n. Every homomorphism T 1 T n is of the form t tv mod Z n for some v Z n. For every closed geodesic γ : T 1 T n there are x T n and v Z n \ 0 so that γ(t) = x + tv mod Z n. Geodesics are translates of nontrivial homomorphisms from the group T 1. This is true on all compact Lie groups. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
90 Notation We denote f, g = G f(x)g(x)dx for f, g C (T n ). Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
91 Notation We denote f, g = G f(x)g(x)dx for f, g C (T n ). We will invert the Radon transform on the Fourier side. Recall that T n = R n /Z n. For every k define the function e k (x) = e 2πik x. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
92 Notation. We denote f, g = G f(x)g(x)dx for f, g C (T n ). We will invert the Radon transform on the Fourier side. Recall that T n = R n /Z n. For every k define the function e k (x) = e 2πik x. The Fourier transform of a function f : T n C is a function f : Z n C defined by f(k) = f, e k = f(x)e k (x)dx. T n The Fourier transform is injective. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
93 The Radon transform on tori We parametrize the Radon transform of f : T n C as Rf(x, v) = where x T n and v Z n \ f(x + vt)dt, Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
94 The Radon transform on tori We parametrize the Radon transform of f : T n C as Rf(x, v) = where x T n and v Z n \ f(x + vt)dt, Let Rf(k, v) be the Fourier transform of Rf(x, v) in the variable x. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
95 The Radon transform on tori. We parametrize the Radon transform of f : T n C as Rf(x, v) = where x T n and v Z n \ f(x + vt)dt, Let Rf(k, v) be the Fourier transform of Rf(x, v) in the variable x. We need the Radon transform of the basis elements: Re k (x, v) = e k (x)δ 0,k v. For every k Z n we can find v k Z n \ {0} orthogonal to it. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
96 The Radon transform on tori This definition of the Radon transform has a big benefit: the Radon transform is symmetric. The key is to understand the Radon transform as a family of integral transforms indexed by Z n \ 0 instead of a single operator. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
97 The Radon transform on tori This definition of the Radon transform has a big benefit: the Radon transform is symmetric. The key is to understand the Radon transform as a family of integral transforms indexed by Z n \ 0 instead of a single operator. If we fix v, the map f Rf(, v) is continuous C (T n ) C (T n ) (and also from distributions to distributions). Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
98 The Radon transform on tori This definition of the Radon transform has a big benefit: the Radon transform is symmetric. The key is to understand the Radon transform as a family of integral transforms indexed by Z n \ 0 instead of a single operator. If we fix v, the map f Rf(, v) is continuous C (T n ) C (T n ) (and also from distributions to distributions). For any v we have Rf(, v), g = f, Rg(, v). Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
99 The Radon transform on tori. This definition of the Radon transform has a big benefit: the Radon transform is symmetric. The key is to understand the Radon transform as a family of integral transforms indexed by Z n \ 0 instead of a single operator. If we fix v, the map f Rf(, v) is continuous C (T n ) C (T n ) (and also from distributions to distributions). For any v we have Rf(, v), g = f, Rg(, v). It is easy to handle distributions and Fourier analysis. There is no need for a normal operator. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
100 The Radon transform on tori If we know Rf(x, v) for all x T n and v Z n \ {0}, then we know Rf(k, v) Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
101 The Radon transform on tori If we know Rf(x, v) for all x T n and v Z n \ {0}, then we know Rf(k, v) = Rf(, v), e k Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
102 The Radon transform on tori If we know Rf(x, v) for all x T n and v Z n \ {0}, then we know Rf(k, v) = Rf(, v), e k = f, Re k (, v) Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
103 The Radon transform on tori If we know Rf(x, v) for all x T n and v Z n \ {0}, then we know Rf(k, v) = Rf(, v), e k = f, Re k (, v) = f, e k δ 0,k v Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
104 The Radon transform on tori If we know Rf(x, v) for all x T n and v Z n \ {0}, then we know Rf(k, v) = Rf(, v), e k = f, Re k (, v) = f, e k δ 0,k v = f(k)δ 0,k v for all k and v. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
105 The Radon transform on tori. If we know Rf(x, v) for all x T n and v Z n \ {0}, then we know Rf(k, v) = Rf(, v), e k = f, Re k (, v) = f, e k δ 0,k v = f(k)δ 0,k v for all k and v. Let us fix any k choose v orthogonal to it. Then f(k) = Rf(k, v). We can thus recover f from Rf! Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
106 Lie groups Theorem (I. 2014, Grinberg 1991) Let G be a compact, connected Lie group with at least two points. The Radon transform is injective on G if and only if G / {S 1, S 3 }. The transforms can be inverted explicitly. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
107 Lie groups Theorem (I. 2014, Grinberg 1991) Let G be a compact, connected Lie group with at least two points. The Radon transform is injective on G if and only if G / {S 1, S 3 }. The transforms can be inverted explicitly. This is true even if the Radon transform acts on distributions instead of smooth functions. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
108 Lie groups Theorem (I. 2014, Grinberg 1991) Let G be a compact, connected Lie group with at least two points. The Radon transform is injective on G if and only if G / {S 1, S 3 }. The transforms can be inverted explicitly. This is true even if the Radon transform acts on distributions instead of smooth functions. The exceptional groups have many names: S 1 = SO(2) = U(1) = T 1 and S 3 = SU(2) = Sp(1). Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
109 Lie groups. Theorem (I. 2014, Grinberg 1991) Let G be a compact, connected Lie group with at least two points. The Radon transform is injective on G if and only if G / {S 1, S 3 }. The transforms can be inverted explicitly. This is true even if the Radon transform acts on distributions instead of smooth functions. The exceptional groups have many names: S 1 = SO(2) = U(1) = T 1 and S 3 = SU(2) = Sp(1). The group SO(3) has been studied by several authors due to applications. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
110 Finite groups We defined geodesics to be translates of homomorphisms S 1 G. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
111 Finite groups We defined geodesics to be translates of homomorphisms S 1 G. If G is a finite group, we can define geodesics as translates of homomorphisms C n G where C n is the cyclic group. We cannot scale all geodesics to have the same length, so we need different ns. Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
112 Finite groups. We defined geodesics to be translates of homomorphisms S 1 G. If G is a finite group, we can define geodesics as translates of homomorphisms C n G where C n is the cyclic group. We cannot scale all geodesics to have the same length, so we need different ns. Theorem (I. 2014) The Radon transform is injective on a finite group G if and only if G is not a Frobenius complement. (In the case of functions from G to a field of characteristic zero.) Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
113 End. Thank you. Questions? Slides and papers available at Joonas Ilmavirta (Jyväskylä) Broken ray tomography /
Computer Graphics. Geometric Modeling. Page 1. Copyright Gotsman, Elber, Barequet, Karni, Sheffer Computer Science - Technion. An Example.
An Example 2 3 4 Outline Objective: Develop methods and algorithms to mathematically model shape of real world objects Categories: Wire-Frame Representation Object is represented as as a set of points
More information14.11. Geodesic Lines, Local Gauss-Bonnet Theorem
14.11. Geodesic Lines, Local Gauss-Bonnet Theorem Geodesics play a very important role in surface theory and in dynamics. One of the main reasons why geodesics are so important is that they generalize
More information1 Local Brouwer degree
1 Local Brouwer degree Let D R n be an open set and f : S R n be continuous, D S and c R n. Suppose that the set f 1 (c) D is compact. (1) Then the local Brouwer degree of f at c in the set D is defined.
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More information88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a
88 CHAPTER. VECTOR FUNCTIONS.4 Curvature.4.1 Definitions and Examples The notion of curvature measures how sharply a curve bends. We would expect the curvature to be 0 for a straight line, to be very small
More informationα = u v. In other words, Orthogonal Projection
Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v
More informationHow To Prove The Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationMath 241, Exam 1 Information.
Math 241, Exam 1 Information. 9/24/12, LC 310, 11:15-12:05. Exam 1 will be based on: Sections 12.1-12.5, 14.1-14.3. The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/241fa12/241.html)
More information(Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties
Lecture 1 Convex Sets (Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties 1.1.1 A convex set In the school geometry
More informationGroup Theory. Contents
Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation
More informationH.Calculating Normal Vectors
Appendix H H.Calculating Normal Vectors This appendix describes how to calculate normal vectors for surfaces. You need to define normals to use the OpenGL lighting facility, which is described in Chapter
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More information8.1 Examples, definitions, and basic properties
8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.
More informationMath 4310 Handout - Quotient Vector Spaces
Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces
More informationMATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform
MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish
More informationChapter 7: Products and quotients
Chapter 7: Products and quotients Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 7: Products
More informationCurves and Surfaces. Goals. How do we draw surfaces? How do we specify a surface? How do we approximate a surface?
Curves and Surfaces Parametric Representations Cubic Polynomial Forms Hermite Curves Bezier Curves and Surfaces [Angel 10.1-10.6] Goals How do we draw surfaces? Approximate with polygons Draw polygons
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationInner Product Spaces
Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationFIELDS-MITACS Conference. on the Mathematics of Medical Imaging. Photoacoustic and Thermoacoustic Tomography with a variable sound speed
FIELDS-MITACS Conference on the Mathematics of Medical Imaging Photoacoustic and Thermoacoustic Tomography with a variable sound speed Gunther Uhlmann UC Irvine & University of Washington Toronto, Canada,
More informationAdvanced Microeconomics
Advanced Microeconomics Ordinal preference theory Harald Wiese University of Leipzig Harald Wiese (University of Leipzig) Advanced Microeconomics 1 / 68 Part A. Basic decision and preference theory 1 Decisions
More informationGeometry: Unit 1 Vocabulary TERM DEFINITION GEOMETRIC FIGURE. Cannot be defined by using other figures.
Geometry: Unit 1 Vocabulary 1.1 Undefined terms Cannot be defined by using other figures. Point A specific location. It has no dimension and is represented by a dot. Line Plane A connected straight path.
More informationTHE FUNDAMENTAL THEOREM OF ARBITRAGE PRICING
THE FUNDAMENTAL THEOREM OF ARBITRAGE PRICING 1. Introduction The Black-Scholes theory, which is the main subject of this course and its sequel, is based on the Efficient Market Hypothesis, that arbitrages
More informationMATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.
MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. Vector space A vector space is a set V equipped with two operations, addition V V (x,y) x + y V and scalar
More information7. Some irreducible polynomials
7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More informationMetric Spaces. Chapter 1
Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence
More informationSection 12.6: Directional Derivatives and the Gradient Vector
Section 26: Directional Derivatives and the Gradient Vector Recall that if f is a differentiable function of x and y and z = f(x, y), then the partial derivatives f x (x, y) and f y (x, y) give the rate
More informationIntroduction to Algebraic Geometry. Bézout s Theorem and Inflection Points
Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a
More informationState of Stress at Point
State of Stress at Point Einstein Notation The basic idea of Einstein notation is that a covector and a vector can form a scalar: This is typically written as an explicit sum: According to this convention,
More informationActually Doing It! 6. Prove that the regular unit cube (say 1cm=unit) of sufficiently high dimension can fit inside it the whole city of New York.
1: 1. Compute a random 4-dimensional polytope P as the convex hull of 10 random points using rand sphere(4,10). Run VISUAL to see a Schlegel diagram. How many 3-dimensional polytopes do you see? How many
More informationThe Math Circle, Spring 2004
The Math Circle, Spring 2004 (Talks by Gordon Ritter) What is Non-Euclidean Geometry? Most geometries on the plane R 2 are non-euclidean. Let s denote arc length. Then Euclidean geometry arises from the
More informationArrangements And Duality
Arrangements And Duality 3.1 Introduction 3 Point configurations are tbe most basic structure we study in computational geometry. But what about configurations of more complicated shapes? For example,
More informationLinear Algebra Notes for Marsden and Tromba Vector Calculus
Linear Algebra Notes for Marsden and Tromba Vector Calculus n-dimensional Euclidean Space and Matrices Definition of n space As was learned in Math b, a point in Euclidean three space can be thought of
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More informationUNIFORMLY DISCONTINUOUS GROUPS OF ISOMETRIES OF THE PLANE
UNIFORMLY DISCONTINUOUS GROUPS OF ISOMETRIES OF THE PLANE NINA LEUNG Abstract. This paper discusses 2-dimensional locally Euclidean geometries and how these geometries can describe musical chords. Contents
More informationx1 x 2 x 3 y 1 y 2 y 3 x 1 y 2 x 2 y 1 0.
Cross product 1 Chapter 7 Cross product We are getting ready to study integration in several variables. Until now we have been doing only differential calculus. One outcome of this study will be our ability
More informationComments on Quotient Spaces and Quotient Maps
22M:132 Fall 07 J. Simon Comments on Quotient Spaces and Quotient Maps There are many situations in topology where we build a topological space by starting with some (often simpler) space[s] and doing
More informationTOPIC 4: DERIVATIVES
TOPIC 4: DERIVATIVES 1. The derivative of a function. Differentiation rules 1.1. The slope of a curve. The slope of a curve at a point P is a measure of the steepness of the curve. If Q is a point on the
More information1 Norms and Vector Spaces
008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)
More informationMetrics on SO(3) and Inverse Kinematics
Mathematical Foundations of Computer Graphics and Vision Metrics on SO(3) and Inverse Kinematics Luca Ballan Institute of Visual Computing Optimization on Manifolds Descent approach d is a ascent direction
More informationAlgebra 2 Chapter 1 Vocabulary. identity - A statement that equates two equivalent expressions.
Chapter 1 Vocabulary identity - A statement that equates two equivalent expressions. verbal model- A word equation that represents a real-life problem. algebraic expression - An expression with variables.
More informationA QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS
A QUIK GUIDE TO THE FOMULAS OF MULTIVAIABLE ALULUS ontents 1. Analytic Geometry 2 1.1. Definition of a Vector 2 1.2. Scalar Product 2 1.3. Properties of the Scalar Product 2 1.4. Length and Unit Vectors
More informationRecall that two vectors in are perpendicular or orthogonal provided that their dot
Orthogonal Complements and Projections Recall that two vectors in are perpendicular or orthogonal provided that their dot product vanishes That is, if and only if Example 1 The vectors in are orthogonal
More informationFIBER PRODUCTS AND ZARISKI SHEAVES
FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also
More informationSection 1.1. Introduction to R n
The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to
More informationSolutions to Practice Problems
Higher Geometry Final Exam Tues Dec 11, 5-7:30 pm Practice Problems (1) Know the following definitions, statements of theorems, properties from the notes: congruent, triangle, quadrilateral, isosceles
More informationRotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve
QUALITATIVE THEORY OF DYAMICAL SYSTEMS 2, 61 66 (2001) ARTICLE O. 11 Rotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve Alexei Grigoriev Department of Mathematics, The
More informationINCIDENCE-BETWEENNESS GEOMETRY
INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationApproximation of an Open Polygonal Curve with a Minimum Number of Circular Arcs and Biarcs
Approximation of an Open Polygonal Curve with a Minimum Number of Circular Arcs and Biarcs R. L. Scot Drysdale a Günter Rote b,1 Astrid Sturm b,1 a Department of Computer Science, Dartmouth College b Institut
More information(a) We have x = 3 + 2t, y = 2 t, z = 6 so solving for t we get the symmetric equations. x 3 2. = 2 y, z = 6. t 2 2t + 1 = 0,
Name: Solutions to Practice Final. Consider the line r(t) = 3 + t, t, 6. (a) Find symmetric equations for this line. (b) Find the point where the first line r(t) intersects the surface z = x + y. (a) We
More informationLinear Equations in Linear Algebra
1 Linear Equations in Linear Algebra 1.5 SOLUTION SETS OF LINEAR SYSTEMS HOMOGENEOUS LINEAR SYSTEMS A system of linear equations is said to be homogeneous if it can be written in the form A 0, where A
More informationMathematical Induction. Mary Barnes Sue Gordon
Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon c 1987 University of Sydney Contents 1 Mathematical Induction 1 1.1 Why do we need proof by induction?.... 1 1. What is proof by
More informationORIENTATIONS. Contents
ORIENTATIONS Contents 1. Generators for H n R n, R n p 1 1. Generators for H n R n, R n p We ended last time by constructing explicit generators for H n D n, S n 1 by using an explicit n-simplex which
More information4. Expanding dynamical systems
4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,
More informationGROUPS ACTING ON A SET
GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for
More information11 Ideals. 11.1 Revisiting Z
11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(
More informationCHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY
January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationGeometric Transformations
Geometric Transformations Definitions Def: f is a mapping (function) of a set A into a set B if for every element a of A there exists a unique element b of B that is paired with a; this pairing is denoted
More informationAlgebra 1 Course Title
Algebra 1 Course Title Course- wide 1. What patterns and methods are being used? Course- wide 1. Students will be adept at solving and graphing linear and quadratic equations 2. Students will be adept
More informationOn planar regular graphs degree three without Hamiltonian cycles 1
On planar regular graphs degree three without Hamiltonian cycles 1 E. Grinbergs Computing Centre of Latvian State University Abstract. Necessary condition to have Hamiltonian cycle in planar graph is given.
More informationit is easy to see that α = a
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore
More informationOrthogonal Projections
Orthogonal Projections and Reflections (with exercises) by D. Klain Version.. Corrections and comments are welcome! Orthogonal Projections Let X,..., X k be a family of linearly independent (column) vectors
More informationParametric Curves. (Com S 477/577 Notes) Yan-Bin Jia. Oct 8, 2015
Parametric Curves (Com S 477/577 Notes) Yan-Bin Jia Oct 8, 2015 1 Introduction A curve in R 2 (or R 3 ) is a differentiable function α : [a,b] R 2 (or R 3 ). The initial point is α[a] and the final point
More informationMAT 200, Midterm Exam Solution. a. (5 points) Compute the determinant of the matrix A =
MAT 200, Midterm Exam Solution. (0 points total) a. (5 points) Compute the determinant of the matrix 2 2 0 A = 0 3 0 3 0 Answer: det A = 3. The most efficient way is to develop the determinant along the
More informationThe Clar Structure of Fullerenes
The Clar Structure of Fullerenes Liz Hartung Massachusetts College of Liberal Arts June 12, 2013 Liz Hartung (Massachusetts College of Liberal Arts) The Clar Structure of Fullerenes June 12, 2013 1 / 25
More informationNOTES ON LINEAR TRANSFORMATIONS
NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all
More informationRIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES
RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific
More informationDiscrete Convolution and the Discrete Fourier Transform
Discrete Convolution and the Discrete Fourier Transform Discrete Convolution First of all we need to introduce what we might call the wraparound convention Because the complex numbers w j e i πj N have
More informationClass Meeting # 1: Introduction to PDEs
MATH 18.152 COURSE NOTES - CLASS MEETING # 1 18.152 Introduction to PDEs, Fall 2011 Professor: Jared Speck Class Meeting # 1: Introduction to PDEs 1. What is a PDE? We will be studying functions u = u(x
More informationNotes on Orthogonal and Symmetric Matrices MENU, Winter 2013
Notes on Orthogonal and Symmetric Matrices MENU, Winter 201 These notes summarize the main properties and uses of orthogonal and symmetric matrices. We covered quite a bit of material regarding these topics,
More informationMathematical Methods of Engineering Analysis
Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................
More informationON FIBER DIAMETERS OF CONTINUOUS MAPS
ON FIBER DIAMETERS OF CONTINUOUS MAPS PETER S. LANDWEBER, EMANUEL A. LAZAR, AND NEEL PATEL Abstract. We present a surprisingly short proof that for any continuous map f : R n R m, if n > m, then there
More informationA class of infinite dimensional stochastic processes
A class of infinite dimensional stochastic processes John Karlsson Linköping University CRM Barcelona, July 7, 214 Joint work with Jörg-Uwe Löbus John Karlsson (Linköping University) Infinite dimensional
More informationSurface bundles over S 1, the Thurston norm, and the Whitehead link
Surface bundles over S 1, the Thurston norm, and the Whitehead link Michael Landry August 16, 2014 The Thurston norm is a powerful tool for studying the ways a 3-manifold can fiber over the circle. In
More informationElements of Plane Geometry by LK
Elements of Plane Geometry by LK These are notes indicating just some bare essentials of plane geometry and some problems to think about. We give a modified version of the axioms for Euclidean Geometry
More informationMetric Spaces Joseph Muscat 2003 (Last revised May 2009)
1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of
More informationMA 408 Computer Lab Two The Poincaré Disk Model of Hyperbolic Geometry. Figure 1: Lines in the Poincaré Disk Model
MA 408 Computer Lab Two The Poincaré Disk Model of Hyperbolic Geometry Put your name here: Score: Instructions: For this lab you will be using the applet, NonEuclid, created by Castellanos, Austin, Darnell,
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationChapter 19. General Matrices. An n m matrix is an array. a 11 a 12 a 1m a 21 a 22 a 2m A = a n1 a n2 a nm. The matrix A has n row vectors
Chapter 9. General Matrices An n m matrix is an array a a a m a a a m... = [a ij]. a n a n a nm The matrix A has n row vectors and m column vectors row i (A) = [a i, a i,..., a im ] R m a j a j a nj col
More information1 VECTOR SPACES AND SUBSPACES
1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it
More informationON CERTAIN DOUBLY INFINITE SYSTEMS OF CURVES ON A SURFACE
i93 c J SYSTEMS OF CURVES 695 ON CERTAIN DOUBLY INFINITE SYSTEMS OF CURVES ON A SURFACE BY C H. ROWE. Introduction. A system of co 2 curves having been given on a surface, let us consider a variable curvilinear
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationCHAPTER 1 BASIC TOPOLOGY
CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is
More informationFixed Point Theorems
Fixed Point Theorems Definition: Let X be a set and let T : X X be a function that maps X into itself. (Such a function is often called an operator, a transformation, or a transform on X, and the notation
More informationTHE DIMENSION OF A VECTOR SPACE
THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field
More informationBX in ( u, v) basis in two ways. On the one hand, AN = u+
1. Let f(x) = 1 x +1. Find f (6) () (the value of the sixth derivative of the function f(x) at zero). Answer: 7. We expand the given function into a Taylor series at the point x = : f(x) = 1 x + x 4 x
More informationThnkwell s Homeschool Precalculus Course Lesson Plan: 36 weeks
Thnkwell s Homeschool Precalculus Course Lesson Plan: 36 weeks Welcome to Thinkwell s Homeschool Precalculus! We re thrilled that you ve decided to make us part of your homeschool curriculum. This lesson
More informationINVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS
INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS NATHAN BROWN, RACHEL FINCK, MATTHEW SPENCER, KRISTOPHER TAPP, AND ZHONGTAO WU Abstract. We classify the left-invariant metrics with nonnegative
More informationSome Comments on the Derivative of a Vector with applications to angular momentum and curvature. E. L. Lady (October 18, 2000)
Some Comments on the Derivative of a Vector with applications to angular momentum and curvature E. L. Lady (October 18, 2000) Finding the formula in polar coordinates for the angular momentum of a moving
More information17. Inner product spaces Definition 17.1. Let V be a real vector space. An inner product on V is a function
17. Inner product spaces Definition 17.1. Let V be a real vector space. An inner product on V is a function, : V V R, which is symmetric, that is u, v = v, u. bilinear, that is linear (in both factors):
More information(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9
Homework #01, due 1/20/10 = 9.1.2, 9.1.4, 9.1.6, 9.1.8, 9.2.3 Additional problems for study: 9.1.1, 9.1.3, 9.1.5, 9.1.13, 9.2.1, 9.2.2, 9.2.4, 9.2.5, 9.2.6, 9.3.2, 9.3.3 9.1.1 (This problem was not assigned
More informationLINEAR ALGEBRA W W L CHEN
LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,
More information