School of Mathematical Sciences
   
   
  
 

Image of Kewei Zhang

Kewei Zhang

Professor of Mathematical Analysis, Faculty of Science

Contact

Research Summary

Hausdorff stable Geometric methods for approximations, interpolations from general compact sets, scattered data and level set information, inpainting, image processing, singularity extraction from… read more

Recent Publications

UK Patent: Title: Image Processing,

Publication Number: GB2488294.

Proprietors: Kewei Zhang, Antonio Orlando and Elaine Crooks,

Inventors: Kewei Zhang, Antonio Orlando and Elaine Crooks,

Publication date: 28/10/2015.

KEA: Geometric Image & Data Analysis



Current Research

Hausdorff stable Geometric methods for approximations, interpolations from general compact sets, scattered data and level set information, inpainting, image processing, singularity extraction from images and geometric objects, multiscale medial axis and geometric interrogation.

Partial differential inclusions and applications to forward-backward diffusion equations in image processing and material microstructure and to the coercivity problem for linear elliptic systems of partial differential equations.

Past Research

Research Track Record

1. Quasimonotone mapping and elliptic systems. The notion of quasimonotone mappings for elliptic systems was introduced in [Z88a] which generalized the concept of quasiconvexity for functions due to Morrey and the existence of weak solutions under the strong-quasimonotonicity condition was established. The aim was to explore the possibility for solving elliptic systems which do not satisfy the usual monotonicity condition. Independently, M. Fuchs defined the same notion he called the `natural ellipticity condition' and established a partial regularity result. Quasimonotone mappings was later shown by Landes to be the necessary and sufficient condition for pseudomonotonicity for elliptic systems.

2. Counterexample for Garding's inequality. I gave an counterexample in [Z89b, Z89c] showing that under the Legendre-Hadamard strong ellipticity condition, Garding's inequality (or coercivity) may not hold for linear elliptic systems if the coefficients are in L. This was an open problem asked by M. Giaquinta. This indicates that for general elliptic systems, it is not possible to linearize the system at a non-smooth solution and apply the implicit function theorem. A later result [Z96] shows that the BMO-seminorm of the coefficients gives necessary conditions for coercivity.

3. Biting theorem for Jacobian and compensated compactness. I established the weak continuity of Jacobians in the sense of the biting lemma [Z90b] (also see [BZ90] for an alternative approach). This was a major new discovery since John Ball's work on weak continuity of Jacobian in 1977. The result led to the further discovery of higher integrability of Jacobian by Muller and marked the beginning of an intensive study on the connections between the theory of compensated compactness of Tartar-Murat and the Hardy spaces in harmonic analysis. These connections became the key for the regularity theory for harmonic maps obtained by Helein, Evans and many others.

4. Implicit function theorem and minimizer. An important discovery on connections between two different approaches to nonlinear elastostatics was made in [Z91a]. I showed that under reasonable conditions, the solution obtained by the traditional implicit function method and the minimizer of the variational method due to John Ball are the same. This has also been the only non-trivial regularity result for the minimizers for nonlinear elasticity models under the polyconvexity assumption up to now.

5. Zhang Lemma. A very useful mathematical tool, now known as Zhang's Lemma was established in [Z92c] showing that for any bounded W01,1 sequences whose gradients approach a compact set of matrices, the sequence can be truncated into a bounded sequence in W1,∞ which shares the same oscillation behaviour as the original one. This lemma has many applications in later studies of variational approach to material microstructure and the study of gradient Young measures.

6. Krein-Milman theorem and the equal hull property. The notion of quasiconvex extreme points was introduced in [Z98c] for compact sets of matrices and the well-known Krein-Milman theorem in convex analysis was established for quasiconvex sets. This notion has found interesting applications in searching of `optimal' existence theorems for partial differential inclusions by Dacorogna-Marcellini and Muller-Sychev's work.

Another surprising observation on quasiconvex hull was made in [Z98b] which is now known as the equal hull property. The result also has interesting consequences in the study of partial differential inclusions. Given a compact set K of N× n matrices, there are a number of useful notions of semiconvex hulls in the calculus of variations. They are the closed lamination convex hull, Lc(K), the rank-one convex hull R(K), the quasiconvex hull, Q(K), the polyconvex hull P(K) and the convex hull C(K), satisfying:

