Zdzislaw Brzeźniak. Department of Mathematics University of York. joint works with Mauro Mariani (Roma 1) and Gaurav Dhariwal (York)
|
|
- Theodora Sharlene Stokes
- 5 years ago
- Views:
Transcription
1 Navier-Stokes equations with constrained L 2 energy of the solution Zdzislaw Brzeźniak Department of Mathematics University of York joint works with Mauro Mariani (Roma 1) and Gaurav Dhariwal (York) LMS EPSRC Durham Symposium Stochastic Analysis Durham, July 1-2, 217 Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
2 Motivation Caglioti et.al [5] studied 2D NSEs in R 2 with constraints E(ω) = ψ(x) ω(x) dx = u(x) 2 dx = a, R 2 R 2 I(ω) = x 2 ω(x) dx = b, R 2 where ω = curl u, ψ = ( ) 1 ω. They proved that for a certain stationary solution ω MF of the Euler equation (in the vorticity form) with constraints a, b, for every initial data ω close enough ω MF with the same constraints a, b; ω(t) ω MF, as t, where ω(t) is the solution of the NSEs (in the vorticity form) with inital data ω and the same constraints. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
3 Motivation Caglioti et.al [5] studied 2D NSEs in R 2 with constraints E(ω) = ψ(x) ω(x) dx = u(x) 2 dx = a, R 2 R 2 I(ω) = x 2 ω(x) dx = b, R 2 where ω = curl u, ψ = ( ) 1 ω. They proved that for a certain stationary solution ω MF of the Euler equation (in the vorticity form) with constraints a, b, for every initial data ω close enough ω MF with the same constraints a, b; ω(t) ω MF, as t, where ω(t) is the solution of the NSEs (in the vorticity form) with inital data ω and the same constraints. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
4 Motivation Rybka [7] and Caffarelli & Lin [4] studied heat equation with constraint u L 2 = 1. (1) The heat equation is given by u = A u, (2) t where A u = u is a self adjoint operator on H. We define a Hilbert manifold M = {u H : u H = 1}. (3) Note that A u / T um for u M but Π u( A u) T um for every u M, where Π u : H x x x, u H u T um = {y H : u, y H = } (4) is the orthogonal projection. Since Π u( A u) = A u + A 1/2 u 2 Hu, we get u t = A u + A1/2 2 Hu. (5) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
5 Motivation Rybka [7] and Caffarelli & Lin [4] studied heat equation with constraint u L 2 = 1. (1) The heat equation is given by u = A u, (2) t where A u = u is a self adjoint operator on H. We define a Hilbert manifold M = {u H : u H = 1}. (3) Note that A u / T um for u M but Π u( A u) T um for every u M, where Π u : H x x x, u H u T um = {y H : u, y H = } (4) is the orthogonal projection. Since Π u( A u) = A u + A 1/2 u 2 Hu, we get u t = A u + A1/2 2 Hu. (5) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
6 Motivation Rybka [7] and Caffarelli & Lin [4] studied heat equation with constraint u L 2 = 1. (1) The heat equation is given by u = A u, (2) t where A u = u is a self adjoint operator on H. We define a Hilbert manifold M = {u H : u H = 1}. (3) Note that A u / T um for u M but Π u( A u) T um for every u M, where Π u : H x x x, u H u T um = {y H : u, y H = } (4) is the orthogonal projection. Since Π u( A u) = A u + A 1/2 u 2 Hu, we get u t = A u + A1/2 2 Hu. (5) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
7 Motivation Rybka [7] and Caffarelli & Lin [4] studied heat equation with constraint u L 2 = 1. (1) The heat equation is given by u = A u, (2) t where A u = u is a self adjoint operator on H. We define a Hilbert manifold M = {u H : u H = 1}. (3) Note that A u / T um for u M but Π u( A u) T um for every u M, where Π u : H x x x, u H u T um = {y H : u, y H = } (4) is the orthogonal projection. Since Π u( A u) = A u + A 1/2 u 2 Hu, we get u t = A u + A1/2 2 Hu. (5) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
8 Motivation Rybka [7] and Caffarelli & Lin [4] studied heat equation with constraint u L 2 = 1. (1) The heat equation is given by u = A u, (2) t where A u = u is a self adjoint operator on H. We define a Hilbert manifold M = {u H : u H = 1}. (3) Note that A u / T um for u M but Π u( A u) T um for every u M, where Π u : H x x x, u H u T um = {y H : u, y H = } (4) is the orthogonal projection. Since Π u( A u) = A u + A 1/2 u 2 Hu, we get u t = A u + A1/2 2 Hu. (5) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
9 Constrained Heat equation A special case of heat equation with Dirichlet boundary condition u t = u + u 2 L 2u (6) u() = u Note that the heat equation (2) can be seen as an L 2 gradient flow of energy E(u) = 1 u(x) 2 dx, (7) 2 as formally L 2E(u) = u. Similarly, the constrained heat equation (6) can be seen as the gradient flow of E restricted to the manifold M with L 2 metric on the tangent bundle. In fact one can prove that the solution of (6) with u H 1 (O) M satisfies E(u(t)) + from which one can deduce the global existence. O u(s) + u 2 L 2u(s) 2 L2 ds = E(u()) (8) An essential step in proving the global existence is to establish the invariance of M. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
10 Constrained Heat equation A special case of heat equation with Dirichlet boundary condition u t = u + u 2 L 2u (6) u() = u Note that the heat equation (2) can be seen as an L 2 gradient flow of energy E(u) = 1 u(x) 2 dx, (7) 2 as formally L 2E(u) = u. Similarly, the constrained heat equation (6) can be seen as the gradient flow of E restricted to the manifold M with L 2 metric on the tangent bundle. In fact one can prove that the solution of (6) with u H 1 (O) M satisfies E(u(t)) + from which one can deduce the global existence. O u(s) + u 2 L 2u(s) 2 L2 ds = E(u()) (8) An essential step in proving the global existence is to establish the invariance of M. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
11 Constrained Heat equation A special case of heat equation with Dirichlet boundary condition u t = u + u 2 L 2u (6) u() = u Note that the heat equation (2) can be seen as an L 2 gradient flow of energy E(u) = 1 u(x) 2 dx, (7) 2 as formally L 2E(u) = u. Similarly, the constrained heat equation (6) can be seen as the gradient flow of E restricted to the manifold M with L 2 metric on the tangent bundle. In fact one can prove that the solution of (6) with u H 1 (O) M satisfies E(u(t)) + from which one can deduce the global existence. O u(s) + u 2 L 2u(s) 2 L2 ds = E(u()) (8) An essential step in proving the global existence is to establish the invariance of M. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
12 Constrained Heat equation A special case of heat equation with Dirichlet boundary condition u t = u + u 2 L 2u (6) u() = u Note that the heat equation (2) can be seen as an L 2 gradient flow of energy E(u) = 1 u(x) 2 dx, (7) 2 as formally L 2E(u) = u. Similarly, the constrained heat equation (6) can be seen as the gradient flow of E restricted to the manifold M with L 2 metric on the tangent bundle. In fact one can prove that the solution of (6) with u H 1 (O) M satisfies E(u(t)) + from which one can deduce the global existence. O u(s) + u 2 L 2u(s) 2 L2 ds = E(u()) (8) An essential step in proving the global existence is to establish the invariance of M. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
13 Navier-Stokes equations We consider NSEs u + A u + B(u, u) = t (9) u() = u which is an abstract form of u ν u + u u + p =, t div u =, u(, ) = u ( ). Here B(u, u) = Π(u u) (1) where Π : L 2 (O) H is the orthogonal projection. H = {u L 2 (O): div u = and u O n = (Dirichlet b.c.) or u(x) dx = (Torus)} (11) O Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
14 Navier-Stokes equations We consider NSEs u + A u + B(u, u) = t (9) u() = u which is an abstract form of u ν u + u u + p =, t div u =, u(, ) = u ( ). Here B(u, u) = Π(u u) (1) where Π : L 2 (O) H is the orthogonal projection. H = {u L 2 (O): div u = and u O n = (Dirichlet b.c.) or u(x) dx = (Torus)} (11) O Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
15 Constrained Navier-Stokes equations We put M = {u H : u L 2 = 1}. The projected version of (9) can be found in a similar way as before. Note So we get Π u(b(u, u)) = B(u, u) B(u, u), u H u = B(u, u). (12) }{{} = u t + A u + B(u, u) = u 2 L 2u u() = u V M, where V = H 1,2 M or H 1,2 M. We can show existence of a local maximal solution u(t), t < τ which lies on M. However to prove the global existence one needs to assume that we deal with periodic boundary conditions (or torus), because then A u, B(u, u) H =. (13) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
16 Constrained Navier-Stokes equations We put M = {u H : u L 2 = 1}. The projected version of (9) can be found in a similar way as before. Note So we get Π u(b(u, u)) = B(u, u) B(u, u), u H u = B(u, u). (12) }{{} = u t + A u + B(u, u) = u 2 L 2u u() = u V M, where V = H 1,2 M or H 1,2 M. We can show existence of a local maximal solution u(t), t < τ which lies on M. However to prove the global existence one needs to assume that we deal with periodic boundary conditions (or torus), because then A u, B(u, u) H =. (13) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
17 Constrained Navier-Stokes equations We put M = {u H : u L 2 = 1}. The projected version of (9) can be found in a similar way as before. Note So we get Π u(b(u, u)) = B(u, u) B(u, u), u H u = B(u, u). (12) }{{} = u t + A u + B(u, u) = u 2 L 2u u() = u V M, where V = H 1,2 M or H 1,2 M. We can show existence of a local maximal solution u(t), t < τ which lies on M. However to prove the global existence one needs to assume that we deal with periodic boundary conditions (or torus), because then A u, B(u, u) H =. (13) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
18 Constrained Navier-Stokes equations We put M = {u H : u L 2 = 1}. The projected version of (9) can be found in a similar way as before. Note So we get Π u(b(u, u)) = B(u, u) B(u, u), u H u = B(u, u). (12) }{{} = u t + A u + B(u, u) = u 2 L 2u u() = u V M, where V = H 1,2 M or H 1,2 M. We can show existence of a local maximal solution u(t), t < τ which lies on M. However to prove the global existence one needs to assume that we deal with periodic boundary conditions (or torus), because then A u, B(u, u) H =. (13) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
19 Global existence for Constrained NSEs Since u 2 V = u 2 H + u 2 L 2 = u 2 H + 2E(u) and the L 2 norm of u(t) doesn t explode. In order to show that u(t) 2 V doesn t explode, it suffices to show that u(t) L 2 neither does. Formally, we have 1 d 2 dt u(t) 2 L 2 = u, A u L 2 = A u B(u, u) + u 2 L 2u, A u L 2 = A u 2 L 2 + u 4 L2. (14) But recall Thus ME(u) = Π u( ue(u)) = Π u(a u) = Au u 2 L2u. (15) ME(u) 2 L 2 = A u 2 + u 4 L 2 u 2 L }{{ 2 2 u 2 L } 2 u, A u L }{{ 2 } = 1 = u 2 L 2 = A u 2 L 2 u 4 L2. (16) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
20 Global existence for Constrained NSEs Since u 2 V = u 2 H + u 2 L 2 = u 2 H + 2E(u) and the L 2 norm of u(t) doesn t explode. In order to show that u(t) 2 V doesn t explode, it suffices to show that u(t) L 2 neither does. Formally, we have 1 d 2 dt u(t) 2 L 2 = u, A u L 2 = A u B(u, u) + u 2 L 2u, A u L 2 = A u 2 L 2 + u 4 L2. (14) But recall Thus ME(u) = Π u( ue(u)) = Π u(a u) = Au u 2 L2u. (15) ME(u) 2 L 2 = A u 2 + u 4 L 2 u 2 L }{{ 2 2 u 2 L } 2 u, A u L }{{ 2 } = 1 = u 2 L 2 = A u 2 L 2 u 4 L2. (16) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
21 Global existence for Constrained NSEs Since u 2 V = u 2 H + u 2 L 2 = u 2 H + 2E(u) and the L 2 norm of u(t) doesn t explode. In order to show that u(t) 2 V doesn t explode, it suffices to show that u(t) L 2 neither does. Formally, we have 1 d 2 dt u(t) 2 L 2 = u, A u L 2 = A u B(u, u) + u 2 L 2u, A u L 2 = A u 2 L 2 + u 4 L2. (14) But recall Thus ME(u) = Π u( ue(u)) = Π u(a u) = Au u 2 L2u. (15) ME(u) 2 L 2 = A u 2 + u 4 L 2 u 2 L }{{ 2 2 u 2 L } 2 u, A u L }{{ 2 } = 1 = u 2 L 2 = A u 2 L 2 u 4 L2. (16) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
22 Global existence for Constrained NSEs Since u 2 V = u 2 H + u 2 L 2 = u 2 H + 2E(u) and the L 2 norm of u(t) doesn t explode. In order to show that u(t) 2 V doesn t explode, it suffices to show that u(t) L 2 neither does. Formally, we have 1 d 2 dt u(t) 2 L 2 = u, A u L 2 = A u B(u, u) + u 2 L 2u, A u L 2 = A u 2 L 2 + u 4 L2. (14) But recall Thus ME(u) = Π u( ue(u)) = Π u(a u) = Au u 2 L2u. (15) ME(u) 2 L 2 = A u 2 + u 4 L 2 u 2 L }{{ 2 2 u 2 L } 2 u, A u L }{{ 2 } = 1 = u 2 L 2 = A u 2 L 2 u 4 L2. (16) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
23 Global existence for Constrained NSEs Since u 2 V = u 2 H + u 2 L 2 = u 2 H + 2E(u) and the L 2 norm of u(t) doesn t explode. In order to show that u(t) 2 V doesn t explode, it suffices to show that u(t) L 2 neither does. Formally, we have 1 d 2 dt u(t) 2 L 2 = u, A u L 2 = A u B(u, u) + u 2 L 2u, A u L 2 = A u 2 L 2 + u 4 L2. (14) But recall Thus ME(u) = Π u( ue(u)) = Π u(a u) = Au u 2 L2u. (15) ME(u) 2 L 2 = A u 2 + u 4 L 2 u 2 L }{{ 2 2 u 2 L } 2 u, A u L }{{ 2 } = 1 = u 2 L 2 = A u 2 L 2 u 4 L2. (16) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
24 Deterministic constrained NSEs - Main Theorem Hence A u 2 L 2 u 4 L 2 and 1 2 u(t) 2 L 2 + ME(u(s)) 2 L 2 ds = 1 2 u 2 L2, t [, T ). (17) Thus we can summarise our results in the following theorem : Theorem 1 For every u V M there exists a unique global solution u of the constrained NSEs (13) such that u X T for all T >. Here X T = C([, T ]; V) L 2 (, T; D(A)). Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
25 Stochastic Constrained NSEs We assume that W = (W 1,, W m) is R m valued Wiener process, c 1, c m and Ĉ 1,, Ĉm are respectively vector fields and assosciated linear operators given by Ĉ ju = c j(x) u, : div c j =, j {1,, m}. Since C ju = ΠĈju, j {1,, m}, is skew symmetric in H, these operators don t produce any correction term when projected on T um. Thus the stochastic NSE m m du + [A u + B(u, u)] dt = C ju dw j = C ju dw j + 1 m Cj 2 u dt 2 }{{} Stratonovich = Itô + correction under the constraint is given by du + [ A u + B(u, u) u 2 L 2 u] dt = 1 m m Cj 2 u dt + C ju dw j. (18) 2 Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
26 Stochastic Constrained NSEs We assume that W = (W 1,, W m) is R m valued Wiener process, c 1, c m and Ĉ 1,, Ĉm are respectively vector fields and assosciated linear operators given by Ĉ ju = c j(x) u, : div c j =, j {1,, m}. Since C ju = ΠĈju, j {1,, m}, is skew symmetric in H, these operators don t produce any correction term when projected on T um. Thus the stochastic NSE m m du + [A u + B(u, u)] dt = C ju dw j = C ju dw j + 1 m Cj 2 u dt 2 }{{} Stratonovich = Itô + correction under the constraint is given by du + [ A u + B(u, u) u 2 L 2 u] dt = 1 m m Cj 2 u dt + C ju dw j. (18) 2 Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
27 Stochastic Constrained NSEs We assume that W = (W 1,, W m) is R m valued Wiener process, c 1, c m and Ĉ 1,, Ĉm are respectively vector fields and assosciated linear operators given by Ĉ ju = c j(x) u, : div c j =, j {1,, m}. Since C ju = ΠĈju, j {1,, m}, is skew symmetric in H, these operators don t produce any correction term when projected on T um. Thus the stochastic NSE m m du + [A u + B(u, u)] dt = C ju dw j = C ju dw j + 1 m Cj 2 u dt 2 }{{} Stratonovich = Itô + correction under the constraint is given by du + [ A u + B(u, u) u 2 L 2 u] dt = 1 m m Cj 2 u dt + C ju dw j. (18) 2 Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
28 Martingale solution Definition 2 We say that there exists a martingale solution of (18) iff there exist a stochastic basis (ˆΩ, ˆF, ˆF, ˆP) with filtration ˆF { } = ˆFt, an R m -valued ˆF-Wiener process Ŵ, and an ˆF-progressively measurable process u : [, T ] ˆΩ V M with ˆP-a.e. paths u(, ω) C([, T ]; V w) L 2 (, T; D(A)), such that for all t [, T ] and all v D(A): u(t), v + + Au(s), v ds + u(s) 2 L 2 u(s), v ds t B(u(s)), v ds = u, v m C 2 j u(s), v ds + m C ju(s), v dw j, (19) the identity hold ˆP-a.s. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
29 Existence of a martingale solution Theorem 3 (Assume that our domain is the 2-d torus) Then for every u V M, there exists a martingale solution to the stochastic constrained NSEs (18). Sketch of the proof : Galerkin approximation : Let {e j} be ONB of H and eigenvectors of A. H n := lin{e 1,, e n} is the finite dimensional Hilbert space n P n : H H n be the orthogonal projection operator given by P nu = u, e i e i. We consider the following projection of onto H n: { dun = [ ] P nau n + P nb(u n) u n 2 L 2un dt + m PnCjun dwj, t, u n() = Pnu, for n large enough P nu L 2 (2) We fix T >. Equation (2) is a stochastic ODE on a finite dimensional compact manifold M n = {u H n : u L 2 = 1}. Hence it has a unique M-valued solution (with continuous paths). Moreover, q 2 E T u n(t) q H dt <. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19 i=1
30 Existence of a martingale solution Theorem 3 (Assume that our domain is the 2-d torus) Then for every u V M, there exists a martingale solution to the stochastic constrained NSEs (18). Sketch of the proof : Galerkin approximation : Let {e j} be ONB of H and eigenvectors of A. H n := lin{e 1,, e n} is the finite dimensional Hilbert space n P n : H H n be the orthogonal projection operator given by P nu = u, e i e i. We consider the following projection of onto H n: { dun = [ ] P nau n + P nb(u n) u n 2 L 2un dt + m PnCjun dwj, t, u n() = Pnu, for n large enough P nu L 2 (2) We fix T >. Equation (2) is a stochastic ODE on a finite dimensional compact manifold M n = {u H n : u L 2 = 1}. Hence it has a unique M-valued solution (with continuous paths). Moreover, q 2 E T u n(t) q H dt <. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19 i=1
31 Existence of a martingale solution Theorem 3 (Assume that our domain is the 2-d torus) Then for every u V M, there exists a martingale solution to the stochastic constrained NSEs (18). Sketch of the proof : Galerkin approximation : Let {e j} be ONB of H and eigenvectors of A. H n := lin{e 1,, e n} is the finite dimensional Hilbert space n P n : H H n be the orthogonal projection operator given by P nu = u, e i e i. We consider the following projection of onto H n: { dun = [ ] P nau n + P nb(u n) u n 2 L 2un dt + m PnCjun dwj, t, u n() = Pnu, for n large enough P nu L 2 (2) We fix T >. Equation (2) is a stochastic ODE on a finite dimensional compact manifold M n = {u H n : u L 2 = 1}. Hence it has a unique M-valued solution (with continuous paths). Moreover, q 2 E T u n(t) q H dt <. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19 i=1
32 Existence of a martingale solution Theorem 3 (Assume that our domain is the 2-d torus) Then for every u V M, there exists a martingale solution to the stochastic constrained NSEs (18). Sketch of the proof : Galerkin approximation : Let {e j} be ONB of H and eigenvectors of A. H n := lin{e 1,, e n} is the finite dimensional Hilbert space n P n : H H n be the orthogonal projection operator given by P nu = u, e i e i. We consider the following projection of onto H n: { dun = [ ] P nau n + P nb(u n) u n 2 L 2un dt + m PnCjun dwj, t, u n() = Pnu, for n large enough P nu L 2 (2) We fix T >. Equation (2) is a stochastic ODE on a finite dimensional compact manifold M n = {u H n : u L 2 = 1}. Hence it has a unique M-valued solution (with continuous paths). Moreover, q 2 E T u n(t) q H dt <. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19 i=1
33 A priori estimates These depend deeply on the property that B(u), Au H =, and a very specific assumption We assume c 1, c m are constant vector fields. Let K c = max j 1,,m c j R 2. u D(A). Lemma 4 [ ) Let p 1, and ρ >. Then there exist positive constants C Kc 1(p, ρ), C 2(p, ρ) 2 and C 3(ρ) such that if u V ρ, then ( ) sup E n 1 sup E n 1 sup u n(r) 2p V r [,T ] T C 1(p, ρ), (21) u n(s) 2(p 1) V Au n(s) u n(s) 2 L 2un(s) 2 H ds C 2(p, ρ), (22) and T sup E u n(s) 2 D(A) ds C 2(1) + C 1(2)T =: C 3(ρ). (23) n 1 Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
34 A priori estimates These depend deeply on the property that B(u), Au H =, and a very specific assumption We assume c 1, c m are constant vector fields. Let K c = max j 1,,m c j R 2. u D(A). Lemma 4 [ ) Let p 1, and ρ >. Then there exist positive constants C Kc 1(p, ρ), C 2(p, ρ) 2 and C 3(ρ) such that if u V ρ, then ( ) sup E n 1 sup E n 1 sup u n(r) 2p V r [,T ] T C 1(p, ρ), (21) u n(s) 2(p 1) V Au n(s) u n(s) 2 L 2un(s) 2 H ds C 2(p, ρ), (22) and T sup E u n(s) 2 D(A) ds C 2(1) + C 1(2)T =: C 3(ρ). (23) n 1 Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
35 Aldous condition We put Z T = C([, T ]; H) L 2 w(, T; D(A)) L 2 (, T; V) C([, T]; V w), and T T the corresponding topology. In order to prove that the laws of u n are tight on Z T. Apart from a priori estimates we also need one additional property to be satisfied : Lemma 5 (Aldous condition in H) ε >, η > δ > : for every stopping time τ n : Ω [, T ] sup n N sup P ( u n(τ n + θ) u n(τ n) H η) < ε. (24) θ δ Lemma 5 can be proved by applying Lemma 4 to equations (2). Corollary 6 The laws of (u n) are tight on Z T, i.e. ε > K ε Z T compact, such that P (u n K ε) 1 ε, n N. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
36 Aldous condition We put Z T = C([, T ]; H) L 2 w(, T; D(A)) L 2 (, T; V) C([, T]; V w), and T T the corresponding topology. In order to prove that the laws of u n are tight on Z T. Apart from a priori estimates we also need one additional property to be satisfied : Lemma 5 (Aldous condition in H) ε >, η > δ > : for every stopping time τ n : Ω [, T ] sup n N sup P ( u n(τ n + θ) u n(τ n) H η) < ε. (24) θ δ Lemma 5 can be proved by applying Lemma 4 to equations (2). Corollary 6 The laws of (u n) are tight on Z T, i.e. ε > K ε Z T compact, such that P (u n K ε) 1 ε, n N. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
37 Aldous condition We put Z T = C([, T ]; H) L 2 w(, T; D(A)) L 2 (, T; V) C([, T]; V w), and T T the corresponding topology. In order to prove that the laws of u n are tight on Z T. Apart from a priori estimates we also need one additional property to be satisfied : Lemma 5 (Aldous condition in H) ε >, η > δ > : for every stopping time τ n : Ω [, T ] sup n N sup P ( u n(τ n + θ) u n(τ n) H η) < ε. (24) θ δ Lemma 5 can be proved by applying Lemma 4 to equations (2). Corollary 6 The laws of (u n) are tight on Z T, i.e. ε > K ε Z T compact, such that P (u n K ε) 1 ε, n N. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
38 Skorokhod theorem By the application of the Prokhorov and the Jakubowski-Skorokhod Theorems (since Z T is not a Polish space, we need Jakubowski) we deduce that there exists a subsequence, a probability space (ˆΩ, ˆF, ˆP), Z T valued random variables ũ n such that Law(ũ n) = Law(u n), and there exists ũ: ˆΩ Z T random variable such that ũ n ũ in, ˆP a.s. Then, using Kuratowski Theorem, we can deduce that the sequence ũ n satisfies the same a priori estimates as u n. In particular p [1, ) Kc 2 ( ) sup E n 1 sup ũ n(r) 2p V r [,T ] sup E n 1 T C 1(p), (25) ũ n(s) 2 D(A) ds C 3. (26) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
39 Skorokhod theorem By the application of the Prokhorov and the Jakubowski-Skorokhod Theorems (since Z T is not a Polish space, we need Jakubowski) we deduce that there exists a subsequence, a probability space (ˆΩ, ˆF, ˆP), Z T valued random variables ũ n such that Law(ũ n) = Law(u n), and there exists ũ: ˆΩ Z T random variable such that ũ n ũ in, ˆP a.s. Then, using Kuratowski Theorem, we can deduce that the sequence ũ n satisfies the same a priori estimates as u n. In particular p [1, ) Kc 2 ( ) sup E n 1 sup ũ n(r) 2p V r [,T ] sup E n 1 T C 1(p), (25) ũ n(s) 2 D(A) ds C 3. (26) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
40 Skorokhod theorem By the application of the Prokhorov and the Jakubowski-Skorokhod Theorems (since Z T is not a Polish space, we need Jakubowski) we deduce that there exists a subsequence, a probability space (ˆΩ, ˆF, ˆP), Z T valued random variables ũ n such that Law(ũ n) = Law(u n), and there exists ũ: ˆΩ Z T random variable such that ũ n ũ in, ˆP a.s. Then, using Kuratowski Theorem, we can deduce that the sequence ũ n satisfies the same a priori estimates as u n. In particular p [1, ) Kc 2 ( ) sup E n 1 sup ũ n(r) 2p V r [,T ] sup E n 1 T C 1(p), (25) ũ n(s) 2 D(A) ds C 3. (26) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
41 Convergence The choice of Z T allows to deduce that ψ H(orV) and s, t [, T ]: (a) lim n ũ n(t), P nψ = ũ(t), ψ, P-a.s., (b) lim n Aũn(σ), Pnψ dσ = Aũ(σ), ψ dσ, P-a.s., s s (c) lim n B(ũn(σ), ũn(σ)), Pnψ dσ = B(ũ(σ), ũ(σ)), ψ dσ, P-a.s., s s (d) lim n s ũn(σ) 2 L 2 ũn(σ), Pnψ dσ = s ũ(σ) 2 L2 ũ(σ), ψ dσ, P-a.s. (e) lim n s C2 j ũ n(σ), P nψ dσ = s C2 j ũ(σ), ψ dσ, P-a.s. Since ũ n ũ in C([, T ]; H) and u n(t) M for every t [, T ], we infer that ũ(t) M, t [, T ]. (27) We are close to conclude the proof of Theorem 3. We are just left to deal with the Itô integral. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
42 Convergence The choice of Z T allows to deduce that ψ H(orV) and s, t [, T ]: (a) lim n ũ n(t), P nψ = ũ(t), ψ, P-a.s., (b) lim n Aũn(σ), Pnψ dσ = Aũ(σ), ψ dσ, P-a.s., s s (c) lim n B(ũn(σ), ũn(σ)), Pnψ dσ = B(ũ(σ), ũ(σ)), ψ dσ, P-a.s., s s (d) lim n s ũn(σ) 2 L 2 ũn(σ), Pnψ dσ = s ũ(σ) 2 L2 ũ(σ), ψ dσ, P-a.s. (e) lim n s C2 j ũ n(σ), P nψ dσ = s C2 j ũ(σ), ψ dσ, P-a.s. Since ũ n ũ in C([, T ]; H) and u n(t) M for every t [, T ], we infer that ũ(t) M, t [, T ]. (27) We are close to conclude the proof of Theorem 3. We are just left to deal with the Itô integral. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
43 Convergence The choice of Z T allows to deduce that ψ H(orV) and s, t [, T ]: (a) lim n ũ n(t), P nψ = ũ(t), ψ, P-a.s., (b) lim n Aũn(σ), Pnψ dσ = Aũ(σ), ψ dσ, P-a.s., s s (c) lim n B(ũn(σ), ũn(σ)), Pnψ dσ = B(ũ(σ), ũ(σ)), ψ dσ, P-a.s., s s (d) lim n s ũn(σ) 2 L 2 ũn(σ), Pnψ dσ = s ũ(σ) 2 L2 ũ(σ), ψ dσ, P-a.s. (e) lim n s C2 j ũ n(σ), P nψ dσ = s C2 j ũ(σ), ψ dσ, P-a.s. Since ũ n ũ in C([, T ]; H) and u n(t) M for every t [, T ], we infer that ũ(t) M, t [, T ]. (27) We are close to conclude the proof of Theorem 3. We are just left to deal with the Itô integral. Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
44 Itô integral Define m M n(t) = M n is a martingale on (Ω, F, P). Moreover P nc ju n(s) dw j(s). M n(t) = u n(t) P nu n() + u n(s) 2 L 2un(s) ds 1 2 P nau n(s) ds + m P nb(u n(s)) ds (P nc j) 2 u n(s) ds (28) The equation (28) can also be used on (ˆΩ, ˆF, ˆF, ˆP) to define a process M n, i.e. M n(t) = ũ n(t) P nũ n() + ũ n(s) 2 L 2ũn(s) ds 1 2 P naũ n(s) ds + m P nb(ũ n(s)) ds (P nc j) 2 ũ n(s) ds (29) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
45 Itô integral Define m M n(t) = M n is a martingale on (Ω, F, P). Moreover P nc ju n(s) dw j(s). M n(t) = u n(t) P nu n() + u n(s) 2 L 2un(s) ds 1 2 P nau n(s) ds + m P nb(u n(s)) ds (P nc j) 2 u n(s) ds (28) The equation (28) can also be used on (ˆΩ, ˆF, ˆF, ˆP) to define a process M n, i.e. M n(t) = ũ n(t) P nũ n() + ũ n(s) 2 L 2ũn(s) ds 1 2 P naũ n(s) ds + m P nb(ũ n(s)) ds (P nc j) 2 ũ n(s) ds (29) Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
46 Martingale representation theorem Using the earlier convergence results and a priori estimates (25), (26), we can prove that M n(t) M(t) := ũ(t) ũ() + ũ(s) 2 L 2ũ(s) ds 1 2 From equality (3) one can deduce that (i) M is F martingale. Aũ(s) ds + m B(ũ(s)) ds C 2 j ũ(s) ds. (3) (ii) Cov( M n) Cov( M) = m Cjũ(s) (Cjũ(s)) ds. This allows to use the martingale representation theorem to deduce that there exists a bigger probability space ( Ω, F, F, P) and a Wiener process W on the same probability space such that Hence we proved Theorem 3. M(t) = m C jū(s) d W j(s). Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
47 Martingale representation theorem Using the earlier convergence results and a priori estimates (25), (26), we can prove that M n(t) M(t) := ũ(t) ũ() + ũ(s) 2 L 2ũ(s) ds 1 2 From equality (3) one can deduce that (i) M is F martingale. Aũ(s) ds + m B(ũ(s)) ds C 2 j ũ(s) ds. (3) (ii) Cov( M n) Cov( M) = m Cjũ(s) (Cjũ(s)) ds. This allows to use the martingale representation theorem to deduce that there exists a bigger probability space ( Ω, F, F, P) and a Wiener process W on the same probability space such that Hence we proved Theorem 3. M(t) = m C jū(s) d W j(s). Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
48 Martingale representation theorem Using the earlier convergence results and a priori estimates (25), (26), we can prove that M n(t) M(t) := ũ(t) ũ() + ũ(s) 2 L 2ũ(s) ds 1 2 From equality (3) one can deduce that (i) M is F martingale. Aũ(s) ds + m B(ũ(s)) ds C 2 j ũ(s) ds. (3) (ii) Cov( M n) Cov( M) = m Cjũ(s) (Cjũ(s)) ds. This allows to use the martingale representation theorem to deduce that there exists a bigger probability space ( Ω, F, F, P) and a Wiener process W on the same probability space such that Hence we proved Theorem 3. M(t) = m C jū(s) d W j(s). Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
49 Pathwise Uniqueness Theorem 7 Pathwise Uniqueness holds for the the stochastic constrained NSEs (18). Theorem 8 The stochastic constrained NSEs (18) have a unique strong solution for each u V M. Moreover, the paths of this solution belong to the space X T for all T >. In particular, the paths are V-valued continuous (strongly and not only weakly). Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
50 References Z. Brzeźniak, G. Dhariwal and M. Mariani, 2D Constrained Navier-Stokes equations, arxiv: v2 (216) (Submitted). Z. Brzeźniak and G. Dhariwal, Stochastic Constrained Navier-Stokes equations on T 2, arxiv: (217) Z. Brzeźniak and E. Motyl, Existence of a martingale solution of the stochastic Navier-Stokes equations in unbounded 2D and 3D-domains, J. Differential Equations, 254(4), (213). L. Caffarelli and F. Lin, Nonlocal heat flows preserving the L 2 energy, Discrete and Continuous Dynamical Systems, 23(1&2), (29). E. Caglioti, M. Pulvirenti and F. Rousset, On a constrained 2D Navier-Stokes Equation, Communications in Mathematical Physics, 29, (29). A. Jakubowski, The almost sure Skorokhod representation for subsequences in nonmetric spaces, Teor. Veroyatn. Primen. 42(1), (1997); translation in Theory Probab. Appl. 42(1), (1998). P. Rybka, Convergence of a heat flow on a Hilbert manifold, Proceedings of the Royal Society of Edinburgh, 136A, (26). Zdzislaw Brzeźniak (York) Constrained NSEs July 1, / 19
Zdzislaw Brzeźniak. Department of Mathematics University of York. joint works with Mauro Mariani (Roma 1) and Gaurav Dhariwal (York)
Navier-Stokes equations with constrained L 2 energy of the solution Zdzislaw Brzeźniak Department of Mathematics University of York joint works with Mauro Mariani (Roma 1) and Gaurav Dhariwal (York) Stochastic
More informationRegularization by noise in infinite dimensions
Regularization by noise in infinite dimensions Franco Flandoli, University of Pisa King s College 2017 Franco Flandoli, University of Pisa () Regularization by noise King s College 2017 1 / 33 Plan of
More informationWeak Feller Property and Invariant Measures
Weak Feller Property and Invariant Measures Martin Ondreját, J. Seidler, Z. Brzeźniak Institute of Information Theory and Automation Academy of Sciences Prague September 11, 2012 Outline 2010: Stochastic
More informationA Concise Course on Stochastic Partial Differential Equations
A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original
More informationBrownian Motion. 1 Definition Brownian Motion Wiener measure... 3
Brownian Motion Contents 1 Definition 2 1.1 Brownian Motion................................. 2 1.2 Wiener measure.................................. 3 2 Construction 4 2.1 Gaussian process.................................
More informationA scaling limit from Euler to Navier-Stokes equations with random perturbation
A scaling limit from Euler to Navier-Stokes equations with random perturbation Franco Flandoli, Scuola Normale Superiore of Pisa Newton Institute, October 208 Newton Institute, October 208 / Subject of
More informationNavier-Stokes equations in thin domains with Navier friction boundary conditions
Navier-Stokes equations in thin domains with Navier friction boundary conditions Luan Thach Hoang Department of Mathematics and Statistics, Texas Tech University www.math.umn.edu/ lhoang/ luan.hoang@ttu.edu
More informationOn semilinear elliptic equations with measure data
On semilinear elliptic equations with measure data Andrzej Rozkosz (joint work with T. Klimsiak) Nicolaus Copernicus University (Toruń, Poland) Controlled Deterministic and Stochastic Systems Iasi, July
More informationOPTIMAL SOLUTIONS TO STOCHASTIC DIFFERENTIAL INCLUSIONS
APPLICATIONES MATHEMATICAE 29,4 (22), pp. 387 398 Mariusz Michta (Zielona Góra) OPTIMAL SOLUTIONS TO STOCHASTIC DIFFERENTIAL INCLUSIONS Abstract. A martingale problem approach is used first to analyze
More informationINVARIANT MEASURE FOR THE STOCHASTIC NAVIER STOKES EQUATIONS IN UNBOUNDED 2D DOMAINS
The Annals of Probability 217, Vol. 45, No. 5, 3145 321 DOI: 1.1214/16-AOP1133 Institute of Mathematical Statistics, 217 INVARIANT MEASURE FOR THE STOCHASTIC NAVIER STOKES EQUATIONS IN UNBOUNDED 2D DOMAINS
More informationThe Gaussian free field, Gibbs measures and NLS on planar domains
The Gaussian free field, Gibbs measures and on planar domains N. Burq, joint with L. Thomann (Nantes) and N. Tzvetkov (Cergy) Université Paris Sud, Laboratoire de Mathématiques d Orsay, CNRS UMR 8628 LAGA,
More informationWeek 6 Notes, Math 865, Tanveer
Week 6 Notes, Math 865, Tanveer. Energy Methods for Euler and Navier-Stokes Equation We will consider this week basic energy estimates. These are estimates on the L 2 spatial norms of the solution u(x,
More informationRelation between Distributional and Leray-Hopf Solutions to the Navier-Stokes Equations
Relation between Distributional and Leray-Hopf Solutions to the Navier-Stokes Equations Giovanni P. Galdi Department of Mechanical Engineering & Materials Science and Department of Mathematics University
More informationOn the random kick-forced 3D Navier-Stokes equations in a thin domain
On the random kick-forced 3D Navier-Stokes equations in a thin domain Igor Chueshov and Sergei Kuksin November 1, 26 Abstract We consider the Navier-Stokes equations in the thin 3D domain T 2 (, ), where
More informationSTOCHASTIC NAVIER-STOKES EQUATIONS FOR COMPRESSIBLE FLUIDS
STOCHASTIC NAVIER-STOKES EUATIONS FOR COMPRESSIBLE FLUIDS DOMINIC BREIT AND MARTINA HOFMANOVÁ Abstract. We study the Navier-Stokes equations governing the motion of an isentropic compressible fluid in
More informationFast-slow systems with chaotic noise
Fast-slow systems with chaotic noise David Kelly Ian Melbourne Courant Institute New York University New York NY www.dtbkelly.com May 1, 216 Statistical properties of dynamical systems, ESI Vienna. David
More informationIgor Cialenco. Department of Applied Mathematics Illinois Institute of Technology, USA joint with N.
Parameter Estimation for Stochastic Navier-Stokes Equations Igor Cialenco Department of Applied Mathematics Illinois Institute of Technology, USA igor@math.iit.edu joint with N. Glatt-Holtz (IU) Asymptotical
More informationSolving Stochastic Partial Differential Equations as Stochastic Differential Equations in Infinite Dimensions - a Review
Solving Stochastic Partial Differential Equations as Stochastic Differential Equations in Infinite Dimensions - a Review L. Gawarecki Kettering University NSF/CBMS Conference Analysis of Stochastic Partial
More informationA generalised Ladyzhenskaya inequality and a coupled parabolic-elliptic problem
A generalised Ladyzhenskaya inequality and a coupled parabolic-elliptic problem Dave McCormick joint work with James Robinson and José Rodrigo Mathematics and Statistics Centre for Doctoral Training University
More informationFast-slow systems with chaotic noise
Fast-slow systems with chaotic noise David Kelly Ian Melbourne Courant Institute New York University New York NY www.dtbkelly.com May 12, 215 Averaging and homogenization workshop, Luminy. Fast-slow systems
More informationPhase-field systems with nonlinear coupling and dynamic boundary conditions
1 / 46 Phase-field systems with nonlinear coupling and dynamic boundary conditions Cecilia Cavaterra Dipartimento di Matematica F. Enriques Università degli Studi di Milano cecilia.cavaterra@unimi.it VIII
More informationA Sufficient Condition for the Kolmogorov 4/5 Law for Stationary Martingale Solutions to the 3D Navier-Stokes Equations
A Sufficient Condition for the Kolmogorov 4/5 Law for Stationary Martingale Solutions to the 3D Navier-Stokes Equations Franziska Weber Joint work with: Jacob Bedrossian, Michele Coti Zelati, Samuel Punshon-Smith
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationHomogenization for chaotic dynamical systems
Homogenization for chaotic dynamical systems David Kelly Ian Melbourne Department of Mathematics / Renci UNC Chapel Hill Mathematics Institute University of Warwick November 3, 2013 Duke/UNC Probability
More informationWiener Measure and Brownian Motion
Chapter 16 Wiener Measure and Brownian Motion Diffusion of particles is a product of their apparently random motion. The density u(t, x) of diffusing particles satisfies the diffusion equation (16.1) u
More information1. Stochastic Processes and filtrations
1. Stochastic Processes and 1. Stoch. pr., A stochastic process (X t ) t T is a collection of random variables on (Ω, F) with values in a measurable space (S, S), i.e., for all t, In our case X t : Ω S
More informationINCOMPRESSIBLE FLUIDS IN THIN DOMAINS WITH NAVIER FRICTION BOUNDARY CONDITIONS (II) Luan Thach Hoang. IMA Preprint Series #2406.
INCOMPRESSIBLE FLUIDS IN THIN DOMAINS WITH NAVIER FRICTION BOUNDARY CONDITIONS II By Luan Thach Hoang IMA Preprint Series #2406 August 2012 INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS UNIVERSITY OF
More informationOn the stochastic nonlinear Schrödinger equation
On the stochastic nonlinear Schrödinger equation Annie Millet collaboration with Z. Brzezniak SAMM, Paris 1 and PMA Workshop Women in Applied Mathematics, Heraklion - May 3 211 Outline 1 The NL Shrödinger
More informationON THE PATHWISE UNIQUENESS OF SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS
PORTUGALIAE MATHEMATICA Vol. 55 Fasc. 4 1998 ON THE PATHWISE UNIQUENESS OF SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS C. Sonoc Abstract: A sufficient condition for uniqueness of solutions of ordinary
More informationBrownian motion. Samy Tindel. Purdue University. Probability Theory 2 - MA 539
Brownian motion Samy Tindel Purdue University Probability Theory 2 - MA 539 Mostly taken from Brownian Motion and Stochastic Calculus by I. Karatzas and S. Shreve Samy T. Brownian motion Probability Theory
More informationASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Volume 11, Number 1, July 004 pp. 189 04 ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS Tian Ma Department of
More informationDensities for the Navier Stokes equations with noise
Densities for the Navier Stokes equations with noise Marco Romito Università di Pisa Universitat de Barcelona March 25, 2015 Summary 1 Introduction & motivations 2 Malliavin calculus 3 Besov bounds 4 Other
More informationStrong uniqueness for stochastic evolution equations with possibly unbounded measurable drift term
1 Strong uniqueness for stochastic evolution equations with possibly unbounded measurable drift term Enrico Priola Torino (Italy) Joint work with G. Da Prato, F. Flandoli and M. Röckner Stochastic Processes
More informationOn the leapfrogging phenomenon in fluid mechanics
On the leapfrogging phenomenon in fluid mechanics Didier Smets Université Pierre et Marie Curie - Paris Based on works with Robert L. Jerrard U. of Toronto) CIRM, Luminy, June 27th 2016 1 / 22 Single vortex
More informationTraces and Duality Lemma
Traces and Duality Lemma Recall the duality lemma with H / ( ) := γ 0 (H ()) defined as the trace space of H () endowed with minimal extension norm; i.e., for w H / ( ) L ( ), w H / ( ) = min{ ŵ H () ŵ
More informationBrownian Motion on Manifold
Brownian Motion on Manifold QI FENG Purdue University feng71@purdue.edu August 31, 2014 QI FENG (Purdue University) Brownian Motion on Manifold August 31, 2014 1 / 26 Overview 1 Extrinsic construction
More informationContents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.
Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological
More informationNonlinear stabilization via a linear observability
via a linear observability Kaïs Ammari Department of Mathematics University of Monastir Joint work with Fathia Alabau-Boussouira Collocated feedback stabilization Outline 1 Introduction and main result
More informationEuler Equations: local existence
Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u
More informationWeak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij
Weak convergence and Brownian Motion (telegram style notes) P.J.C. Spreij this version: December 8, 2006 1 The space C[0, ) In this section we summarize some facts concerning the space C[0, ) of real
More informationNew Helmholtz-Weyl decomposition in L r and its applications to the mathematical fluid mechanics
New Helmholtz-Weyl decomposition in L r and its applications to the mathematical fluid mechanics Hideo Kozono Mathematical Institute Tohoku University Sendai 980-8578 Japan Taku Yanagisawa Department of
More informationEXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS
Electronic Journal of Differential Equations, Vol. 017 (017), No. 15, pp. 1 7. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC
More informationSTATIONARY SOLUTIONS TO THE COMPRESSIBLE NAVIER-STOKES SYSTEM DRIVEN BY STOCHASTIC FORCES. 1. Introduction
SAIONARY SOLUIONS O HE COMPRESSIBLE NAVIER-SOKES SYSEM DRIVEN BY SOCHASIC FORCES DOMINIC BREI, EDUARD FEIREISL, MARINA HOFMANOVÁ, AND BOHDAN MASLOWSKI Abstract. We study the long-time behavior of solutions
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationConvergence of the MAC scheme for incompressible flows
Convergence of the MAC scheme for incompressible flows T. Galloue t?, R. Herbin?, J.-C. Latche??, K. Mallem????????? Aix-Marseille Universite I.R.S.N. Cadarache Universite d Annaba Calanque de Cortiou
More informationTRANSPORT IN POROUS MEDIA
1 TRANSPORT IN POROUS MEDIA G. ALLAIRE CMAP, Ecole Polytechnique 1. Introduction 2. Main result in an unbounded domain 3. Asymptotic expansions with drift 4. Two-scale convergence with drift 5. The case
More informationBV functions in a Gelfand triple and the stochastic reflection problem on a convex set
BV functions in a Gelfand triple and the stochastic reflection problem on a convex set Xiangchan Zhu Joint work with Prof. Michael Röckner and Rongchan Zhu Xiangchan Zhu ( Joint work with Prof. Michael
More information2 A Model, Harmonic Map, Problem
ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or
More informationStability of an abstract wave equation with delay and a Kelvin Voigt damping
Stability of an abstract wave equation with delay and a Kelvin Voigt damping University of Monastir/UPSAY/LMV-UVSQ Joint work with Serge Nicaise and Cristina Pignotti Outline 1 Problem The idea Stability
More informationContinuous dependence estimates for the ergodic problem with an application to homogenization
Continuous dependence estimates for the ergodic problem with an application to homogenization Claudio Marchi Bayreuth, September 12 th, 2013 C. Marchi (Università di Padova) Continuous dependence Bayreuth,
More informationOn continuous time contract theory
Ecole Polytechnique, France Journée de rentrée du CMAP, 3 octobre, 218 Outline 1 2 Semimartingale measures on the canonical space Random horizon 2nd order backward SDEs (Static) Principal-Agent Problem
More informationSome SDEs with distributional drift Part I : General calculus. Flandoli, Franco; Russo, Francesco; Wolf, Jochen
Title Author(s) Some SDEs with distributional drift Part I : General calculus Flandoli, Franco; Russo, Francesco; Wolf, Jochen Citation Osaka Journal of Mathematics. 4() P.493-P.54 Issue Date 3-6 Text
More informationSolution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0
Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p
More informationTHE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS
THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS OGNJEN MILATOVIC Abstract. We consider H V = M +V, where (M, g) is a Riemannian manifold (not necessarily
More informationMean-field SDE driven by a fractional BM. A related stochastic control problem
Mean-field SDE driven by a fractional BM. A related stochastic control problem Rainer Buckdahn, Université de Bretagne Occidentale, Brest Durham Symposium on Stochastic Analysis, July 1th to July 2th,
More informationStochastic Stochastic parabolic and wave equations with geometric constraints
Stochastic Stochastic parabolic and wave equations with geometric constraints Zdzisław Brzeźniak, University of York, UK based on joint research with M. Ondreját (Prague), B. Goldys & T. Jegaraj (Sydney),
More informationA stochastic particle system for the Burgers equation.
A stochastic particle system for the Burgers equation. Alexei Novikov Department of Mathematics Penn State University with Gautam Iyer (Carnegie Mellon) supported by NSF Burgers equation t u t + u x u
More informationRelative entropies, suitable weak solutions, and weak-strong uniqueness for the compressible Navier-Stokes system
Relative entropies, suitable weak solutions, and weak-strong uniqueness for the compressible Navier-Stokes system Institute of Mathematics, Academy of Sciences of the Czech Republic, Prague joint work
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationThe KPP minimal speed within large drift in two dimensions
The KPP minimal speed within large drift in two dimensions Mohammad El Smaily Joint work with Stéphane Kirsch University of British Columbia & Pacific Institute for the Mathematical Sciences Banff, March-2010
More informationOn Some Variational Optimization Problems in Classical Fluids and Superfluids
On Some Variational Optimization Problems in Classical Fluids and Superfluids Bartosz Protas Department of Mathematics & Statistics McMaster University, Hamilton, Ontario, Canada URL: http://www.math.mcmaster.ca/bprotas
More informationOn countably skewed Brownian motion
On countably skewed Brownian motion Gerald Trutnau (Seoul National University) Joint work with Y. Ouknine (Cadi Ayyad) and F. Russo (ENSTA ParisTech) Electron. J. Probab. 20 (2015), no. 82, 1-27 [ORT 2015]
More informationChapter 5 A priori error estimates for nonconforming finite element approximations 5.1 Strang s first lemma
Chapter 5 A priori error estimates for nonconforming finite element approximations 51 Strang s first lemma We consider the variational equation (51 a(u, v = l(v, v V H 1 (Ω, and assume that the conditions
More informationSEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE
SEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE FRANÇOIS BOLLEY Abstract. In this note we prove in an elementary way that the Wasserstein distances, which play a basic role in optimal transportation
More informationPROBABILITY: LIMIT THEOREMS II, SPRING HOMEWORK PROBLEMS
PROBABILITY: LIMIT THEOREMS II, SPRING 218. HOMEWORK PROBLEMS PROF. YURI BAKHTIN Instructions. You are allowed to work on solutions in groups, but you are required to write up solutions on your own. Please
More informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
More informationarxiv: v1 [math.pr] 1 May 2014
Submitted to the Brazilian Journal of Probability and Statistics A note on space-time Hölder regularity of mild solutions to stochastic Cauchy problems in L p -spaces arxiv:145.75v1 [math.pr] 1 May 214
More informationNavier Stokes and Euler equations: Cauchy problem and controllability
Navier Stokes and Euler equations: Cauchy problem and controllability ARMEN SHIRIKYAN CNRS UMR 888, Department of Mathematics University of Cergy Pontoise, Site Saint-Martin 2 avenue Adolphe Chauvin 9532
More informationParameter Estimation for Stochastic Evolution Equations with Non-commuting Operators
Parameter Estimation for Stochastic Evolution Equations with Non-commuting Operators Sergey V. Lototsky and Boris L. Rosovskii In: V. Korolyuk, N. Portenko, and H. Syta (editors), Skorokhod s Ideas in
More informationSUMMARY OF RESULTS ON PATH SPACES AND CONVERGENCE IN DISTRIBUTION FOR STOCHASTIC PROCESSES
SUMMARY OF RESULTS ON PATH SPACES AND CONVERGENCE IN DISTRIBUTION FOR STOCHASTIC PROCESSES RUTH J. WILLIAMS October 2, 2017 Department of Mathematics, University of California, San Diego, 9500 Gilman Drive,
More informationOn a Suitable Weak Solution of the Navier Stokes Equation with the Generalized Impermeability Boundary Conditions
Proceedings of the 3rd IASME/WSEAS Int. Conf. on FLUID DYNAMICS & AERODYNAMICS, Corfu, Greece, August -, 5 pp36-41 On a Suitable Weak Solution of the Navier Stokes Equation with the Generalized Impermeability
More informationMathematical Hydrodynamics
Mathematical Hydrodynamics Ya G. Sinai 1. Introduction Mathematical hydrodynamics deals basically with Navier-Stokes and Euler systems. In the d-dimensional case and incompressible fluids these are the
More informationStrongly nonlinear parabolic initial-boundary value problems in Orlicz spaces
2002-Fez conference on Partial Differential Equations, Electronic Journal of Differential Equations, Conference 09, 2002, pp 203 220. http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu
More informationNOTES ON NEWLANDER-NIRENBERG THEOREM XU WANG
NOTES ON NEWLANDER-NIRENBERG THEOREM XU WANG Abstract. In this short note we shall recall the classical Newler-Nirenberg theorem its vector bundle version. We shall also recall an L 2 -Hörmer-proof given
More informationQuasipotential and exit time for 2D Stochastic Navier-Stokes equations driven by space time white noise
Probab. Theory Relat. Fields 15 16:739 793 DOI 1.17/s44-14-584-6 Quasipotential and exit time for D Stochastic Navier-Stokes equations driven by space time white noise Z. Brzeźniak S. Cerrai M. Freidlin
More informationOn the Backwards Behavior of the Solutions of the 2D Periodic Viscous Camassa Holm Equations
Journal of Dynamics Differential Equations, Vol. 14, No. 1, January 2002 ( 2002) On the Backwards Behavior of the Solutions of the 2D Periodic Viscous Camassa Holm Equations Jesenko Vukadinović 1 Received
More informationCalculus of Variations. Final Examination
Université Paris-Saclay M AMS and Optimization January 18th, 018 Calculus of Variations Final Examination Duration : 3h ; all kind of paper documents (notes, books...) are authorized. The total score of
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationELEMENTS OF PROBABILITY THEORY
ELEMENTS OF PROBABILITY THEORY Elements of Probability Theory A collection of subsets of a set Ω is called a σ algebra if it contains Ω and is closed under the operations of taking complements and countable
More informationSufficient conditions on Liouville type theorems for the 3D steady Navier-Stokes equations
arxiv:1805.07v1 [math.ap] 6 May 018 Sufficient conditions on Liouville type theorems for the D steady Navier-Stokes euations G. Seregin, W. Wang May 8, 018 Abstract Our aim is to prove Liouville type theorems
More informationSTOKES PROBLEM WITH SEVERAL TYPES OF BOUNDARY CONDITIONS IN AN EXTERIOR DOMAIN
Electronic Journal of Differential Equations, Vol. 2013 2013, No. 196, pp. 1 28. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu STOKES PROBLEM
More informationMinimal periods of semilinear evolution equations with Lipschitz nonlinearity
Minimal periods of semilinear evolution equations with Lipschitz nonlinearity James C. Robinson a Alejandro Vidal-López b a Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. b Departamento
More informationTheoretical and numerical results for a chemo-repulsion model with quadratic production
Theoretical and numerical results for a chemo-repulsion model with quadratic production F. Guillén-Gonzalez, M. A. Rodríguez-Bellido & and D. A. Rueda-Gómez Dpto. Ecuaciones Diferenciales y Análisis Numérico
More informationWaves in Flows. Global Existence of Solutions with non-decaying initial data 2d(3d)-Navier-Stokes ibvp in half-plane(space)
Czech Academy of Sciences Czech Technical University in Prague University of Pittsburgh Nečas Center for Mathematical Modelling Waves in Flows Global Existence of Solutions with non-decaying initial data
More informationExistence of minimizers for the pure displacement problem in nonlinear elasticity
Existence of minimizers for the pure displacement problem in nonlinear elasticity Cristinel Mardare Université Pierre et Marie Curie - Paris 6, Laboratoire Jacques-Louis Lions, Paris, F-75005 France Abstract
More informationMaxwell s equations in Carnot groups
Maxwell s equations in Carnot groups B. Franchi (U. Bologna) INDAM Meeting on Geometric Control and sub-riemannian Geometry Cortona, May 21-25, 2012 in honor of Andrey Agrachev s 60th birthday Researches
More informationStochastic nonlinear Schrödinger equations and modulation of solitary waves
Stochastic nonlinear Schrödinger equations and modulation of solitary waves A. de Bouard CMAP, Ecole Polytechnique, France joint work with R. Fukuizumi (Sendai, Japan) Deterministic and stochastic front
More informationarxiv: v1 [math.oc] 22 Sep 2016
EUIVALENCE BETWEEN MINIMAL TIME AND MINIMAL NORM CONTROL PROBLEMS FOR THE HEAT EUATION SHULIN IN AND GENGSHENG WANG arxiv:1609.06860v1 [math.oc] 22 Sep 2016 Abstract. This paper presents the equivalence
More informationfor all f satisfying E[ f(x) ] <.
. Let (Ω, F, P ) be a probability space and D be a sub-σ-algebra of F. An (H, H)-valued random variable X is independent of D if and only if P ({X Γ} D) = P {X Γ}P (D) for all Γ H and D D. Prove that if
More informationMATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
More informationResearch Article On the Stochastic 3D Navier-Stokes-α Model of Fluids Turbulence
Abstract and Applied Analysis Volume 29, Article ID 723236, 27 pages doi:1.1155/29/723236 Research Article On the Stochastic 3D Navier-Stokes-α Model of Fluids Turbulence Gabriel Deugoue and Mamadou Sango
More informationLarge deviations and averaging for systems of slow fast stochastic reaction diffusion equations.
Large deviations and averaging for systems of slow fast stochastic reaction diffusion equations. Wenqing Hu. 1 (Joint work with Michael Salins 2, Konstantinos Spiliopoulos 3.) 1. Department of Mathematics
More informationRandom and Deterministic perturbations of dynamical systems. Leonid Koralov
Random and Deterministic perturbations of dynamical systems Leonid Koralov - M. Freidlin, L. Koralov Metastability for Nonlinear Random Perturbations of Dynamical Systems, Stochastic Processes and Applications
More informationDeforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary
Deforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary Weimin Sheng (Joint with Li-Xia Yuan) Zhejiang University IMS, NUS, 8-12 Dec 2014 1 / 50 Outline 1 Prescribing
More informationL19: Fredholm theory. where E u = u T X and J u = Formally, J-holomorphic curves are just 1
L19: Fredholm theory We want to understand how to make moduli spaces of J-holomorphic curves, and once we have them, how to make them smooth and compute their dimensions. Fix (X, ω, J) and, for definiteness,
More informationFinite Element Methods for Maxwell Equations
CHAPTER 8 Finite Element Methods for Maxwell Equations The Maxwell equations comprise four first-order partial differential equations linking the fundamental electromagnetic quantities, the electric field
More informationREMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID
REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID DRAGOŞ IFTIMIE AND JAMES P. KELLIHER Abstract. In [Math. Ann. 336 (2006), 449-489] the authors consider the two dimensional
More information1 The Stokes System. ρ + (ρv) = ρ g(x), and the conservation of momentum has the form. ρ v (λ 1 + µ 1 ) ( v) µ 1 v + p = ρ f(x) in Ω.
1 The Stokes System The motion of a (possibly compressible) homogeneous fluid is described by its density ρ(x, t), pressure p(x, t) and velocity v(x, t). Assume that the fluid is barotropic, i.e., the
More informationThe enigma of the equations of fluid motion: A survey of existence and regularity results
The enigma of the equations of fluid motion: A survey of existence and regularity results RTG summer school: Analysis, PDEs and Mathematical Physics The University of Texas at Austin Lecture 1 1 The review
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More information