Abstract
In this chapter we are concerned with variational methods in image analysis. Special attention is paid on free discontinuity approaches of Mumford Shah type and their application in segmentation, matching and motion analysis. We study combined approaches, where one simultaneously relaxes a functional with respect to multiple unknowns. Examples are the simultaneous extraction of edges in two different images for joint image segmentation and image registration or the joint estimation of motion, moving object, and object intensity map. In these approaches the identification of one of the unknowns improves the capability to extract the other as well. Hence, combined methods turn out to be very powerful approaches. Indeed, fundamental tasks in image processing are highly interdependent: Registration of image morphology significantly benefits from previous denoising and structure segmentation. On the other hand, combined information of different image modalities makes shape segmentation significantly more robust. Furthermore, robustness in motion extraction of shapes can be significantly enhanced via a coupling with the detection of edge surfaces in space time and a corresponding feature sensitive space time smoothing. Furthermore, one of the key tools throughout most of the methods to be presented is nonlinear elasticity based on hyperelastic and polyconvex energy functionals. Based on first principles from continuum mechanics this allows a flexible description of shape correspondences and in many cases enables to establish existence results and one-to-one mapping properties. Numerical experiments underline the robustness of the presented methods and show applications on medical images and biological experimental data. This chapter is based on a couple of recent articles (Bar et al., A variational framework for simultaneous motion estimation and restoration of motion-blurred video, 2007; Litke et al., An image processing approach to surface matching, 2005; Droske et al., Comput. Vis. Sci. Online First, 2008; Droske and Rumpf, SIAM Appl Math 64(2):668–687, 2004; Droske and Rumpf, IEEE Trans Pattern Anal Mach Intell 29(12):2181–2194, 2007; Rumpf and Wirth, SIAM J Imag Sci, 2008) published by the author together with Leah Bar, Benjamin Berkels, Marc Droske, Nathan Litke, Wolfgang Ring, Guillermo Sapiro, Peter Schröder, and Benedikt Wirth.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
L. Alvarez, F. Guichard, P.-L. Lions, J.-M. Morel, Axioms and fundamental equations of image processing. Arch. Ration. Mech. Anal. 123(3), 199–257 (1993)
L. Ambrosio, V.M. Tortorelli, Approximation of functionals depending on jumps by elliptic functionals via Γ-convergence. Comm. Pure Appl. Math. 43, 999–1036 (1990)
L. Ambrosio, V.M. Tortorelli, On the approximation of free discontinuity problems. Boll. dell’Unione Matematica Ital. Sez. B 6(7), 105–123 (1992)
L. Ambrosio, N. Fusco, D. Pallara, Functions of Bounded Variation and Free Discontinuity Problems. Oxford Mathematical Monographs (Oxford University Press, New York, 2000)
T.J. Baker, Three dimensional mesh generation by triangulation of arbitrary point sets, in 8th Computational Fluid Dynamics Conference, vol. 1124-CP, Honolulu, 9–11 June 1987, pp. 255–271
J.M. Ball, Convexity conditions and existence theorems in nonlinear elasticity. Arch. Ration. Mech. Anal. 63, 337–403 (1977)
J.M. Ball, Global invertibility of Sobolev functions and the interpenetration of matter. Proc. R. Soc. Edinb. 88A, 315–328 (1988)
L. Bar, B. Berkels, M. Rumpf, G. Sapiro, A variational framework for simultaneous motion estimation and restoration of motion-blurred video, in Eleventh IEEE International Conference on Computer Vision (ICCV’07) (2007)
K.K. Bhatia, J.V. Hajnal, B.K. Puri, A.D. Edwards, D. Rueckert, Consistent groupwise non–rigid registration for atlas construction, in IEEE International Symposium on Biomedical Imaging: Nano to Macro, vol. 1 (2004), pp. 908–911
B. Bourdin, Image segmentation with a finite element method. Technical Report Nr. 00-14, Institut Galilée Université Paris Nord, UCLA CAM, 2000; Article: Math. Model. Numer. Anal. 33(2), 229–244 (1999)
M. Bro-Nielsen, C. Gramkow, Fast Fluid Registration of Medical Images (Springer, Berlin, 1996), pp. 267–276
L.G. Brown, A survey of image registration techniques. ACM Comput. Surv. 24(4), 325–376 (1992)
T. Chan, L. Vese, An active contour model without edges, in Scale-Space Theories in Computer Vision. Second International Conference, Scale-Space ’99, Corfu, Greece, September 1999, ed. by M. Nielsen, P. Johansen, O.F. Olsen, J. Weickert. Lecture Notes in Computer Science, vol. 1682 (Springer, New York, 1999), pp. 141–151
G. Charpiat, O. Faugeras, R. Keriven, P. Maurel, Distance-based shape statistics, in Acoustics, Speech and Signal Processing, 2006 (ICASSP 2006), vol. 5 (2006). doi: 10.1109/ICASSP.2006.1661428
G. Charpiat, O. Faugeras, R. Keriven, Approximations of shape metrics and application to shape warping and empirical shape statistics. Found. Comut. Math. 5(1), 1–58 (2005)
G.E. Christensen, S.C. Joshi, M.I. Miller, Volumetric transformations of brain anatomy. IEEE Trans. Med. Imag. 16(6), 864–877 (1997)
G.E. Christensen, R.D. Rabbitt, M.I. Miller, A deformable neuroanatomy textbook based on viscous fluid mechanics, in Proceedings of the 27th Annual Conference Information Science and Systems, ed. by J. Prince, T. Runolfsson (1993), pp. 211–216. doi: 10.1109/ICASSP.2006.1661428
G.E. Christensen, M.I. Miller, R.D. Rabbitt, Deformable templates using large deformation kinematics. IEEE Trans. Image Process. 5(10), 1435–1447 (1996)
P.G. Ciarlet, Three-Dimensional Elasticity (Elsevier, Amsterdam, 1988)
P.G. Ciarlet, J. Nečas, Injectivity and self-contact in nonlinear elasticity. Arch. Ration. Mech. Anal. 97(3), 171–188 (1987)
U. Clarenz, M. Droske, M. Rumpf, Towards fast non–rigid registration, in Inverse Problems, Image Analysis and Medical Imaging, AMS Special Session Interaction of Inverse Problems and Image Analysis, vol. 313 (American Mathematical Society, Providence, 2002), pp. 67–84
U. Clarenz, N. Litke, M. Rumpf, Axioms and variational problems in surface parameterization. Comput. Aided Geom. Des. 21(8), 727–749 (2004)
T.F. Cootes, C.J. Taylor, D.H. Cooper, J. Graham, Active shape models—their training and application. Comput. Vis. Image Underst. 61(1), 38–59 (1995)
D. Cremers, S. Soatto, Motion competition: a variational approach to piecewise parametric motion segmentation. Int. J. Comput. Vis. 85(1), 115–132 (2004)
B. Dacorogna, Direct Methods in the Calculus of Variations (Springer, New York, 1989)
C.A. Davatzikos, R.N. Bryan, J.L. Prince, Image registration based on boundary mapping. IEEE Trans. Med. Imag. 15(1), 112–115 (1996)
M.C. Delfour, J.P. Zolésio, Geometries and Shapes: Analysis, Differential Calculus and Optimization. Advances in Design and Control, vol. 4 (SIAM, Philadelphia, 2001)
M. Droske, W. Ring, A Mumford-Shah level-set approach for geometric image registration. SIAM Appl. Math. (2008, to appear)
M. Droske, M. Rumpf, A variational approach to non-rigid morphological registration. SIAM J. Appl. Math. 66, 2127–2148 (electronic) (2006). doi:10.1137/050630209. http://dx.doi.org/10.1137/050630209
M. Droske, M. Rumpf, Multi scale joint segmentation and registration of image morphology. IEEE Trans. Pattern Anal. Mach. Intell. 29(12), 2181–2194 (2007)
M. Droske, W. Ring, M. Rumpf, Mumford-Shah based registration: a comparison of a level set and a phase field approach. Comput. Vis. Sci. Online First (2008)
P. Favaro, S. Soatto, A variational approach to scene reconstruction and image segmentation from motion-blur cues, in 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR’04), vol. 1 (2004), pp. 631–637
O. Féron, A. Mohammad-Djafari, Image fusion and unsupervised joint segmentation using a HMM and MCMC algorithms. J. Electron. Imag. 023014-1, 023014-12 (2005)
T. Fletcher, S. Venkatasubramanian, S. Joshi, Robust statistics on Riemannian manifolds via the geometric median, in IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (IEEE, New York, 2008)
I. Fonseca, S. Müller, Quasi-convex integrands and lower semicontinuity in L 1. SIAM J. Math. Anal. 23(5), 1081–1098 (1992)
M. Fuchs, B. Jüttler, O. Scherzer, H. Yang, Shape metrics based on elastic deformations. Forschungsschwerpunkt S92, Industrial Geometry 71, Universität Innsbruck, Innsbruck, 2008
E. Grinspun, A.H. Hirani, M. Desbrun, P. Schröder, Discrete shells, in Eurographics/SIGGRAPH Symposium on Computer Animation (Eurographics Association, 2003)
X. Gu, B.C. Vemuri, Matching 3D shapes using 2D conformal representations, in Medical Image Computing and Computer-Assisted Intervention 2004. Lecture Notes in Computer Science, vol. 3216 (2004), pp.771–780
W. Hackbusch, S.A. Sauter, Composite finite elements for problems containing small geometric details. Part II: implementation and numerical results. Comput. Vis. Sci. 1(1), 15–25 (1997)
W. Hackbusch, S.A. Sauter, Composite finite elements for the approximation of PDEs on domains with complicated micro-structures. Numer. Math. 75, 447–472 (1997)
W. Hackbusch, Iterative Solution of Large Sparse Systems of Equations. Applied Mathematical Sciences, vol. 95 (Springer, New York, 1994)
M. Hintermüller, W. Ring, An inexact Newton-cg-type active contour approach for the minimization of the Mumford-Shah functional. J. Math. Imag. Vis. 20(1–2), 19–42 (2004)
S. Joshi, B. Davis, M. Jomier, G. Gerig, Unbiased diffeomorphic atlas construction for computational anatomy. NeuroImage 23(Suppl. 1), S151–S160 (2004)
T. Kapur, L. Yezzi, L. Zöllei, A variational framework for joint segmentation and registration. IEEE CVPR - Mathematical Methods in Biomedical Image Analysis (IEEE, New York, 2001), pp. 44–51
S.L. Keeling, W. Ring, Medical image registration and interpolation by optical flow with maximal rigidity. J. Math. Imag. Vis. 23(1), 47–65 (2005)
D.G. Kendall, Shape manifolds, procrustean metrics, and complex projective spaces. Bull. Lond. Math. Soc. 16, 81–121 (1984)
V. Kraevoy, A. Sheffer, Cross-parameterization and compatible remeshing of 3D models. ACM Trans. Graph. 23(3), 861–869 (2004)
A. Lee, D. Dobkin, W. Sweldens, P. Schröder, Multiresolution mesh morphing, in Proceedings of SIGGRAPH 99. Computer Graphics Proceedings, Annual Conference Series, August 1999, pp. 343–350
N. Litke, M. Droske, M. Rumpf, P. Schröder, An image processing approach to surface matching, in Third Eurographics Symposium on Geometry Processing, ed. by M. Desbrun, H. Pottmann (2005), pp. 207–216
J.E. Marsden, T.J.R. Hughes, Mathematical Foundations of Elasticity (Prentice-Hall, Englewood Cliffs, 1983)
M.I. Miller, L. Younes, Group actions, homeomorphisms and matching: a general framework. Int. J. Comput. Vis. 41(1–2), 61–84 (2001)
M.I. Miller, A. Trouvé, L. Younes, On the metrics and Euler-Lagrange equations of computational anatomy. Annu. Rev. Biomed. Eng. 4, 375–405 (2002)
J.M. Morel, S. Solimini, Variational Models in Image Segmentation (Birkäuser, Basel, 1994)
C. Morrey, Quasi-convexity and lower semicontinuity of multiple integrals. Pac. J. Math. 2, 25–53 (1952)
C. Morrey, Multiple Integrals in the Calculus of Variations. Grundlehren der mathematischen Wissenschaften, vol.130 (Springer, New-York, 1966)
D. Mumford, J. Shah, Optimal approximation by piecewise smooth functions and associated variational problems. Comm. Pure Appl. Math. 42, 577–685 (1989)
R.W. Ogden, Non-Linear Elastic Deformations (Wiley, London, 1984)
S.J. Osher, N. Paragios, Geometric Level Set Methods in Imaging, Vision and Graphics (Springer, New York, 2003)
S.J. Osher, J.A. Sethian, Fronts propagating with curvature dependent speed: algorithms based on Hamilton–Jacobi formulations. J. Comput. Phys. 79, 12–49 (1988)
E. Praun, W. Sweldens, P. Schröder, Consistent mesh parameterizations. In Proceedings of ACM SIGGRAPH 2001. Computer Graphics Proceedings, Annual Conference Series, August 2001, pp. 179–184
L. Rudin, S. Osher, E. Fatemi, Nonlinear total variation based noise removal algorithms. Physica D 60, 259–268 (1992)
D. Rueckert, A.F. Frangi, J.A. Schnabel, Automatic construction of 3D statistical deformation models using nonrigid registration, in Medical Image Computing and Computer-Assisted Intervention (MICCAI), ed. by W. Niessen, M. Viergever. Lecture Notes in Computer Science, vol. 2208 (2001), pp. 77–84
M. Rumpf, B. Wirth, A nonlinear elastic shape averaging approach. SIAM J. Imag. Sci. 2, 800–833. doi:10.1137/080738337
G. Sapiro, Geometric Partial Differential Equations and Image Analysis (Cambridge University Press, Cambridge, 2001)
J. Schreiner, A. Asirvatham, E. Praun, H. Hoppe, Inter-surface mapping. ACM Trans. Graph. 23(3), 870–877 (2004)
J. Sokołowski, J.-P. Zolésio, Introduction to Shape Optimization. Shape Sensitivity Analysis (Springer, Berlin, 1992)
P.A. van den Elsen, E.-J.J. Pol, M.A. Viergever, Medical image matching: a review with classification. IEEE Eng. Med. Biol. 12, 26–39 (1993)
V. Šverák, Regularity properties of deformations with finite energy. Arch. Ration. Mech. Anal. 100, 105–127 (1988)
P.P. Wyatt, J.A. Noble, MAP MRF joint segmentation and registration, in Medical Image Computing and Computer–Assisted Intervention (MICCAI), ed. by T. Dohi, R. Kikinis. Lecture Notes in Computer Science, vol. 2488 (2002), pp. 580–587
A. Yezzi, L. Zöllei, T. Kapur, A variational framework for integrating segmentation and registration through active contours. Med. Image Anal. 7(2), 171–185 (2003)
Y.-N. Young, D. Levy, Registration-based morphing of active contours for segmentation of ct scans. Math. Biosci. Eng. 2(1), 79–96 (2005)
Acknowledgements
The author is grateful to Werner Bautz, radiology department at the university hospital Erlangen, Germany, for providing CT data of kidneys, as well as to Heiko Schlarb from Adidas, Herzogenaurach, Germany, for providing 3D scans of feet, and to Bruno Wirth, urology department at the Hospital zum Hl. Geist, Kempen, Germany, for providing thorax CT scans. Furthermore, the author thanks Stan Osher for pointing to the issue of elastic shape averaging and Marc Droske for discussion about the phase field approach. Finally, he acknowledges Helene Horn for her help in the careful preparation of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Rumpf, M. (2013). Variational Methods in Image Matching and Motion Extraction. In: Level Set and PDE Based Reconstruction Methods in Imaging. Lecture Notes in Mathematics(), vol 2090. Springer, Cham. https://doi.org/10.1007/978-3-319-01712-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-01712-9_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-01711-2
Online ISBN: 978-3-319-01712-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)