Lc(K)⊂ R(K)⊂ Q(K)⊂ P(K)⊂ C(K).

It was proved in [Z98b] that in general, Q(K)=C(K) if and only if Lc(K)=C(K). If N=n=2, P(K)=C(K) if and only if Lc(K)=C(K).

7. Harmonic analysis method for elliptic systems, calculus of variations, compensated compactness and microstructure. The maximal function method was developed by Acerbi and Fusco in the study of weak lower semicontinuity problems for multiple integrals in the calculus of variations. I have developed this tools to be applicable to many other problems [Z88a, Z90b, Z92b-c, Z97c, Z04a]. Basic theory of singular integral operators has been used in several estimates in my study of quasiconvexity [Z97b, Z98a, Z06b].

The connection of general quadratic forms in the theory of compensated compactness and Hardy spaces was established in the joint work [LMWZ97] with C. Li, J. Hogan, A. McIntosh and Z. Wu where paracommutators and Lojasiewicz Lemma were both used to remove a constant rank restriction in the earlier work of Coifman, Lions Meyer and Semmes. Further optimal results on global higher integrability of Jacobian [HLMZ00] were obtained by using Orlicz-Sobolev spaces.

8. The two well model - mountain pass point and separation of Young measure. The first and the simplest multiwell model concerned with the two-point set K={A, B} of matrices. Ball and James showed in 1987 that if a sequence of gradients approach the two-point set K with rank(A-B)>1, then the sequence of gradients can only approach either A almost everywhere or B almost everywhere in the domain. Kohn found the explicit formula for the quasiconvex envelope of W(X)=Qf(X) where f(X)=min{ |X-A|2, |X-B|2}. It was later showed in [Z01b] that the gradient DW(X) is a quasimonotone mapping. Furthermore, the variational integral I(u)=∫Ω W(Du)+g • u dx, under the homogeneous Neumann condition has at least three critical points when the dead-load perturbation g is small. The functional has a global minimizer, a local minimizer and a mountain pass point.

Another interesting result based on the two-point set K={A,B} led to a further understanding of how to control oscillations of sequences of gradients or the gradient Young measures. It was established in [Z03a] that if rank(A-B)>1, then one can give an estimate of the ε-neighbourhood Kε of K which consists of two balls Kε= B (A,ε) ∪ = B(B,ε) such that Kε separates gradient Young measures, that is if Duj approaches Kε, then it approaches either B(A,ε) a.e. or B(A,ε) a.e.

9. Topological restrictions on subspaces without rank-one matrices. The notion of subspaces of matrices without rank-one matrices can be viewed as the simplest example for sets which do not support any non-trivial gradient Young measures. Let Mm × n be the space of m× n real matrices. Let l(m,n) be the largest possible dimension of subspaces of matrices without rank-one matrices. It was established by E. Rees in 1996 that l(m,n)≥ (n-1)(m-1). However, for a given subspace E ⊂ Mm × n without rank-one matrices, a natural problem is to find universal lower bound of the dimension χ(m,n) of the largest subspace without rank-one matrices that contains E. Obviously, l(m,n)≥ χ(m,n). In [Z01c] I showed that χ(m,n)≥ (m-1)(n-1) and in the physically interesting case m=n=3, one has χ(3,3)=4 which is sharp. While in this case l(3,3)=5.

Let E⊂ Mm × n be any linear subspace. It was established [Z04b] that there exists non-trivial quasiconvex/rank-one convex functions in the form X → f(PE(X)) if and only if PE(V(m,n))≠ E, where PE(V(m,n)) is the closure of the image set of the orthogonal projection for the rank-one cone to E. In particular, I proved that dim(E)>n+m-1 implies PE(V(m,n))≠ E. This result is a consequence of Tarski-Seidenberg theorem in real algebraic geometry.

