ANALYSIS OF THE TV REGULARIZATION AND H 1 FIDELITY MODEL FOR DECOMPOSING AN IMAGE INTO CARTOON PLUS TEXTURE. C.M. Elliott and S.A.
|
|
- Alban Short
- 5 years ago
- Views:
Transcription
1 COMMUNICATIONS ON Website: PURE AND APPLIED ANALYSIS Volume 6, Number 4, December 27 pp ANALYSIS OF THE TV REGULARIZATION AND H 1 FIDELITY MODEL FOR DECOMPOSING AN IMAGE INTO CARTOON PLUS TEXTURE C.M. Elliott and S.A. Smitheman Department of Mathematics University of Sussex Brighton, BN1 9RF, UK (Communicated by Zhi-Qiang Wang) Abstract. We study the Osher-Solé-Vese model [11], which is the gradient flow of an energy consisting of the total variation functional plus an H 1 fidelity term. A variational inequality weak formulation for this problem is proposed along the lines of that of Feng and Prohl [7] for the Rudin-Osher- Fatemi model [12]. A regularized energy is considered, and the minimization problems corresponding to both the original and regularized energies are shown to be well-posed. The Galerkin method of Lions [9] is used to prove the wellposedness of the weak problem corresponding to the regularized energy. By letting the regularization parameter ɛ tend to, we recover the well-posedness of the weak problem corresponding to the original energy. Further, we show that for both energies the solution of the weak problem tends to the minimizer of the energy as t. Finally, we find the rate of convergence of the weak solution of the regularized problem to that of the original one as ɛ. 1. Introduction. Suppose that a gray-scale image f (i.e. a function f : R 2 R for some bounded open domain, where f measures gray-scale intensity) has been formed by adding Gaussian noise n of known standard deviation σ to a clean image g: f = g + n. Clearly, without explicit knowledge of n the recovery of g from f is not possible. One approach is to apply a cartoon plus texture model which splits f into two parts u and v: f = u + v, where u consists of the objects present in g (the cartoon part of g) and v consists of the small scale oscillations present in f (n plus the texture in g). The aim is to recover the cartoon part. To this end, Osher, Solé and Vese (OSV) [11] have proposed the minimization problem inf J λ (u), J λ (u) := u + λ u BV () F 2 f u 2 1, 2 Mathematics Subject Classification. 35K35, 35K55. Key words and phrases. Image decomposition, cartoon plus texture, TV and H 1 fourth order parabolic equation. The work of the second author was completed under an EPSRC DPhil studentship. model, 917
2 918 C.M. ELLIOTT AND S.A SMITHEMAN where the BV semi-norm u is a regularising term to remove the texture, λ > is a weighting parameter and the H 1 norm f u 1 is a fidelity term. Here u := sup u vdx, v X with X := {v = (v 1,..., v d ) [ C 1 () ] d : vi L () 1 i = 1,..., d }. The following function spaces are used: V := { η H 1 () : (η, 1) = }, F := {η ( H 1 () ) : η, 1 = }, where, denotes the duality pairing between ( H 1 () ) and H 1 () such that η, ξ = η ξ dx η L 6 5 (), ξ H 1 (), d = 2, 3, the right-hand side being well-defined due to the continuous embedding H 1 () L 6 () for d = 2, 3. By G : F V is denoted (minus) the inverse Laplacian operator under Neumann boundary conditions: and F is equipped with the norm ( Gη, ξ) = η, ξ ξ H 1 (), η 1 := Gη η F. We denote by and (, ) the usual norm and inner product on L 2 (). The Euler-Lagrange equation for formally minimizing J λ ( ) is equivalent to u u = + λg (u f) in, = on. (1) u ν Observe that a solution u of equation (1) is a steady state of the evolutionary equations u u u t = λg (u f) in, = on ; (2) u ν u u Gu t = λg (u f) in, u ν = ( ) u = on. (3) ν u Equations (2) and (3) may be viewed as the L 2 and H 1 gradient flows for J λ ( ): (2) : d u (t) dt J λ (u (t)) = u (t), u (t) + λ (G [u (t) f], u (t)) = u (t) 2, (3) : d u (t) dt J λ (u (t)) = u (t), u (t) + λ (G [u (t) f], u (t)) = u (t) 2 1. However, note that these are formal calculations because u u u =. is not defined when
3 TV AND H 1 MODEL FOR IMAGES 919 Instead of solving the fourth order equation (3) directly, we introduce a splitting into two coupled second order equations (c.f. [4]): Gu t = w λg (u f) in, (4) u w = in, (5) u u ν = w = on ; (6) ν Lemma 1.1. The equations (4), (5), (6) are equivalent to the OSV partial differential equation (PDE) ([11]): u t = w λ (u f) in, (7) u w = in, (8) u u ν = w = on. (9) ν Proof. The two problems (4), (5), (6) and (7), (8), (9) have, respectively, the formal variational formulations: for a.e. t (, T ], u (t) (Gu (t), η) + u (t), η = λ (G [u (t) f], η) η H 1 (), (1) and u (t), η + ( w (t), η) = λ (u (t), η) + λ f, η η H 1 (), (11) u (t) (w (t), η) = u (t), η η H 1 (). (12) Defining w (t) = Gu (t) λg [u (t) f] in equation (1) gives equation (12) and that ( w (t), η) = ( Gu (t), η) λ ( G [u (t) f], η) = u (t), η λ (u (t), η) + λ f, η, and hence equation (11) holds. Assuming that f, u () F, letting η = 1 in equation (11) gives that u (t), u (t) F, and hence equation (11) gives that for a.e. t (, T ], ( Gu (t), η) + ( w (t), η) = λ ( G [u (t) f], η) η H 1 (). It follows that w (t) = Gu (t) λg [u (t) f]. Substituting this into equation (12) gives equation (1). u u Since is not defined when u =, we introduce standrad (e.g. Nashed- Scherzer [1]) regularized version J λ,ɛ ( ) of the energy functional J λ ( ): J λ,ɛ (u) := u ɛ dx + λ 2 f u 2 1, where ɛ > is a small regularization parameter and p ɛ := p 2 + ɛ 2 = p p2 n + ɛ 2 for p = (p 1,..., p n ) R d.
4 92 C.M. ELLIOTT AND S.A SMITHEMAN It is convenient to note the following elementary algebraic inequality: Lemma 1.2. For ɛ >, p q (p q) q q ɛ p ɛ q ɛ (p q) p p ɛ p q p, q R d. (13) Proof. The first and second inequalities follow from the fourth and third ones on interchanging the rôles of p and q. Using = p 2 p q ( p ɛ q ɛ ) p ɛ ( p 2 q 2 + ɛ 2 p 2 + q 2) + ɛ 4 p 2 q 2 + 2ɛ 2 p q + ɛ 4 and the inequality ɛ 2 ( p 2 + q 2) 2ɛ 2 p q gives the third inequality. The fourth inequality follows from using the inequality ɛ. The inequalities (13) are a natural extension of the trivial inequalities p q (p q) q q p q We will make use of the Poincaré inequality (p q) p p p q p, q R d. (14) η C P ( (η, 1) + η ) η H 1 (). (15) It is easy to show that 1 and (H1 ()) and are equivalent norms on F with 1 C P + 1 η 1 η (H 1 ()) η 1 η F, (16) η 1 C P η η F L 2 (), (17) and that for d = 2, 3, there exists C C () such that η 1 C η 6 η F L 6 5 (). (18) 5 The Poincaré-Wirtinger inequality ([2], p. 148) u 1 udx C u u BV (), 1 with C C (), gives that u BV () (C + 1) It is easy to see that u u BV () F. (19) Lemma 1.3. For v L 2 (, T ; F), the map F v : L 2 (, T ; F) R defined by F v (η) = T satisfies F v ( L 2 (, T ; F) ). v (t), Gη (t) dt η L 2 (, T ; F) This paper is organized as follows. In Section 2, the initial boundary value problems for the H 1 gradient flows for J λ ( ) and J λ,ɛ ( ) are formulated. A notion of weak solution is introduced for each problem. In Section 3, the minimization problems for the two energies are shown to be well-posed. Well-posedness of the weak formulations is established in Section 4. The convergence of the weak solution of
5 TV AND H 1 MODEL FOR IMAGES 921 each problem to the minimizer of the corresponding energy as t is established in Section 5. In Section 6, a rate of convergence of the sequence of weak solutions of the H 1 gradient flow for J λ,ɛ ( ) to the weak solution of the H 1 gradient flow for J λ ( ) as the regularization parameter ɛ is established. Our approach is similar to that of Feng, van Oehsen and Prohl in [6] and Feng and Prohl [7] for the second order Rudin-Osher-Fatemi model [12]. However, we use the Faedo-Galerkin method of Lions [9] to prove the existence of a weak solution for ɛ > in place of the maximal monotone operator approach of Feng and Prohl. See also [5] for a related Cahn-Hilliard model. 2. Mathematical formulations of initial boundary value problems, definitions of weak solutions. The problems considered are the OSV initial boundary value problem and the analogous problem for J λ,ɛ ( ) (ɛ > ), denoted by (P ɛ ): (P) given T >, find u (x, t), w (x, t) : T := (, T ] R such that u t (x, t) w (x, t) = λ (u (x, t) f (x)) (x, t) T, (2) u (x, t) w (x, t) = (x, t) T, (21) u (x, t) u (x, ) = u (x) x, (22) u w (x, t) = ν ν (x, t) = (x, t) T ; (23) (P ɛ ) given T >, find u ɛ (x, t), w ɛ (x, t) : T R such that u ɛ,t (x, t) w ɛ (x, t) = λ (u ɛ (x, t) f (x)) (x, t) T, (24) uɛ (x, t) w ɛ (x, t) = (x, t) T, (25) u ɛ (x, t) ɛ u ɛ (x, ) = u,ɛ (x) x, (26) u ɛ ν (x, t) = w ɛ ν (x, t) = (x, t) T ; (27) where T := (, T ]. Since the expression u u is not defined when u =, the PDEs (2) and (21) are only formal statements. In order to give a rigorous definition of solution, convex analysis and variational inequalities are used. Remark 1. The natural image processing assumptions, that u = f and u,ɛ = f, are not made here. This allows for a more general analysis of (P) and (P ɛ ), in particular under different regularity assumptions on u, u,ɛ and f. It follows from equation (3), (a b)(c a) 1 2 [(c b)2 (a b) 2 ] and equation (14) that (Gu t, v u) + J λ (v) J λ (u), for all suitably smooth test functions v, and similarly Lemma 1.2 gives that (Gu ɛ,t, v u ɛ ) + J λ,ɛ (v) J λ,ɛ (u ɛ ). These last inequalities motivate the following definitions of weak solutions of (P), (P ɛ ): Definition 2.1. Let R d (2 d 3) be a bounded open domain with Lipschitz boundary and suppose that u, u,ɛ BV () F and f F. Then
6 922 C.M. ELLIOTT AND S.A SMITHEMAN u is said to be a weak solution of the initial boundary value problem (P) if u C (, T ; F) L (, T ; BV ()) H 1 (, T ; F), u () = u a.e. and u satisfies for any s [, T ], u (t), G [v (t) u (t)] dt + [J λ (v (t)) J λ (u (t))] dt v L 1 (, T ; BV ()) L 2 (, T ; F) ; (28) u ɛ is said to be a weak solution of the initial boundary value problem (P ɛ )if u ɛ C (, T ; F) L (, T ; BV ()) H 1 (, T ; F), u ɛ () = u,ɛ a.e. and u ɛ satisfies for any s [, T ], u ɛ (t), G [v (t) u ɛ (t)] dt + Note that, since [J λ,ɛ (v (t)) J λ,ɛ (u ɛ (t))] dt v L 1 (, T ; BV ()) L 2 (, T ; F). (29) v (t) u (t), G [v (t) u (t)] = 1 d 2 dt v (t) u (t) 2 1, and similarly for v (t) u ɛ (t), the inequalities (28), (29) are equivalent to 1 2 v (t), G [v (t) u (t)] dt + [ ] v (s) u (s) 2 1 v () u 2 1 [J λ (v (t)) J λ (u (t))] dt v L 1 (, T ; BV ()) C (, T ; F) : v L 2 (, T ; F), (3) 1 2 v (t), G [v (t) u ɛ (t)] dt + [ ] v (s) u ɛ (s) 2 1 v () u,ɛ 2 1 [J λ,ɛ (v (t)) J λ,ɛ (u ɛ (t))] dt (31) v L 1 (, T ; BV ()) C (, T ; F) : v L 2 (, T ; F) (32) respectively. 3. Well-posedness of the energy minimization problems. Theorem 3.1. [d = 2, 3] Suppose that λ > and f F. Then the minimization problem has a unique solution; for each ɛ, the minimization problem has a unique solution. inf J λ (u) (33) u BV () F inf J λ,ɛ (u ɛ ) (34) u ɛ BV () F Proof. The result for J λ,ɛ ( ) is proved (the result for J λ ( ) can be proved analogously). The argument used is a standard one; see for example [1], [3], [11].
7 TV AND H 1 MODEL FOR IMAGES 923 Let {u ɛ,n } n N be a minimizing sequence. There exists a constant M > such that u ɛ,n u ɛ,n ɛ J λ,ɛ (u ɛ,n ) M n N. It follows from inequality (19) that Also, u ɛ,n BV () (C + 1) M. u ɛ,n u ɛ,n f f λ J λ,ɛ (u ɛ,n ) + 2 f 2 1 4M λ + 2 f 2 1. It follows (see [2], p. 125) that there exists u ɛ BV () F and a subsequence of {u ɛ,n } n N (still denoted by {u ɛ,n } n N ) such that u ɛ,n BV w u ɛ, u ɛ,n F u ɛ, u ɛ,n L 1 () u ɛ as n. Moreover, u ɛ dx = u ɛ dx =. Recall that a functional J is said to be convex if (u ɛ,n u ɛ ) dx u ɛ,n u ɛ 1 as n J (γu 1 + (1 γ) u 2 ) γj (u 1 ) + (1 γ) J (u 2 ) whenever u 1 u 2 and γ (, 1), and strictly convex if the inequality is strict. The strict convexity of J λ,ɛ ( ) follows from the convexity of J,ɛ ( ) ([1], Theorem 2.4) and the strict convexity of ( ) f 2 1 : γ u 1 f 2 1 +(1 γ) u 2 f 2 1 γu 1 + (1 γ) u 2 f 2 1 = γ (1 γ) u 1 u Since J λ,ɛ ( ) is convex, it is lower semi-continuous in BV () with respect to convergence in L 1 () (see [7]). It follows that J λ,ɛ (u ɛ ) lim inf J λ,ɛ (u ɛ,n ), n and hence that u ɛ is a solution of the minimization problem (34). Suppose that ũ ɛ u ɛ is another solution. The strict convexity of J λ,ɛ ( ), gives that uɛ + ũ ɛ J λ,ɛ < J λ,ɛ (u ɛ ) + J λ,ɛ (ũ ɛ ) = inf 2 2 J λ,ɛ (u ɛ ), u ɛ BV () F a contradiction. Hence the solution of the minimization problem (34) is unique.
8 924 C.M. ELLIOTT AND S.A SMITHEMAN 4. Well-posedness of the weak formulations Statement of result. Theorem 4.1 (c.f. [7], Theorems 1.1 to 1.4). Let R d (2 d 3) be a bounded open domain with Lipschitz boundary and suppose that u, u,ɛ BV () F and f F. Then there exists a unique weak solution u of (P), there exists a unique weak solution u ɛ of (P ɛ ). Further, if u i (i = 1, 2) are weak solutions of (P) for data u,i BV () F and f i F then u 2 (s) u 1 (s) 1 u,2 u,1 1 + λt f 2 f 1 1 s [, T ] ; (35) if u ɛ,i (i = 1, 2) are weak solutions of (P ɛ ) for data u,ɛ,i BV () Fand f i F then u ɛ,2 (s) u ɛ,1 (s) 1 u,ɛ,2 u,ɛ,1 1 + λt f 2 f 1 1 s [, T ]. (36) 4.2. Overview of proof. Firstly, the existence of a weak solution of (P ɛ ) is established by using the Faedo-Galerkin method of Lions ([9]). This consists of three parts: Proof of local existence and uniqueness (Sections 4.3, 4.4) A countable orthogonal basis of { η i} of V is constructed using eigenfunctions of the i N Neumann Laplacian. For k N, we seek u ɛ,k in the span of { η i} k which i=1 solves the variational PDE with test space spanned by { η i} k. We deduce i=1 local existence and uniqueness of u ɛ,k. Proof of global existence (Section 4.5) Specific choice(s) of test function(s) yield bounds on relevant norms of u ɛ,k which are independent of k and remain finite as ɛ. Passage to the limit (Section 4.6) The bounds on the seequence {u ɛ,k } k N give various convergence results as k (the limit is denoted by u ɛ ). These convergence results are used to pass to the limit of each term in a weaker reformulation of the finite dimensional problem (which is analogous to the weaker reformulation (31) of the equations (24) and (25)), yielding that u ɛ satisfies inequality (31). An argument of Lichnewsky and Temam [8] is used to show that u ɛ () = u,ɛ and u ɛ C (, T ; F). Uniqueness of the weak solution of (P ɛ ) is an immediate consequence of inequality (36), which is proved via an argument of Lichnewsky and Temam [8] in Section 4.7. In Section 4.8, the existence of a weak solution of (P) is established. This is achieved by using the bounds found in Section 4.5 to give various convergence results for the sequence {u ɛ } ɛ> of weak solutions of (P ɛ ) for initial data u,ɛ = u as ɛ (the limit is denoted by u). These convergence results are used to pass to the limit of each term in inequality (31), giving that u satisfies inequality (3). The proofs that u () = u, that u C (, T ; F) and of inequality (35) are analogous to those of the corresponding results for (P ɛ ).
9 TV AND H 1 MODEL FOR IMAGES Definition of Galerkin problems. The orthogonal basis { η i} i N V of V consisting of the (L 2 -normalized) eigenfunctions of the Laplacian operator with zero Neumann boundary conditions together with the corresponding non-decreasing sequence of eigenvalues {λ i } i N is considered: η i (x) = λ i η i η i (x) x, (x) = x, ( ν η i, η i) = 1, < λ 1 λ It follows that ( η i, η ) ( = λ i η i, η ) η V, i N, Gη i = 1 η i λ i i N. (37) For k N, V k is defined to be the finite dimensional subspace of V spanned by { η i } k i=1. The kth Galerkin problem is to find u ɛ,k (t), w ɛ,k (t) V k such that for a.e. t (, T ], u ɛ,k (t), η k + ( wɛ,k (t), η k ) = λ (u ɛ,k (t), η k ) + λ f, η k η k V k, (38) uɛ,k (t) (w ɛ,k (t), η k ) =, η k η k V k, (39) u ɛ,k (t) ɛ u ɛ,k () = P k u,ɛ,k, (4) [ ) where {u,ɛ,k } k N C d () F is chosen such that for each p 1, d 1 (see [13], p. 225) u,ɛ,k u,ɛ p and u,ɛ,k u,ɛ as k, (41) and P k : V V k is taken to be the (Faedo-)Galerkin projection operator: The operator P k satisfies η V, η k V k, P k η := k ( η, η i ) η i η V. i=1 ( P k η, η k ) = (η, ηk ), ( P k η, η k ) = ( η, ηk ) ; (42) η V, P k η η in H 1 () as k ; (43) η V, P k η 1 η 1 ; (44) η C (, T ; V), P k η η in C (, T ; H 1 () ) ) as k ; (45). (46) η C 1 (, T ; V), t ( P k η ) = P k ( η t Equations (42), (43), (45) and (46) are standard results, and equation (44) follows from equations (37) and (42): P k η 2 1 = G [ P k η ] 2 = ( P k η, G [ P k η ]) = ( η, G [ P k η ]) = ( Gη, G [ P k η ]) Gη G [ P k η ] = η 1 P k η 1.
10 926 C.M. ELLIOTT AND S.A SMITHEMAN Since H 1 () L 6 () L d d 1 [ ) () for d = 2, 3, equations (41) and (43) give that d for p 1, d 1, u ɛ,k () u,ɛ p and ( u ɛ,k (), 1) u,ɛ as k. (47) Lemma 4.2. The equations (38), (39) are equivalent to Gu uɛ,k (t) ɛ,k (t), η k =, η k λ (G [u ɛ,k (t) f], η k ) u ɛ,k (t) ɛ η k V k, a.e. t (, T ]. (48) Proof. Defining w ɛ,k (t) = Gu ɛ,k (t) λgu ɛ,k (t) + λp k [Gf] in equation (48) and using equation (42) gives equation (39), and a further usage of equation (42) gives ( w ɛ,k (t), η k ) = ( Gu ɛ,k (t), η k ) λ ( G [uɛ,k (t) f], η k ) = ( u ɛ,k (t), η k ) λ (uɛ,k (t), η k ) + λ f, η k, and hence equation (38) holds. Since u ɛ,k (t), u ɛ,k (t) V, equation (38) gives that for a.e. t (, T ], Gu ɛ,k (t), η k + ( wɛ,k (t), η k ) = λ ( G [u ɛ,k (t) f], η k ) η k V k. It follows by equation (42) that w ɛ,k (t) = Gu ɛ,k (t) λgu ɛ,k (t) + λp k [Gf]. Substituting this into equation (39) and using equation (42) gives equation (48) Local existence and uniqueness for Galerkin problems. Take k u ɛ,k (t) = c ɛ,k,i (t) η i k N, and define the vectors c ɛ,k (t), c,ɛ,k, f k and η k of length k by i=1 [c ɛ,k (t)] i = c ɛ,k,i (t), [c,ɛ,k ] i = ( u ɛ,k (), η i), [f k ] i = f, η i, [η k ] i = η i i k. The non-linear operator A ɛ,k : R k R k is defined by [c ηk ] [A ɛ,k (c)] i := λ i, η i [c η k ] ɛ The kth Galerkin problem (48) is equivalent to i k. c ɛ,k (t) + A ɛ,k (c ɛ,k (t)) = λc ɛ,k (t) + λf k, c ɛ,k () = c,ɛ,k. In order to invoke the standard Picard Theorem and obtain the existence of a unique solution of this problem on some time interval [, T k ], it is sufficient to show that A ɛ,k is globally Lipschitz. For a vector c of length k and i k, [A ɛ,k (c)] i = λ i d j=1 ( G d ( [c ηk ] x 1,..., [c η k] x j 1, [c η k] x j+1,..., where the nonlinear operator G d : R d R is defined by G d (c) := c d c ɛ c = (c 1,..., c d ) R d. [c η k ], [c η ) ) k], ηi, x d x j x j
11 Since TV AND H 1 MODEL FOR IMAGES 927 G d (c) = c 2 ɛ c2 d G d (c) c d c 3 and = c ic d c ɛ i c 3 i = 1,..., d 1, ɛ it follows that G d (c) c i 1 1 i = 1,..., d. c ɛ ɛ Hence, by Taylor s Theorem, G d ( ) is globally Lipschitz: G d (c) G d ( c) 1 ɛ c c 1 c, c R d, where 1 is the discrete L 1 norm: c 1 := c c d. It follows that A ɛ,k ( ) is globally Lipschitz: A ɛ,k (c) A ɛ,k ( c) 1 kd2 λ 2 k ɛ c c 1 c, c R d. d 4.5. Global existence for Galerkin problems. Since d 1 > 6 5 inequality (18) and the limit (47) give that for d = 2, 3, u ɛ,k () u,ɛ 1 as k. (49) Using that p ɛ p + ɛ and 1 2 (a + b)2 a 2 + b 2 gives J λ,ɛ (u ɛ,k ()) = ( u ɛ,k () ɛ, 1 ) + λ 2 f u ɛ,k () 2 1 ( u ɛ,k (), 1) + ɛ + λ u ɛ,k () λ f 2 1. (5) It follows from the limits (47) and (49) that {J λ,ɛ (u ɛ,k ())} k N is bounded. Lemma 4.3. For s [, T ], (i) u ɛ,k (s) uɛ,k (t), u ɛ,k (t) dt + λ u ɛ,k (t) ɛ u ɛ,k (t) 2 1 dt u ɛ,k () λt f 2 1, (51) s (ii) u ɛ,k (t) 2 dt = J 1 λ,ɛ (u ɛ,k ()) J λ,ɛ (u ɛ,k (s)). (52) Proof. (i) Letting η = u ɛ,k (t) in equation (48) gives that d dt u ɛ,k (t) uɛ,k (t), u ɛ,k (t) + λ u ɛ,k (t) 2 u ɛ,k (t) 1 λ f 2 1, ɛ and integrating with respect to t from to s gives inequality (51). (ii) Taking η = u ɛ,k (t) in equation (48) gives that u ɛ,k (t) 2 = d 1 dt [J λ,ɛ (u ɛ,k (t))], and integrating with respect to t from to s gives inequality (52). It follows from inequalities (5) and (51), limit (49), equation (52) and the nonnegativity of J λ,ɛ ( ) that there exists C C (u,ɛ, f, λ, T, ɛ, ) such that It follows from u ɛ,k L (,T ;F), u L2 ɛ,k C. (53) (,T ;F) V k V H 1 () W 1,1 () BV () k N
12 928 C.M. ELLIOTT AND S.A SMITHEMAN that Inequality (19) gives that u ɛ,k (s) BV () V k N. u ɛ,k (s) BV () (C + 1) ( u ɛ,k (s), 1). Further, inequality (5) and equation (52) give that there exists C C (u,ɛ, f, λ, ɛ, ) such that ( u ɛ,k (s), 1) J λ,ɛ (u ɛ,k (s)) J λ,ɛ (u ɛ,k ()) C. Hence there exists C C (u,ɛ, f, λ, ɛ, ) such that u ɛ,k L (,T ;BV ()) C. (54) 4.6. Passage to the limit. Since ( H 1 () ) is a Hilbert space and F is a closed subspace of ( H 1 () ), F is a Hilbert space. It follows that F is a reflexive Banach space, and hence so too is L 2 (, s; F) for s (, T ]. Further, BV () is the dual of a separable space and hence so too is L (, T ; BV ()). It follows from the bounds (53) and (54) that there exist a subsequence of {u ɛ,k } k N, still denoted by {u ɛ,k } k N, and u ɛ L (, T ; BV ()) L (, T ; F) such that u ɛ L 2 (, T ; F) and as k, u ɛ,k u ɛ in L 2 (, s; F) s (, T ], u ɛ,k (s) u ɛ (s) in F u ɛ,k (s) u ɛ (s) BV () in L 1 () } for a.e. s [, T ]. (55) Suppose that v C 1 (, T ; C 1 () ) C 1 (, T ; V) (a density argument is given further on which shows that it is sufficient to consider such functions), and take v k (t) = P k v (t). Inequality (17) and limit (43) give that v (t) v k (t) 1 C P v (t) v k (t) as k. (56) Inequality (44) and equation (46) give that for all k N, Hence for all k N, v k (t) 1 v (t) 1, v k (t) 1 v (t) 1. (57) v k L 2 (,T ;F) v L 2 (,T ;F), v k L 2 (,T ;F) v L 2 (,T ;F). (58) Also, it follows from inequality (17), limit (45) and equation (46) that v v k L 2 (,T ;F), v v k L 2 (,T ;F), v v k L 2 ( T ) as k. (59) Since the limits (55) are insufficient to identify the limit of each term in the Galerkin problem (48) as k, a resulting variational inequality for which passage to the limit is possible is found. The process of deducing this variational inequality from equation (48) is the finite dimensional analogue of the deduction of the variational inequality (31) from equation (3): taking η k = v k (t) u ɛ,k (t) in equation (48), using that
13 TV AND H 1 MODEL FOR IMAGES 929 [ (a b) (c a) 1 2 (c b) 2 (a b) 2] and Lemma 1.2, and integrating with respect to t from to s gives 1 2 (v k (t), G [v k (t) u ɛ,k (t)]) dt + [J λ,ɛ (v k (t)) J λ,ɛ (u ɛ,k (t))] dt [ ] v k (s) u ɛ,k (s) 2 1 v k () u ɛ,k () 2 1. (6) Lemma 4.4 gives the k limit of each term in the variational inequality (6). Lemma 4.4. For v C 1 (, T ; C 1 () ) C 1 (, T ; V) and v k (t) = P k v (t) (k N), (i) (ii) (iii) (iv) (v) (vi) lim k lim k lim k lim inf k (v k (t), Gv k (t)) dt = (v k (t), Gu ɛ,k (t)) dt = J λ,ɛ (v k (t)) dt = J λ,ɛ (u ɛ,k (t)) dt (v (t), Gv (t)) dt, (v (t), Gu ɛ (t)) dt, J λ,ɛ (v (t)) dt, J λ,ɛ (u ɛ (t)) dt, lim inf k v k (s) u ɛ,k (s) 2 1 v (s) u ɛ (s) 2 1, lim v k () u ɛ,k () 2 k 1 = v () u,ɛ 2 1. Proof. (i) The bounds (58) and limits (59) give (v k (t), Gv k (t)) dt (v (t), Gv (t)) dt s (v k (t), G [v k (t) v (t)]) dt + (v k (t) v (t), Gv (t)) dt [ ] v k L 2 (,T ;F) v k v L 2 (,T ;F) + v k v L 2 (,T ;F) v L 2 (,T ;F) as k. (ii) Define T 1 and T 2 by (v k (t), Gu ɛ,k (t)) dt (v (t), Gu ɛ (t)) dt s (v k (t) v (t), Gu ɛ,k (t)) dt + (v (t), G [u ɛ,k (t) u ɛ (t)]) dt =: T 1 + T 2. The bounds (53) and limits (59) give that T 1 v k v L 2 (,T ;F) u ɛ,k L2 (,T ;F) as k. The limits (55) and Lemma 1.3 give that and hence T 2 as k. (v (t), G [u ɛ,k (t) u ɛ (t)]) dt as k,
14 93 C.M. ELLIOTT AND S.A SMITHEMAN (iii) The limits (59) and Lemma 1.2 give that ( v k (t) ɛ v (t) ɛ, 1) dt ( [v k (t) v (t)], 1) dt 1 2 T 1 2 vk v L 2 ( T ) as k, (v k (t) v (t), Gf) dt T 1 2 f 1 v k v L 2 (,T ;F) as k. By an analogous argument to that used to prove (i), (v k (t), Gv k (t)) dt (v (t), Gv (t)) dt as k. (iv) Since J λ,ɛ ( ) is convex (see proof of Theorem 3.1), the limits (55) give that J λ,ɛ (u ɛ (t)) lim inf k J λ,ɛ (u ɛ,k (t)), and using Fatou s lemma gives the result. (v) Limits (43) and (55) and inequality (17) give that for a.e. s [, T ], v k (s) u ɛ,k (s) v (s) u ɛ (s) in F as k, and using the lower semi-continuity of a norm with respect to weak convergence gives the result. (vi) The limit (49) and bounds (56), (57) yield (v k (), Gv k ()) (v (), Gv ()) (v k (), G [v k () v ()]) + (v k () v (), Gv ()) ( v k () 1 + v () 1 ) vk () v () 1 2 v () 1 v k () v () 1 as k, (v k (), Gu ɛ,k ()) (v (), Gu,ɛ ) (v k () v (), Gu ɛ,k ()) + (v (), Gu ɛ,k () Gu,ɛ ) u ɛ,k () 1 v k () v () 1 + v () 1 u ɛ,k () u,ɛ 1 as k, u ɛ,k () 2 1 u,ɛ 2 1 ask. By Lemma 4.4, passage to the limit k of each term in the variational inequality (6) gives that u ɛ satisfies the variational inequality (31) if v C 1 (, T ; C 1 ()) C 1 (, T ; V). Further, C 1 () V is dense in BV () F with respect to strict convergence ([2], p. 132) and C 1 (, T ; BV ()) C 1 (, T ; F) is dense in L 1 (, T ; BV ()) C (, T ; F) with respect to norm convergence. It follows that C ( 1, T ; C 1 () ) C 1 (, T ; V) is dense in L 1 (, T ; BV ()) C (, T ; F). Hence u ɛ satisfies the variational inequality (31). As in Feng and Prohl [7], an argument of Lichnewsky and Temam [8] is used to prove that u ɛ () = u,ɛ and u ɛ C (, T ; F). Indeed, for δ >, the following initial value problem is considered: δu ɛ,δ (t) + u ɛ,δ (t) = u ɛ (t) t (, T ), u ɛ,δ () = u,ɛ. This initial value problem is used because its unique solution u ɛ,δ is known to belong to C (, T ; F).
15 TV AND H 1 MODEL FOR IMAGES 931 Replacing v by u ɛ,δ in the variational inequality (31) gives that = 1 2 u ɛ,δ (s) u ɛ (s) λ 2 [J λ,ɛ (u ɛ,δ (t)) dt J λ,ɛ (u ɛ (t))] dt 1 δ [J λ,ɛ (u ɛ,δ (t)) dt J λ,ɛ (u ɛ (t))] dt [ ] uɛ,δ (t) ɛ u ɛ (t) ɛ dxdt [ ] u ɛ,δ (t) f 2 1 u ɛ (t) f 2 1 dt. It follows from Lemma 1.2 that [ ] T uɛ,δ (t) ɛ u ɛ (t) ɛ dxdt u ɛ,δ (t) u ɛ (t) 2 1 dt [u ɛ,δ (t) u ɛ (t)] dxdt u ɛ,δ u ɛ L 1 (,T ;BV ()). Since (a c) 2 (b c) 2 = (a b) (a + b 2c), [ ] u ɛ,δ (t) f 2 1 u ɛ (t) f 2 1 dt = ( G [u ɛ,δ (t) u ɛ (t)], G [u ɛ,δ (t) + u ɛ (t) 2f]) dt As in [7] and [8], It follows that which yields u ɛ,δ u ɛ L2 (,T ;F) u ɛ,δ + u ɛ 2f L2 (,T ;F) ( ) u ɛ,δ u ɛ L2 (,T ;F) u ɛ,δ u ɛ L2 (,T ;F) + 2 u ɛ f L 2 (,T ;F). u ɛ,δ u ɛ in L 2 (, T ; F) L 1 (, T ; BV ()) as δ. u ɛ,δ u ɛ C(,T ;F) = sup u ɛ,δ (s) u ɛ (s) 1 as δ, s [,T ] u ɛ C (, T ; F), u ɛ () = u,ɛ in F Proof of stability estimate (36). As in Feng and Prohl [7], an argument of Lichnewsky and Temam [8] is used to prove the stability estimate (36). Indeed, let u ɛ,i (i = 1, 2) be weak solutions of (P ɛ ) for data u,ɛ,i, f i. The function u ɛ C (, T ; F) is defined by u ɛ (t) := u ɛ,1 (t) + u ɛ,2 (t) 2 t [, T ) ( u ɛ () = u ),ɛ,1 + u,ɛ,2. 2
16 932 C.M. ELLIOTT AND S.A SMITHEMAN Adding the inequalities (31) for i = 1, 2 gives that λ 2 (v (t), G [v (t) u ɛ (t)]) dt [2J,ɛ (v (t)) dt J,ɛ (u ɛ,1 (t)) J,ɛ (u ɛ,2 (t))] dt [ v (t) f v (t) f ] u ɛ,1 (t) f u ɛ,2 (t) f dt 1 [ v (s) u ɛ,1 (s) v (s) u ɛ,2 (s) 2 1 v () u,ɛ,1 2 1 v () u,ɛ,2 2 1 ]. (61) For δ >, u ɛ,δ C (, T ; F) is taken to be the solution of the initial value problem δu ɛ,δ (t) + u ɛ,δ (t) = u ɛ (t) t (, T ), u ɛ,δ () = u ɛ (). Replacing v by u ɛ,δ in inequality (61) yields [2J,ɛ (u ɛ,δ (t)) J,ɛ (u ɛ,1 (t)) J,ɛ (u ɛ,2 (t))] dt + λ [ u ɛ,δ (t) f u ɛ,δ (t) f ] u ɛ,1 (t) f u ɛ,2 (t) f dt 1 [ ] u ɛ,δ (s) u ɛ,1 (s) u ɛ,δ (s) u ɛ,2 (s) u,ɛ,2 u,ɛ, As in Section 4.6, u ɛ,δ u ɛ in L 2 (, T ; F) L 1 (, T ; BV ()) and u ɛ,δ (s) u ɛ (s) in F as δ. The convexity of J,ɛ ([1], Theorem 2.4) implies that 2J,ɛ (u ɛ (t)) J,ɛ (u ɛ,1 (t)) + J,ɛ (u ɛ,2 (t)). Letting δ in inequality (62) and using ( 2 2 a + b a + b c) + d (a c) 2 (b d) (d c)2 a, b, c, d R (63) yields u ɛ,2 (s) u ɛ,1 (s) 2 1 λs f 2 f u,ɛ,2 u,ɛ, Proof of existence of a weak solution of (P). For ɛ >, take u ɛ to be the weak solution of (P ɛ ) with (62) u,ɛ = u. (64) It follows from the bounds (53), (54) that there exists C C (u, f, λ, T, ɛ, ), which remains bounded as ɛ, such that u ɛ L (,T ;F), u ɛ L2 (,T ;F), u ɛ L (,T ;BV ()) C. (65)
17 TV AND H 1 MODEL FOR IMAGES 933 Hence there exist a subsequence of {u ɛ } ɛ>, still denoted by {u ɛ } ɛ>, and u L (, T ; BV ()) L (, T ; F) such that u L 2 (, T ; F) and as ɛ, u ɛ u in L 2 (, s; F) s (, T ], u ɛ (s) u (s) in F u ɛ (s) u (s) BV () in L 1 () } for a.e. s [, T ]. (66) In Section 4.6, Lemma 4.4 was used to pass to the limit k in the variational inequality (6) (a corollary of the Galerkin problem (48)), yielding the variational inequality (31). For v in a dense subspace of the test space in inequality (31) and suitably chosen v k, Lemma 4.4 identified the k limit of each term in the variational inequality (6) as being (up to inequality) the corresponding term in the variational inequality (31). Analogously, Lemma 4.5 below identifies the ɛ limit of each term in the variational inequality (31) as being (up to inequality) the corresponding term in the variational inequality (3). By the same density argument as that in Section 4.6, it is sufficient to consider v C 1 (, T ; C 1 () ) C 1 (, T ; V). Lemma 4.5. For any v C 1 (, T ; C 1 () ) C 1 (, T ; V), (i) (ii) (iii) (iv) (v) lim ɛ lim ɛ lim inf ɛ (v (t), Gu ɛ (t)) dt = J λ,ɛ (v (t)) dt = J λ,ɛ (u ɛ (t)) dt (v (t), Gu (t)) dt, J λ (v (t)) dt, J λ (u (t)) dt, lim inf v (s) u ɛ (s) 2 1 v (s) u ɛ (s) 2 1, lim v () u,ɛ 2 ɛ 1 = v () u 2 1. Proof. The proofs of (i) and (iv) are analogous to (and simpler than, since it is not necessary to pass to the limit of {v k } k N ) those of parts (ii) and (v) of Lemma 4.4 given in Section 4.6. (ii) follows from p ɛ p ɛ: ( v (t) ɛ v (t), 1) dt ɛt as ɛ. The proof of (iii) is similar to that of part (iv) of Lemma 4.4 given in Section 4.6: the convexity of J λ ( ) (see proof of Theorem 3.1), the inequality J λ ( ) J λ,ɛ ( ) and the limits (66) yielding J λ (u (t)) lim inf ɛ (v) follows from the initial condition (64). J λ (u ɛ (t)) lim inf J λ,ɛ (u ɛ (t)). ɛ 5. Convergence of weak solutions to minimizers of energies Statement of result.
18 934 C.M. ELLIOTT AND S.A SMITHEMAN Theorem 5.1 (c.f. [6], Theorem 2.2). Let 2 d 3, u, u,ɛ BV () F, f F and u, u ɛ be the minimizers of J λ ( ), J λ,ɛ ( ). The weak solutions u, u ɛ of (P), (P ɛ ) satisfy p [ 1, d d Technical Lemma. ), u (t) L p () u and u ɛ (t) L p () u ɛ as t. (67) Lemma 5.2. Let u, u,ɛ BV () F and f F. Then for all s (, T ), the weak solutions u, u ɛ of (P), (P ɛ ) satisfy u (t), G [w (t) u (t)] dt + [J λ (w (t)) J λ (u (t))] dt s s w L 1 (, T ; BV ()) L 2 (, T ; F), s [s, T ] ; (68) u ɛ (t), G [w (t) u ɛ (t)] dt + [J λ,ɛ (w (t)) J λ,ɛ (u ɛ (t))] dt s s w L 1 (, T ; BV ()) L 2 (, T ; F), s [s, T ]. (69) Hence u, u ɛ satisfy u (t), G [w u (t)] + J λ (w) J λ (u (t)) w BV () F and a.e. t (s, T ), u ɛ (t), G [w u ɛ (t)] + J λ,ɛ (w) J λ,ɛ (u ɛ (t)) w BV () F and a.e. t (s, T ). Proof. The inequalities (68) and (7) are proved (the inequalities (69) and (71) can be proved analogously). Choose s (, T ), and take w L 1 (, T ; BV ()) L 2 (, T ; F). The inequality (68) follows from taking s [s, T ] and { u (t) for t [, s ] v (t) = w (t) for t (s, s], in inequality (28). The inequality (7) follows from inequality (68) by the Lebesgue differentiation theorem (see [2]) Proof of Theorem 5.1. The proof of the result for (P) is given (the result for (P ɛ ) can be proved analogously). Choose s > such that u (s ) BV () F. Taking w (t) = u (t τ) for < τ < s in inequality (68) with s = T, dividing the resulting inequality by τ and passing to the limit τ yields T s u (t) 2 1 dt + J λ (u (T )) J λ (u (s )) < T [s, ). Hence there exists a sequence {t j } j N and a constant C C () such that t j as j and u (t j ) 1 as j and u (t j ) BV (), u (t j ) 1 C j N. It follows that there exists û BV () F and a subsequence of {u (t j )} j N (still denoted by {u (t j )} j N ) such that u (t j ) û, u (t j) û, u (t j ) û as j ; BV w F L1 () (7) (71)
19 TV AND H 1 MODEL FOR IMAGES 935 (see [2], p. 125). Taking t = t j in (7), letting j and using the convexity of J λ ( ) (see proof of Theorem 3.1) gives that J λ (w) lim inf j J λ (u (t j )) J λ (û) w BV () F. The uniqueness of the solution of the minimization problem implies that û = u and that the whole sequence {u (t)} t> satisfies the limit in (67). 6. Rate of convergence of u ɛ to u as ɛ. It follows from the proof of the existence of a weak solution to (P) given in Section 4.8 that if u,ɛ = u for ɛ > and f F, then the weak solutions u, {u ɛ } ɛ> of (P), (P ɛ ) for data u and f, {u,ɛ } ɛ> and f satisfy u ɛ u in L (, T ; F) as ɛ. We prove Theorem 6.1 concerning the rate of this convergence. Theorem 6.1 (c.f. [6], Theorem 3.1). Suppose that 2 d 3, u BV () F, {u,ɛ } ɛ> BV () F and f F. Let u, {u ɛ } ɛ> be the weak solutions of (P), (P ɛ ) for data u and f, {u,ɛ } ɛ> and f. Then Hence, if u,ɛ = u for ɛ >, u u ɛ C(,T ;F) u u,ɛ ɛt. u ɛ u in C (, T ; F) as ɛ. Proof. The inequality p ɛ p ɛ gives that J λ,ɛ ( ) J λ ( ) ɛ. Hence taking v = u in the inequality (29) for (P ɛ ) and v = u ɛ in the inequality (28) for (P) and adding the resulting inequalities gives the desired result. 7. Conclusions. Functional analytic techniques have been used to show the existence of a unique suitably defined weak solution to partial differential equation arising from the H 1 gradient flow of the energy consisting of TV regularization plus H 1 fidelity. A regularized version of the energy was considered, which gave rise to a regularized partial differential equation. The existence of a unique weak solution to this regularized problem was used to show the existence of a unique weak solution to the original problem. The convergence of each weak solution to the minimizer of the corresponding energy as time t was established. Further, a result for the rate of convergence of the weak solution of the regularized problem to that of the original one as the regularization parameter ɛ was established. REFERENCES [1] R. Acar and C.R. Vogel, Analysis of bounded variation penalty methods for ill-posed problems, Inverse Problems, 1 (1994), [2] L. Ambrosio, N. Fusco and D. Pallara, Functions of Bounded Variation and Free Discontinuity Problems, OUP, Oxford, 2. [3] A. Chambolle and P-L. Lions, Image Recovery via total variation minimization and related problems, Numer. Math., 76 (1997), [4] C.M. Elliott, D. French and F. Milner, A second order splitting method for the Cahn-Hilliard equation, Numer. Math., 54 (1989), [5] Charles M. Elliott and Andro Mikelić, Existence for the Cahn-Hilliard phase separation model with a nondifferentiable energy, Ann. Mat. Pura Appl., 158 (1991), [6] X. Feng, M. von Oehsen and A. Prohl, Rate of convergence of regularization procedures and finite element approximations for the total variation flow, Numer. Math., 1 (25),
20 936 C.M. ELLIOTT AND S.A SMITHEMAN [7] X. Feng and A. Prohl, Analysis of total variation flow and its finite element approximations, M2AN, 37 (23), [8] A. Lichnewsky and R. Temam, Pseudosolutions of the time-dependent minimal surface problem, J. Differential Equations, 3 (1978), [9] J.L. Lions, Quelques Méthodes de Résolution des Problèmes aux Limites non Linéaires, Dunod, Paris, [1] M.Z. Nashed and O. Scherzer, Least squares and bounded variation regularization with nondifferentiable functionals, Numer. Funct. Anal. Optim., 19 (1998), [11] S. Osher, A. Solé and L. Vese, Image decomposition and restoration using total variation minimization and the H 1 norm, Multiscale Model. Simul., 1 (23), [12] L.I. Rudin, S. Osher and E. Fatemi, Nonlinear total variation based noise removal algorithms, Phys. D, 6 (1992), [13] W.P. Ziemer, Weakly Differentiable Functions: Sobolev Spaces and Functions of Bounded Variation, Springer-Verlag, USA, Received January 26; revised March 27. address: C.M.Elliott@sussex.ac.uk address: S.A.Smitheman@sussex.ac.uk
ENERGY METHODS IN IMAGE PROCESSING WITH EDGE ENHANCEMENT
ENERGY METHODS IN IMAGE PROCESSING WITH EDGE ENHANCEMENT PRASHANT ATHAVALE Abstract. Digital images are can be realized as L 2 (R 2 objects. Noise is introduced in a digital image due to various reasons.
More informationNONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian UNDER NONHOMOGENEOUS NEUMANN BOUNDARY CONDITION
Electronic Journal of Differential Equations, Vol. 2016 (2016), No. 210, pp. 1 7. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu NONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian
More informationNumerical Approximation of Phase Field Models
Numerical Approximation of Phase Field Models Lecture 2: Allen Cahn and Cahn Hilliard Equations with Smooth Potentials Robert Nürnberg Department of Mathematics Imperial College London TUM Summer School
More informationWeak Solutions to Nonlinear Parabolic Problems with Variable Exponent
International Journal of Mathematical Analysis Vol. 1, 216, no. 12, 553-564 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/ijma.216.6223 Weak Solutions to Nonlinear Parabolic Problems with Variable
More informationESAIM: M2AN Modélisation Mathématique et Analyse Numérique Vol. 34, N o 4, 2000, pp
Mathematical Modelling and Numerical Analysis ESAIM: M2AN Modélisation Mathématique et Analyse Numérique Vol. 34, N o 4, 2, pp. 799 8 STRUCTURAL PROPERTIES OF SOLUTIONS TO TOTAL VARIATION REGULARIZATION
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationOn the simplest expression of the perturbed Moore Penrose metric generalized inverse
Annals of the University of Bucharest (mathematical series) 4 (LXII) (2013), 433 446 On the simplest expression of the perturbed Moore Penrose metric generalized inverse Jianbing Cao and Yifeng Xue Communicated
More informationXiaobing Feng 1 and Andreas Prohl 2
ESAIM: MAN Vol. 37, N o 3, 3, pp. 533 556 DOI:.5/man:34 ESAIM: Mathematical Modelling and Numerical Analysis ANALYSIS OF TOTAL VARIATION FLOW AND ITS FINITE ELEMENT APPROXIMATIONS Xiaobing Feng and Andreas
More informationEXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE. Leszek Gasiński
DISCRETE AND CONTINUOUS Website: www.aimsciences.org DYNAMICAL SYSTEMS SUPPLEMENT 2007 pp. 409 418 EXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE Leszek Gasiński Jagiellonian
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 informationMULTI-VALUED BOUNDARY VALUE PROBLEMS INVOLVING LERAY-LIONS OPERATORS AND DISCONTINUOUS NONLINEARITIES
MULTI-VALUED BOUNDARY VALUE PROBLEMS INVOLVING LERAY-LIONS OPERATORS,... 1 RENDICONTI DEL CIRCOLO MATEMATICO DI PALERMO Serie II, Tomo L (21), pp.??? MULTI-VALUED BOUNDARY VALUE PROBLEMS INVOLVING LERAY-LIONS
More informationGlobal Solutions for a Nonlinear Wave Equation with the p-laplacian Operator
Global Solutions for a Nonlinear Wave Equation with the p-laplacian Operator Hongjun Gao Institute of Applied Physics and Computational Mathematics 188 Beijing, China To Fu Ma Departamento de Matemática
More informationEXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM
EXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM JENICĂ CRÎNGANU We derive existence results for operator equations having the form J ϕu = N f u, by using
More informationUniversität des Saarlandes. Fachrichtung 6.1 Mathematik
Universität des Saarlandes U N I V E R S I T A S S A R A V I E N I S S Fachrichtung 6.1 Mathematik Preprint Nr. 402 Iterative TV-regularization of Grey-scale Images Martin Fuchs and Joachim Weickert Saarbrücken
More informationSPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS
SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS TSOGTGEREL GANTUMUR Abstract. After establishing discrete spectra for a large class of elliptic operators, we present some fundamental spectral properties
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 informationKey words: denoising, higher-order regularization, stability, weak convergence, Brezis-Lieb condition. AMS subject classifications: 49N45, 94A08.
A FEW REMARKS ON VARIATIONAL MODELS FOR DENOISING RUSTUM CHOKSI, IRENE FONSECA, AND BARBARA ZWICKNAGL Abstract. Variational models for image and signal denoising are based on the minimization of energy
More informationON WEAK SOLUTION OF A HYPERBOLIC DIFFERENTIAL INCLUSION WITH NONMONOTONE DISCONTINUOUS NONLINEAR TERM
Internat. J. Math. & Math. Sci. Vol. 22, No. 3 (999 587 595 S 6-72 9922587-2 Electronic Publishing House ON WEAK SOLUTION OF A HYPERBOLIC DIFFERENTIAL INCLUSION WITH NONMONOTONE DISCONTINUOUS NONLINEAR
More informationOBSERVABILITY INEQUALITY AND DECAY RATE FOR WAVE EQUATIONS WITH NONLINEAR BOUNDARY CONDITIONS
Electronic Journal of Differential Equations, Vol. 27 (27, No. 6, pp. 2. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu OBSERVABILITY INEQUALITY AND DECAY RATE FOR WAVE EQUATIONS
More informationOn a weighted total variation minimization problem
On a weighted total variation minimization problem Guillaume Carlier CEREMADE Université Paris Dauphine carlier@ceremade.dauphine.fr Myriam Comte Laboratoire Jacques-Louis Lions, Université Pierre et Marie
More informationRegularity and compactness for the DiPerna Lions flow
Regularity and compactness for the DiPerna Lions flow Gianluca Crippa 1 and Camillo De Lellis 2 1 Scuola Normale Superiore, Piazza dei Cavalieri 7, 56126 Pisa, Italy. g.crippa@sns.it 2 Institut für Mathematik,
More informationMixed exterior Laplace s problem
Mixed exterior Laplace s problem Chérif Amrouche, Florian Bonzom Laboratoire de mathématiques appliquées, CNRS UMR 5142, Université de Pau et des Pays de l Adour, IPRA, Avenue de l Université, 64000 Pau
More informationA Theoretical Framework for the Regularization of Poisson Likelihood Estimation Problems
c de Gruyter 2007 J. Inv. Ill-Posed Problems 15 (2007), 12 8 DOI 10.1515 / JIP.2007.002 A Theoretical Framework for the Regularization of Poisson Likelihood Estimation Problems Johnathan M. Bardsley Communicated
More informationNonlinear regularizations of TV based PDEs for image processing
Nonlinear regularizations of TV based PDEs for image processing Andrea Bertozzi, John Greer, Stanley Osher, and Kevin Vixie ABSTRACT. We consider both second order and fourth order TV-based PDEs for image
More informationON GAP FUNCTIONS OF VARIATIONAL INEQUALITY IN A BANACH SPACE. Sangho Kum and Gue Myung Lee. 1. Introduction
J. Korean Math. Soc. 38 (2001), No. 3, pp. 683 695 ON GAP FUNCTIONS OF VARIATIONAL INEQUALITY IN A BANACH SPACE Sangho Kum and Gue Myung Lee Abstract. In this paper we are concerned with theoretical properties
More informationWeak solutions for the Cahn-Hilliard equation with degenerate mobility
Archive for Rational Mechanics and Analysis manuscript No. (will be inserted by the editor) Shibin Dai Qiang Du Weak solutions for the Cahn-Hilliard equation with degenerate mobility Abstract In this paper,
More informationConvex Hodge Decomposition of Image Flows
Convex Hodge Decomposition of Image Flows Jing Yuan 1, Gabriele Steidl 2, Christoph Schnörr 1 1 Image and Pattern Analysis Group, Heidelberg Collaboratory for Image Processing, University of Heidelberg,
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationConvergence rates of convex variational regularization
INSTITUTE OF PHYSICS PUBLISHING Inverse Problems 20 (2004) 1411 1421 INVERSE PROBLEMS PII: S0266-5611(04)77358-X Convergence rates of convex variational regularization Martin Burger 1 and Stanley Osher
More informationEXISTENCE OF SOLUTIONS TO THE CAHN-HILLIARD/ALLEN-CAHN EQUATION WITH DEGENERATE MOBILITY
Electronic Journal of Differential Equations, Vol. 216 216), No. 329, pp. 1 22. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO THE CAHN-HILLIARD/ALLEN-CAHN
More informationON NONHOMOGENEOUS BIHARMONIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT
PORTUGALIAE MATHEMATICA Vol. 56 Fasc. 3 1999 ON NONHOMOGENEOUS BIHARMONIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT M. Guedda Abstract: In this paper we consider the problem u = λ u u + f in, u = u
More informationSYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 21, 2003, 211 226 SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS Massimo Grosi Filomena Pacella S.
More informationEXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS
EXISTECE AD REGULARITY RESULTS FOR SOME OLIEAR PARABOLIC EUATIOS Lucio BOCCARDO 1 Andrea DALL AGLIO 2 Thierry GALLOUËT3 Luigi ORSIA 1 Abstract We prove summability results for the solutions of nonlinear
More informationConvex Hodge Decomposition and Regularization of Image Flows
Convex Hodge Decomposition and Regularization of Image Flows Jing Yuan, Christoph Schnörr, Gabriele Steidl April 14, 2008 Abstract The total variation (TV) measure is a key concept in the field of variational
More informationNovel integro-differential equations in image processing and its applications
Novel integro-differential equations in image processing and its applications Prashant Athavale a and Eitan Tadmor b a Institute of Pure and Applied Mathematics, University of California, Los Angeles,
More informationEigenvalues and Eigenfunctions of the Laplacian
The Waterloo Mathematics Review 23 Eigenvalues and Eigenfunctions of the Laplacian Mihai Nica University of Waterloo mcnica@uwaterloo.ca Abstract: The problem of determining the eigenvalues and eigenvectors
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics http://jipam.vu.edu.au/ Volume 3, Issue 3, Article 46, 2002 WEAK PERIODIC SOLUTIONS OF SOME QUASILINEAR PARABOLIC EQUATIONS WITH DATA MEASURES N.
More informationSYMMETRY IN REARRANGEMENT OPTIMIZATION PROBLEMS
Electronic Journal of Differential Equations, Vol. 2009(2009), No. 149, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SYMMETRY IN REARRANGEMENT
More informationEXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem
Electronic Journal of Differential Equations, Vol. 207 (207), No. 84, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS
More informationNonexistence of solutions for quasilinear elliptic equations with p-growth in the gradient
Electronic Journal of Differential Equations, Vol. 2002(2002), No. 54, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Nonexistence
More informationTechnische Universität Dresden
Technische Universität Dresden Als Manuskript gedruckt Herausgeber: Der Rektor Existence of a sequence of eigensolutions for the 1-Laplace operator Z. Milbers and F. Schuricht Institut für Analysis MATH-AN-04-2008
More informationChapter 2 Smooth Spaces
Chapter Smooth Spaces.1 Introduction In this chapter, we introduce the class of smooth spaces. We remark immediately that there is a duality relationship between uniform smoothness and uniform convexity.
More informationA NOTE ON THE INITIAL-BOUNDARY VALUE PROBLEM FOR CONTINUITY EQUATIONS WITH ROUGH COEFFICIENTS. Gianluca Crippa. Carlotta Donadello. Laura V.
Manuscript submitted to Website: http://aimsciences.org AIMS Journals Volume, Number, Xxxx XXXX pp. A NOTE ON THE INITIAL-BOUNDARY VALUE PROBLEM FOR CONTINUITY EQUATIONS WITH ROUGH COEFFICIENTS Gianluca
More informationVariational Formulations
Chapter 2 Variational Formulations In this chapter we will derive a variational (or weak) formulation of the elliptic boundary value problem (1.4). We will discuss all fundamental theoretical results that
More informationREGULAR LAGRANGE MULTIPLIERS FOR CONTROL PROBLEMS WITH MIXED POINTWISE CONTROL-STATE CONSTRAINTS
REGULAR LAGRANGE MULTIPLIERS FOR CONTROL PROBLEMS WITH MIXED POINTWISE CONTROL-STATE CONSTRAINTS fredi tröltzsch 1 Abstract. A class of quadratic optimization problems in Hilbert spaces is considered,
More informationWELL-POSEDNESS OF WEAK SOLUTIONS TO ELECTRORHEOLOGICAL FLUID EQUATIONS WITH DEGENERACY ON THE BOUNDARY
Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 13, pp. 1 15. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu WELL-POSEDNESS OF WEAK SOLUTIONS TO ELECTRORHEOLOGICAL
More informationOn uniqueness of weak solutions to transport equation with non-smooth velocity field
On uniqueness of weak solutions to transport equation with non-smooth velocity field Paolo Bonicatto Abstract Given a bounded, autonomous vector field b: R d R d, we study the uniqueness of bounded solutions
More informationREGULARITY OF THE MINIMIZER FOR THE D-WAVE GINZBURG-LANDAU ENERGY
METHODS AND APPLICATIONS OF ANALYSIS. c 2003 International Press Vol. 0, No., pp. 08 096, March 2003 005 REGULARITY OF THE MINIMIZER FOR THE D-WAVE GINZBURG-LANDAU ENERGY TAI-CHIA LIN AND LIHE WANG Abstract.
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More informationEXISTENCE OF THREE WEAK SOLUTIONS FOR A QUASILINEAR DIRICHLET PROBLEM. Saeid Shokooh and Ghasem A. Afrouzi. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69 4 (217 271 28 December 217 research paper originalni nauqni rad EXISTENCE OF THREE WEAK SOLUTIONS FOR A QUASILINEAR DIRICHLET PROBLEM Saeid Shokooh and Ghasem A.
More informationSecond Order Elliptic PDE
Second Order Elliptic PDE T. Muthukumar tmk@iitk.ac.in December 16, 2014 Contents 1 A Quick Introduction to PDE 1 2 Classification of Second Order PDE 3 3 Linear Second Order Elliptic Operators 4 4 Periodic
More informationA NOTE ON THE LADYŽENSKAJA-BABUŠKA-BREZZI CONDITION
A NOTE ON THE LADYŽENSKAJA-BABUŠKA-BREZZI CONDITION JOHNNY GUZMÁN, ABNER J. SALGADO, AND FRANCISCO-JAVIER SAYAS Abstract. The analysis of finite-element-like Galerkin discretization techniques for the
More informationNONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS
Fixed Point Theory, Volume 9, No. 1, 28, 3-16 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS GIOVANNI ANELLO Department of Mathematics University
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 informationPseudo-monotonicity and degenerate elliptic operators of second order
2002-Fez conference on Partial Differential Equations, Electronic Journal of Differential Equations, Conference 09, 2002, pp 9 24. http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu
More informationMULTIPLE SOLUTIONS FOR CRITICAL ELLIPTIC PROBLEMS WITH FRACTIONAL LAPLACIAN
Electronic Journal of Differential Equations, Vol. 016 (016), No. 97, pp. 1 11. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu MULTIPLE SOLUTIONS
More informationGLOBAL EXISTENCE AND ENERGY DECAY OF SOLUTIONS TO A PETROVSKY EQUATION WITH GENERAL NONLINEAR DISSIPATION AND SOURCE TERM
Georgian Mathematical Journal Volume 3 (26), Number 3, 397 4 GLOBAL EXITENCE AND ENERGY DECAY OF OLUTION TO A PETROVKY EQUATION WITH GENERAL NONLINEAR DIIPATION AND OURCE TERM NOUR-EDDINE AMROUN AND ABBE
More informationANISOTROPIC EQUATIONS: UNIQUENESS AND EXISTENCE RESULTS
ANISOTROPIC EQUATIONS: UNIQUENESS AND EXISTENCE RESULTS STANISLAV ANTONTSEV, MICHEL CHIPOT Abstract. We study uniqueness of weak solutions for elliptic equations of the following type ) xi (a i (x, u)
More informationA VARIATIONAL INEQUALITY RELATED TO AN ELLIPTIC OPERATOR
Proyecciones Vol. 19, N o 2, pp. 105-112, August 2000 Universidad Católica del Norte Antofagasta - Chile A VARIATIONAL INEQUALITY RELATED TO AN ELLIPTIC OPERATOR A. WANDERLEY Universidade do Estado do
More informationarxiv: v1 [math.ap] 16 Jan 2015
Three positive solutions of a nonlinear Dirichlet problem with competing power nonlinearities Vladimir Lubyshev January 19, 2015 arxiv:1501.03870v1 [math.ap] 16 Jan 2015 Abstract This paper studies a nonlinear
More informationA CAUCHY PROBLEM OF SINE-GORDON EQUATIONS WITH NON-HOMOGENEOUS DIRICHLET BOUNDARY CONDITIONS 1. INTRODUCTION
Trends in Mathematics Information Center for Mathematical Sciences Volume 4, Number 2, December 21, Pages 39 44 A CAUCHY PROBLEM OF SINE-GORDON EQUATIONS WITH NON-HOMOGENEOUS DIRICHLET BOUNDARY CONDITIONS
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationASYMPTOTIC BEHAVIOR OF SOLUTIONS FOR PARABOLIC OPERATORS OF LERAY-LIONS TYPE AND MEASURE DATA
ASYMPTOTIC BEHAVIOR OF SOLUTIONS FOR PARABOLIC OPERATORS OF LERAY-LIONS TYPE AND MEASURE DATA FRANCESCO PETITTA Abstract. Let R N a bounded open set, N 2, and let p > 1; we study the asymptotic behavior
More informationImage Cartoon-Texture Decomposition and Feature Selection using the Total Variation Regularized L 1 Functional
Image Cartoon-Texture Decomposition and Feature Selection using the Total Variation Regularized L 1 Functional Wotao Yin 1, Donald Goldfarb 1, and Stanley Osher 2 1 Department of Industrial Engineering
More informationRegularization of linear inverse problems with total generalized variation
Regularization of linear inverse problems with total generalized variation Kristian Bredies Martin Holler January 27, 2014 Abstract The regularization properties of the total generalized variation (TGV)
More informationPERIODIC SOLUTIONS OF THE FORCED PENDULUM : CLASSICAL VS RELATIVISTIC
LE MATEMATICHE Vol. LXV 21) Fasc. II, pp. 97 17 doi: 1.4418/21.65.2.11 PERIODIC SOLUTIONS OF THE FORCED PENDULUM : CLASSICAL VS RELATIVISTIC JEAN MAWHIN The paper surveys and compares some results on the
More informationExistence of at least two periodic solutions of the forced relativistic pendulum
Existence of at least two periodic solutions of the forced relativistic pendulum Cristian Bereanu Institute of Mathematics Simion Stoilow, Romanian Academy 21, Calea Griviţei, RO-172-Bucharest, Sector
More informationOn a Nonlocal Elliptic System of p-kirchhoff-type Under Neumann Boundary Condition
On a Nonlocal Elliptic System of p-kirchhoff-type Under Neumann Boundary Condition Francisco Julio S.A Corrêa,, UFCG - Unidade Acadêmica de Matemática e Estatística, 58.9-97 - Campina Grande - PB - Brazil
More informationON A CERTAIN GENERALIZATION OF THE KRASNOSEL SKII THEOREM
Journal of Applied Analysis Vol. 9, No. 1 23, pp. 139 147 ON A CERTAIN GENERALIZATION OF THE KRASNOSEL SKII THEOREM M. GALEWSKI Received July 3, 21 and, in revised form, March 26, 22 Abstract. We provide
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 informationA metric space X is a non-empty set endowed with a metric ρ (x, y):
Chapter 1 Preliminaries References: Troianiello, G.M., 1987, Elliptic differential equations and obstacle problems, Plenum Press, New York. Friedman, A., 1982, Variational principles and free-boundary
More informationEXISTENCE OF SOLUTIONS FOR A RESONANT PROBLEM UNDER LANDESMAN-LAZER CONDITIONS
Electronic Journal of Differential Equations, Vol. 2008(2008), No. 98, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) EXISTENCE
More informationCritical Groups in Saddle Point Theorems without a Finite Dimensional Closed Loop
Math. Nachr. 43 00), 56 64 Critical Groups in Saddle Point Theorems without a Finite Dimensional Closed Loop By Kanishka Perera ) of Florida and Martin Schechter of Irvine Received November 0, 000; accepted
More informationNumerical Solution of Nonsmooth Problems and Application to Damage Evolution and Optimal Insulation
Numerical Solution of Nonsmooth Problems and Application to Damage Evolution and Optimal Insulation Sören Bartels University of Freiburg, Germany Joint work with G. Buttazzo (U Pisa), L. Diening (U Bielefeld),
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 information2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.
Chapter 3 Duality in Banach Space Modern optimization theory largely centers around the interplay of a normed vector space and its corresponding dual. The notion of duality is important for the following
More informationOn the discrete boundary value problem for anisotropic equation
On the discrete boundary value problem for anisotropic equation Marek Galewski, Szymon G l ab August 4, 0 Abstract In this paper we consider the discrete anisotropic boundary value problem using critical
More informationDual methods for the minimization of the total variation
1 / 30 Dual methods for the minimization of the total variation Rémy Abergel supervisor Lionel Moisan MAP5 - CNRS UMR 8145 Different Learning Seminar, LTCI Thursday 21st April 2016 2 / 30 Plan 1 Introduction
More informationExistence of Weak Solutions to a Class of Non-Newtonian Flows
Existence of Weak Solutions to a Class of Non-Newtonian Flows 1. Introduction and statement of the result. Ladyzhenskaya [8]. Newtonian : Air, other gases, water, motor oil, alcohols, simple hydrocarbon
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More information2014:05 Incremental Greedy Algorithm and its Applications in Numerical Integration. V. Temlyakov
INTERDISCIPLINARY MATHEMATICS INSTITUTE 2014:05 Incremental Greedy Algorithm and its Applications in Numerical Integration V. Temlyakov IMI PREPRINT SERIES COLLEGE OF ARTS AND SCIENCES UNIVERSITY OF SOUTH
More informationOn Poincare-Wirtinger inequalities in spaces of functions of bounded variation
On Poincare-Wirtinger inequalities in spaces of functions of bounded variation Maïtine Bergounioux To cite this version: Maïtine Bergounioux. On Poincare-Wirtinger inequalities in spaces of functions of
More informationMEYERS TYPE ESTIMATES FOR APPROXIMATE SOLUTIONS OF NONLINEAR ELLIPTIC EQUATIONS AND THEIR APPLICATIONS. Yalchin Efendiev.
Manuscript submitted to AIMS Journals Volume X, Number 0X, XX 200X Website: http://aimsciences.org pp. X XX MEYERS TYPE ESTIMATES FOR APPROXIMATE SOLUTIONS OF NONLINEAR ELLIPTIC EUATIONS AND THEIR APPLICATIONS
More informationAnnalee Gomm Math 714: Assignment #2
Annalee Gomm Math 714: Assignment #2 3.32. Verify that if A M, λ(a = 0, and B A, then B M and λ(b = 0. Suppose that A M with λ(a = 0, and let B be any subset of A. By the nonnegativity and monotonicity
More informationFriedrich symmetric systems
viii CHAPTER 8 Friedrich symmetric systems In this chapter, we describe a theory due to Friedrich [13] for positive symmetric systems, which gives the existence and uniqueness of weak solutions of boundary
More informationELLIPTIC EQUATIONS WITH MEASURE DATA IN ORLICZ SPACES
Electronic Journal of Differential Equations, Vol. 2008(2008), No. 76, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) ELLIPTIC
More informationP(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:
Introduction Functions of bounded variation, usually denoted by BV, have had and have an important role in several problems of calculus of variations. The main features that make BV functions suitable
More informationA Relaxed Explicit Extragradient-Like Method for Solving Generalized Mixed Equilibria, Variational Inequalities and Constrained Convex Minimization
, March 16-18, 2016, Hong Kong A Relaxed Explicit Extragradient-Like Method for Solving Generalized Mixed Equilibria, Variational Inequalities and Constrained Convex Minimization Yung-Yih Lur, Lu-Chuan
More informationA DUALITY ALGORITHM FOR THE OBSTACLE PROBLEM
Ann. Acad. Rom. Sci. Ser. Math. Appl. ISSN 2066-6594 Vol. 5, No. -2 / 203 A DUALITY ALGORITHM FOR THE OBSTACLE PROBLEM Diana Merluşcă Abstract We consider the obstacle problem in Sobolev spaces, of order
More informationOn Friedrichs inequality, Helmholtz decomposition, vector potentials, and the div-curl lemma. Ben Schweizer 1
On Friedrichs inequality, Helmholtz decomposition, vector potentials, and the div-curl lemma Ben Schweizer 1 January 16, 2017 Abstract: We study connections between four different types of results that
More informationON MAPS WHOSE DISTRIBUTIONAL JACOBIAN IS A MEASURE
[version: December 15, 2007] Real Analysis Exchange Summer Symposium 2007, pp. 153-162 Giovanni Alberti, Dipartimento di Matematica, Università di Pisa, largo Pontecorvo 5, 56127 Pisa, Italy. Email address:
More informationElliptic Kirchhoff equations
Elliptic Kirchhoff equations David ARCOYA Universidad de Granada Sevilla, 8-IX-2015 Workshop on Recent Advances in PDEs: Analysis, Numerics and Control In honor of Enrique Fernández-Cara for his 60th birthday
More informationMULTIPLE SOLUTIONS FOR AN INDEFINITE KIRCHHOFF-TYPE EQUATION WITH SIGN-CHANGING POTENTIAL
Electronic Journal of Differential Equations, Vol. 2015 (2015), o. 274, pp. 1 9. ISS: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu MULTIPLE SOLUTIOS
More information************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan
************************************* Applied Analysis I - (Advanced PDE I) (Math 94, Fall 214) by Baisheng Yan Department of Mathematics Michigan State University yan@math.msu.edu Contents Chapter 1.
More informationUNCONDITIONALLY STABLE SCHEMES FOR HIGHER ORDER INPAINTING
UNCONDITIONALLY STABLE SCHEMES FOR HIGHER ORDER INPAINTING CAROLA-BIBIANE SCHÖNLIEB, ANDREA BERTOZZI Abstract. Higher order equations, when applied to image inpainting, have certain advantages over second
More informationNONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS. Shouchuan Hu Nikolas S. Papageorgiou. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 34, 29, 327 338 NONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS Shouchuan Hu Nikolas S. Papageorgiou
More informationCONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence
1 CONVERGENCE THEOR G. ALLAIRE CMAP, Ecole Polytechnique 1. Maximum principle 2. Oscillating test function 3. Two-scale convergence 4. Application to homogenization 5. General theory H-convergence) 6.
More informationA NOTE ON THE EXISTENCE OF TWO NONTRIVIAL SOLUTIONS OF A RESONANCE PROBLEM
PORTUGALIAE MATHEMATICA Vol. 51 Fasc. 4 1994 A NOTE ON THE EXISTENCE OF TWO NONTRIVIAL SOLUTIONS OF A RESONANCE PROBLEM To Fu Ma* Abstract: We study the existence of two nontrivial solutions for an elliptic
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationHARDY INEQUALITIES WITH BOUNDARY TERMS. x 2 dx u 2 dx. (1.2) u 2 = u 2 dx.
Electronic Journal of Differential Equations, Vol. 003(003), No. 3, pp. 1 8. ISSN: 107-6691. UL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) HADY INEQUALITIES
More information