Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
97 tokens/sec
GPT-4o
53 tokens/sec
Gemini 2.5 Pro Pro
43 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
47 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

A mathematical study of joint image reconstruction and motion estimation using optimal control (2310.13635v1)

Published 20 Oct 2023 in math.OC, cs.NA, math.NA, and physics.med-ph

Abstract: Spatiotemporal dynamic medical imaging is critical in clinical applications, such as tomographic imaging of the heart or lung. To address such kind of spatiotemporal imaging problems, essentially, a time-dependent dynamic inverse problem, the variational model with intensity, edge feature and topology preservations was proposed for joint image reconstruction and motion estimation in the previous paper [C. Chen, B. Gris, and O. \"Oktem, SIAM J. Imaging Sci., 12 (2019), pp. 1686--1719], which is suitable to invert the time-dependent sparse sampling data for the motion target with large diffeomorphic deformations. However, the existence of solution to the model has not been given yet. In order to preserve its topological structure and edge feature of the motion target, the unknown velocity field in the model is restricted into the admissible Hilbert space, and the unknown template image is modeled in the space of bounded variation functions. Under this framework, this paper analyzes and proves the solution existence of its time-discretized version from the point view of optimal control. Specifically, there exists a constraint of transport equation in the equivalent optimal control model. We rigorously demonstrate the closure of the equation, including the solution existence and uniqueness, the stability of the associated nonlinear solution operator, and the convergence. Finally, the solution existence of that model can be concluded.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (61)
  1. L. Ambrosio. Functions of Bounded Variation and Free Discontinuity Problems. Oxford Science Publications, 2000.
  2. L. Ambrosio. Transport equation and Cauchy problem for BV vector fields. Inventiones Mathematicae, 158(2):227–260, 2004.
  3. Transport Equations and Multi-D Hyperbolic Conservation Laws, volume 5. Springer, 2008.
  4. Introduzione alla Teoria della Misura ed alla Probabilita. Lecture notes of a course given at the Scuola Normale Superiore, unpublished.
  5. Computing Optical Flow via Variational Techniques. SIAM Journal on Applied Mathematics, 60(1):156–182, 1999.
  6. G. Aubert and P. Kornprobst. A Mathematical Study of the Relaxed Optical Flow Problem in the Space BV(Ω). SIAM Journal on Mathematical Analysis, 30(6):1282–1308, 1999.
  7. G. Aubert and P. Kornprobst. Mathematical Problems in Image Processing: Partial Differential Equations and the Calculus of Variations, volume 147. Springer, 2006.
  8. Computing Large Deformation Metric Mappings via Geodesic Flows of Diffeomorphisms. International Journal of Computer Vision, 61:139–157, 2005.
  9. Joint reconstruction of image and motion in gated positron emission tomography. IEEE Trans Med. Imaging, 29(11):1892–1906, 2010.
  10. Joint image and motion reconstruction for PET using a B-spline motion model. Phys. Med. Biol, 57(24):8249–8270, 2012.
  11. Optimal Control Formulation for Determining Optical Flow. SIAM Journal on Scientific Computing, 24(3):818–847, 2003.
  12. Artifact-resistant motion estimation with a patient-specific artifact model for motion-compensated cone-beam CT. Med. Phys., 40(10):101913, 2013.
  13. Self-adapting cyclic registration for motion-compensated cone-beam CT in image-guided radiation therapy. Med. Phys., 39(12):7603–7618, 2012.
  14. Cardiorespiratory motion-compensated micro-CT image reconstruction using an artifact model-based motion estimation. Med. Phys., 42(4):1948–1958, 2015.
  15. M. Bruveris and D. D. Holm. Geometry of Image Registration: The Diffeomorphism Group and Momentum Maps. Geometry, Mechanics, and Dynamics: The Legacy of Jerry Marsden, pages 19–56, 2015.
  16. A Variational Model for Joint Motion Estimation and Image Reconstruction. SIAM Journal on Imaging Sciences, 11(1):94–128, 2018.
  17. C. Chen. Spatiotemporal imaging with diffeomorphic optimal transportation. Inverse Problems, 37(11):115004, 2021.
  18. A New Variational Model for Joint Image Reconstruction and Motion Estimation in Spatiotemporal Imaging. SIAM Journal on Imaging Sciences, 12(4):1686–1719, 2019.
  19. C. Chen and O. Öktem. Indirect Image Registration with Large Diffeomorphic Deformations. SIAM Journal on Imaging Sciences, 11(1):575–617, 2018.
  20. K. Chen and D. A. Lorenz. Image Sequence Interpolation Using Optimal Control. Journal of Mathematical Imaging and Vision, 41:222–238, 2011.
  21. G. Crippa. The flow associated to weakly differentiable vector fields. PhD thesis, University of Zürich, 2008.
  22. Initial–boundary value problems for continuity equations with BV coefficients. Journal de Mathématiques Pures et Appliquées, 102(1):79–98, 2014.
  23. A note on the intitial-boundary value problem for continuity equations with rough coefficients. HYP 2012 Conference Proceedings, AIMS Series in Appl. Math., 8:957–966, 2014.
  24. Ordinary differential equations, transport theory and Sobolev spaces. Inventiones Mathematicae, 98(3):511–547, 1989.
  25. H. Dirks. Variational Methods for Joint Motion Estimation and Image Reconstruction. PhD thesis, Universitäts-und Landesbibliothek Münster, 2015.
  26. Variational problems on flows of diffeomorphisms for image matching. Quarterly of Applied Mathematics, pages 587–600, 1998.
  27. L. C. Evans. Partial Differential Equations, volume 19. American Mathematical Society, 2022.
  28. Measure Theory and Fine Properties of Functions. CRC Press, 2015.
  29. E. Francois and P. Bouthemy. The derivation of qualitative information in motion analysis. In O.D. Faugeras, editor. In Proceedings of the 1st European Conference on Computer Vision, Antibes, France, pages 226–230. Springer, Berlin, Heidelberg, April 1990.
  30. Motion Correction in Thoracic Positron Emission Tomography. Springer, 2015.
  31. U. Grenander and M. I. Miller. Pattern Theory: From representation to inference. OUP Oxford, 2006.
  32. Image reconstruction through metamorphosis. Inverse Problems, 36(2):025001, 2020.
  33. B. Hahn. Motion compensation strategies in tomography. Time-Dependent Problems in Imaging and Parameter Identification, pages 51–83, 2021.
  34. Spatiotemporal imaging with partially separable functions: A matrix recovery approach. In 2010 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, pages 716–719. IEEE, 2010.
  35. Optimization with PDE Constraints, volume 23. Springer Science & Business Media, 2008.
  36. Determining optical flow. Artificial Intelligence, 17(1-3):185–203, 1981.
  37. Matrix Analysis. Cambridge University Press, 2012.
  38. Dynamic MRI reconstruction with motion-guided network. In International Conference on Medical Imaging with Deep Learning, pages 275–284. PMLR, 2019.
  39. P. Jarde and M. Ulbrich. Existence of minimizers for optical flow based optimal control problems under mild regularity assumptions. Control and Cybernetics, 48(2):261–306, 2019.
  40. P. P. Jarde. Analysis of optimal control problems for the optical flow equation under mild regularity assumptions. PhD thesis, Technische Universität München, 2018.
  41. Time-dependent Problems in Imaging and Parameter Identification. Springer, 2021.
  42. P. Kornprobst. Contribution à la restauration d’images et à l’analyse de séquences: Approches variationnelles et solutions de viscosité. PhD thesis, Éditeur Inconnu, 1998.
  43. J. L. Lions. Optimal Control of Systems Governed by Partial Differential Equations, volume 170. Springer, 1971.
  44. 5D respiratory motion model based image reconstruction algorithm for 4D cone-beam computed tomography. Inverse Problems, 31(11):115007, 2015.
  45. Novel breathing motion model for radiotherapy. Int. J. Radiat. Oncol. Biol. Phys., 63(3):921–929, 2005.
  46. Hamiltonian Systems and Optimal Control in Computational Anatomy: 100 Years Since d’arcy thompson. Annual Review of Biomedical Engineering, 17:447–509, 2015.
  47. F. Natterer. The Mathematics of Computerized Tomography. SIAM, 2001.
  48. Shape-based image reconstruction using linearized deformations. Inverse Problems, 33(3):035004, 2017.
  49. Four-Dimensional Image Reconstruction Strategies in Cardiac-Gated and Respiratory-Gated PET Imaging. PET Clinics, 8(1):51–67, 2013.
  50. Nonlinear total variation based noise removal algorithms. Physica D: Nonlinear Phenomena, 60(1-4):259–268, 1992.
  51. C. Schnörr. Determining optical flow for irregular domains by minimizing quadratic functionals of a certain class. International Journal of Computer Vision, 6(1):25–38, 1991.
  52. Implications of respiratory motion for the quantification of 2D MR spectroscopic imaging data in the abdomen. Phys. Med. Biol., 45(8):2105, 2000.
  53. A fully four-dimensional, iterative motion estimation and compensation method for cardiac CT. Med. Phys., 39(7Part1):4291–4305, 2012.
  54. R. Temam and A. Miranville. Mathematical Modeling in Continuum Mechanics. Cambridge University Press, 2005.
  55. J. A. Thomson. On Growth and Form. Nature, 100(2498):21–22, 1917.
  56. A. Trouvé. Diffeomorphisms Groups and Pattern Matching in Image Analysis. International Journal of Computer Vision, 28:213–221, 1998.
  57. A. Trouvé and L. Younes. Shape Spaces. In Handbook of Mathematical Methods in Imaging, pages 1309–1362. Springer, 2011.
  58. L. W. Tu. Manifolds. In An Introduction to Manifolds, pages 47–83. Springer, 2011.
  59. F.-X. Vialard. Hamiltonian Approach to Shape Spaces in a Diffeomorphic Framework: From the Discontinuous Image Matching Problem to a Stochastic Growth Model. PhD thesis, École normale supérieure de Cachan-ENS Cachan, Centre de Mathématiques et de Leurs Applications, 2009.
  60. Cardiac motion of coronary arteries: variability in the rest period and implications for coronary MR angiography. Radiology, 213(3):751–758, 1999.
  61. L. Younes. Shapes and Diffeomorphisms, volume 171. Springer, 2010.
User Edit Pencil Streamline Icon: https://streamlinehq.com
Authors (2)
  1. Zhentong Wei (1 paper)
  2. Chong Chen (122 papers)

Summary

We haven't generated a summary for this paper yet.