The modelling of microstructure using geometrically linear elasticity goes back to 1960's where the linear strain e(A)=(A+AT)/2=PE(A) (A ∈ M3× 3) was used to replace the deformation gradient, where PE is the orthogonal projection to the subspace E of 3× 3 symmetric matrices. The notion of compatible strain (when A is a rank-one matrix) is very useful for construction laminated microstructure. Naturally, one might ask: how large the subspaces of symmetric matrices without compatible strain would be. The answer was provided in [Z03b] showing that such subspaces can be at most one-dimensional.

10. Partial Differential Inclusions, forward-backward diffusion equations and the Perona-Malik model. Perona-Malik anisotropic diffusion edge-enhancement model (1990) is arguably the most influential and intensively studied evolutional model for edge enhancement by the image processing community. The model is a non-coercive forward-backward parabolic equation under the Neumann boundary condition. A main unsolved mathematical problem is on the well-posedness of the model, such as existence and uniqueness of solutions in the two-dimensional case. Most of the effort (in mathematics) so far has been on the one-dimensional version of the problem. The existence of a unique smooth solution was established by Kawohl and Kutev (1998) for initial values with small derivative.

By using the partial differential inclusion method, I established in [Z04d] the existence of infinitely many W1,∞-weak solutions for the one-dimensional version of the Perona-Malik model ut=(σ(ux))x, where σ(s)=s/(1+s2). The result was established for all non-constant smooth initial value u0 under the homogeneous Neumann condition. This result is not only the first nontrivial existence result for the above problem, but also an instability result concerning possible numerical schemes.

An important tool for solving partial differential inclusion systems such as the Peronal-Malik equation is the so-called `controlled L convergence implies almost everywhere convergence for gradient' principle for Lipschiz mappings developed by Muller-Sychev, and Kirchheim. I found a natural generalization of this principle to a be applicable for mappings in BV∩ L in order to solve partial differential inclusion problems for unbounded sets [Z05c].

11. Compensated convexity and its applications. In [Z07b], I introduced the notions of lower and upper quadratic compensated convex transforms Cl2,λ(f) and Cu2(f) respectively and the mixed transforms by composition of these transforms for a given function f:RnR and for possibly large λ>0. I studied general properties of such transforms, including the so-called `tight' approximation of Cl2(f) to f as λ→ +∞ and compare our transforms with the well-known Moreau-Yosida regularization (Moreau envelope) and the Lasry-Lions regularization. I also studied analytic and geometric properties for both the quadratic lower transform Cl2( dist2(x,K)) of the squared-distance function to a compact set K and the quadratic upper transform Cu2(f) for any convex function f of at most quadratic growth. I showed that both Cl2( dist2(x,K)) and Cu2(f) are C1,1 approximations of the original functions for large λ>0 and Cu2(f) remains convex. Explicitly calculated examples of quadratic transforms were given, including the the lower transform of squared distance function to a finite set and upper transform for some non-smooth convex functions in mathematical programming.

Future Research

Further development of geometric methods for image processing and geometric shape analysis. Applications to engineering and medical imaging and geosciences.

Partial differential equation methods for image processing.

  • KEWEI ZHANG, ELAINE CROOKS and ANTONIO ORLANDO, 2016. Compensated convex transforms and geometric singularity extraction from semiconvex functions SCIENTIA SINICA Mathematica: Chinese Version. 46(5), 747-768
  • KEWEI ZHANG, ELAINE CROOKS and ANTONIO ORLANDO, 2016. Compensated Convexity Methods for Approximations and Interpolations of Sampled Functions in Euclidean Spaces: Theoretical Foundations SIAM Journal on Mathematical Analysis. 48(6), 4126–4154
  • KEWEI ZHANG, ANTONIO ORLANDO and ELAINE CROOKS, 2015. Compensated convexity and Hausdorff stable geometric singularity extractions Mathematical Models and Methods in Applied Sciences. 25(4), 747-801
  • KEWEI ZHANG, ANTONIO ORLANDO and ELAINE CROOKS, 2015. Compensated convexity and Hausdorff stable extraction of intersections for smooth manifolds Mathematical Models and Methods in Applied Sciences. 25(5), 839-873
  • KEWEI ZHANG, ELAINE CROOKS and ANTONIO ORLANDO, 2015. Compensated Convexity, Multiscale Medial Axis Maps and Sharp Regularity of the Squared Distance Function SIAM Journal on Mathematical Analysis. 47(6), 4289–4331
  • DOLZMANN, G., KRISTENSEN, J. and ZHANG, K., 2013. BMO and uniform estimates for multi-well problems Manuscripta Mathematica. 140(1-2), 83-114
  • Y. CHEN and Z. WANG, 2013. Approximations for modulus of gradients and their applications to neighborhood filters Front. Math. China. 8(4), 761–782
  • ZHANG, K., 2011. On coercivity and regularity for linear elliptic systems Calculus of Variations and Partial Differential Equations. 40(1-2), 65-97
  • ZHANG, K., 2010. On universal coercivity in linear elasticity SIAM Journal on Mathematical Analysis. 42(1), 298-322
  • ZHANG, K., 2008. Compensated convexity and its applications Annales de l'Institut Henri Poincare (C) Non Linear Analysis. 25(4), 743--771
  • K. ZHANG, 2008. On non-negative quasiconvex functions with quasimonotone gradients and prescribed zero sets Discrete Contin. Dyn. Syst.. 21, 353-366
  • K. ZHANG, 2008. On coercivity and irregularity for somenonlinear degenerate elliptic systems Front. Math. China. 3, 599-642
  • K. ZHANG, 2008. Convex analysis based smooth approximations ofmaximum functions and squared-distance functions J. Nonl. Convex Anal.. 9, 379-406
  • K. ZHANG, 2007. On the principle of controlled $L^infty$ convergence implies almosteverywhere convergence of gradients Comm. in Contemporary Math.. 9, 21-30
  • Q. TANG, K. ZHANG, 2007. An evolutionary double-well problem Ann. Inst. H. Poincar'e Anal. Non Lin'eaire. 24, 341-359
  • K. ZHANG, 2006. On existence of weak solutions for one-dimensional forward-backward diffusion equations J. Diff. Eqns.. 220, 322-353
  • K. ZHANG, 2006. Existence of infinitely many solutions forthe one-dimensional Perona-Malik model Calc. Var. PDEs. 26, 171-199
  • S. TAHERI, Q. TANG, K. ZHANG, 2005. Young measure solutions and instability of theone-dimensional Perona-Malik equation J. Math. Anal. Appl.. 308, 467-490
  • K. ZHANG, 2004. Quasiconvex functions on subspaces and boundaries of quasiconvex sets Proc. R. Soc. Edin.. 134A, 783-799
  • K. ZHANG, 2004. Isolated microstructures on linear elasticstrains Proc. R. Soc. Lond.. 460A, 2993-3011
  • K. ZHANG, 2003. On the equal hull problem for nontrivialsemiconvex hulls J. Convex Anal.. 10, 409-417
  • K. ZHANG, 2003. Seperation of gradient Young measures and the BMO Proc. CMA, the ANU. 41, 161-169
  • J. FENG, K. ZHANG, Y. LUO, 2003. A study on anoptimal movement model J. Phys. A.. 36, 7469-7484
  • K. ZHANG, 2003. On separation of gradient Young measures Calc. of Var. PDEs. 17, 85-103
  • K. ZHANG, 2003. The structure of rank-one convex quadratic forms onlinear elastic strains Proc. R. Soc. Edin.. 133A, 213-224
  • K. ZHANG, 2002. On some semiconvex envelopes in the calculus of variations NoDEA - Nonl. Diff. Eqns. Appl.. 19, 37-44
  • K. ZHANG, 2002. Mountain pass solutions for a double-well energy J. Diff. Eqns. 182, 490-510
  • K. ZHANG, 2002. A bilinear inequality J. Math. Anal. Appl.. 271, 288-296
  • J. FENG, K. ZHANG, G. WEI, 2002. Towards amathematical foundation of minimum-variance theory J. Phys.A. 35, 7287-7304
  • K. ZHANG, 2001. A two-well structure and intrinsic mountain pass points Calc. of Var. PDEs. 13, 231-264
  • K. ZHANG, 2001. On the quasiconvex exposed points ESAIM Control Optim. Calc. Var.. 6, 1-19
  • K. ZHANG, 2001. Maximal extension for linear spaces of realmatrices with large rank Proc. Royal Soc. Edin.. 131A, 1481-1491
  • K. ZHANG, 2000. Some constancy results for harmonic maps from non-contractible domains into spheres Electron. J.Diff. Eqns. 45, 1-13
  • I. BARNES, K. ZHANG, 2000. Instability of the eikonal equation and shape from shading M2AN Math. Model. Numer. Anal.. 34, 127-138
  • E. N. DANCER, K. ZHANG, 2000. Uniqueness of solutions forsome elliptic equations and systems in nearly star-shaped domains Nonl. Anal. TMA. 41, 745-761
  • J. HOGAN, C. LI, A. MCINTOSH, K. ZHANG, 2000. Global higher integrability of Jacobians on bounded domains Ann. Inst. H. Poincar'e Anal. Non Lin'eaire. 17, 193-217
  • K. ZHANG, 1999. sl On various semiconvex relaxations of the squared-distance function Proc. Roy. Soc.Edin.. 129A, 1309-1323
  • K. ZHANG, 1998. sl On the structure of quasiconvex hulls Ann.Inst. H. Poincar'e - Analyse Non lineaire. 15, 663-686
  • K. ZHANG, 1998. sl On various semiconvex hulls in the calculus ofvariations Cal. of Var. and PDEs. 6, 143-160
  • K. ZHANG, 1997. sl On non-negative quasiconvex functions withunbounded zero Sets Proc. Royal Soc. Edin.. 127A, 411-422
  • K. ZHANG, 1997. sl On connected subsets of $M^2times 2$ withoutrank-one connections Proc. Royal Soc. Edin.. 127A, 207-216
  • K. ZHANG, 1997. sl Quasiconvex functions, $SO(n)$ and two elasticwells Ann. Inst. H. Poincar'e - Analyse Non lineaire. 14, 759-785
  • K. ZHANG, 1997. sl Stability of the elastic energy in star-shapedDomains Quarterly J. Mech. Appl. Math.. 50, 427-433
  • C. LI, A. MCINTOSH, Z.-J. WU, K. ZHANG, 1997. sl Compensated compactness, Hardy spaces and paracommutators J. Functional Anal.. 150, 289-306
  • J. CHABROWSKI, K. ZHANG, 1994. sl On shape fromshading problem in Functional Analysis, ApproximationTheory, and Numerical Analysis, dedicated to S. Banach, S. Ulamand A. Ostrowski. 1, 93-106
  • J. CHABROWSKI, K. ZHANG, 1993. sl On variationalapproach to photometric stereo Ann. Inst. H. Poincar'e -Analyse Non lineaire. 10, 363-375
  • K. ZHANG, 1992. sl A construction of quasiconvex functions withlinear growth at infinity Ann. Sc. Norm. Sup. Pisa - ClasseScienze, Serie IV. 19, 313-326
  • K. ZHANG, 1991. sl Energy minimizers in nonlinear elastostatics andthe implicit function theorem Arch. Rational Mech. Anal.. 114, 95-117
  • K. ZHANG, 1990. Biting theorems for Jacobians and theirapplications Ann. Inst. H. Poincar'e- AnalyseNon lineaire. 7, 345-365
  • J. M. BALL, K. ZHANG, 1990. Lower semicontinuityof multiple integrals and the biting lemma Proc. RoyalSoc. Edin.. 114A, 367-379
  • K. ZHANG, 1990. Polyconvexity and stability of equilibria innonlinear elasticity Quarterly J. Mech. Appl. Math.. 43, 215-221
  • K. ZHANG, 1989. A counterexample in the theory of coercivenessfor elliptic systems J. PDEs. 2, 79-82
  • K. ZHANG, 1989. A further comment on the coerciveness forelliptic systems J. PDEs. 2, 62-66
  • K. ZHANG, 1988. Nash point equilibria for variational integrals;I-existence results Acta Math. Sinica, New series. 2, 155-176
  • K. ZHANG, 1986. On the existence of unbounded connected branchesof solution sets of a class of semilinear operator equations Bull. Soc. Math. Belg. S'er. B. 38, 14-30

School of Mathematical Sciences

The University of Nottingham
University Park
Nottingham, NG7 2RD

For all enquiries please visit:
www.nottingham.ac.uk/enquire