{"entities":{"Q665016":{"pageid":666865,"ns":120,"title":"Item:Q665016","lastrevid":57131142,"modified":"2026-03-26T17:44:57Z","type":"item","id":"Q665016","labels":{"en":{"language":"en","value":"Reconstructions from boundary measurements on admissible manifolds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6011857"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665016$788EA489-5DD2-4DD8-BDC6-565359824C90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80f7348ece154767cf868502317e0edb4f497a58","datavalue":{"value":{"text":"Reconstructions from boundary measurements on admissible manifolds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q665016$91F478C2-4229-407E-AFE1-FCC49B7491FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d6589c80832a9a8317690165649c017c1d04377","datavalue":{"value":"1237.35160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665016$1A0AD85C-CAB1-4BF6-9F89-C6C66E4B8184","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca06c5f5530d5de1c3d769336068d324bee98a53","datavalue":{"value":{"entity-type":"item","numeric-id":273193,"id":"Q273193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665016$F5E04F81-1DAA-4953-BB75-55F51A620C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c31fef241d98fa03f6bae39a231a71fbbac5fe66","datavalue":{"value":{"entity-type":"item","numeric-id":167796,"id":"Q167796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665016$3B543C2C-B766-4C97-88D8-70C170CD8CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35d6f11f60ec2e8d581faf46360ca2635982e756","datavalue":{"value":{"entity-type":"item","numeric-id":170824,"id":"Q170824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665016$4C488B20-6426-468C-B32E-B2167FA429B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ee714326b38f4570d00db9fce165e747cec82ea","datavalue":{"value":{"entity-type":"item","numeric-id":254776,"id":"Q254776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665016$752C28C1-B7C3-4F6C-8AFC-1420771D6C22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1c9a82d1ebbc11cd39281212ba1486fbed68665","datavalue":{"value":{"time":"+2012-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q665016$7D15391B-8C84-4E2C-8305-FE3AA3D450E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b215eda75807b5458159c66228291425a8683f20","datavalue":{"value":"https://arxiv.org/abs/1011.0749","type":"string"},"datatype":"url"},"type":"statement","id":"Q665016$27A5BD18-FAA4-4750-B594-D6AC01E50627","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"97e17171dafd6e9d2bf87946aa21f4046c0fd4ba","datavalue":{"value":"Let \\((M, g)\\) be a compact oriented manifold with \\(C^\\infty\\) boundary, and let \\(\\Delta_g\\) be the Laplace-Beltrami operator. Then the Dirichlet-to-Neumann (DN) map \\(\\Lambda_{g,q}: H^{3/2}(\\partial M)\\to H^{1/2}(\\partial M)\\) is defined by \\(\\Lambda_{g,q}f= \\partial_\\nu u|_{\\partial M}\\), where \\(0\\) is not a Dirichlet eigenvalue of \\(-\\Delta_g+ q\\), \\((-\\Delta_g+ q)u= 0\\) and \\(u|_{\\partial M}= f\\). To reconstruct \\(q\\) from the knowledge of \\(\\Delta_{g,q}\\) is a typical example of \\textit{A. P. Calder\u00f3n's} inverse conductivity problem [Comput. Appl. Math. 25, No. 2--3, 133--138 (2006; Zbl 1182.35230)]. In two dimensions, uniqueness and reconstruction for this problem was proved in [\\textit{K. Astala} and \\textit{L. P\u00e4iv\u00e4rinta}, Ann. Math. (2) 163, No. 1, 265--299 (2006; Zbl 1111.35004)]. In three dimensions, assuming \\(M\\) is admissible; i.e., embedded in a cylinder \\(\\mathbb{R}\\times M_0\\) with metric \\(g= c(e\\oplus g_0)\\), where \\(c\\) is a smooth positive function and \\(e\\) is the Euclidean metric on \\(\\mathbb{R}\\), \\textit{D. Dos Santos Ferreira} and the authors proved unique determination of \\(q\\) [Invent. Math. 178, No. 1, 119--171 (2009; Zbl 1181.35327)].  In this paper, the following corresponding reconstruction result is proved.   Thoerem 1.2. Let \\((M,g)\\) be an admissible 3-dimensional manifold. If \\(q\\) is a smooth function on \\(M\\), then from the knowledge of \\(\\Lambda_{g,q}\\), one can constructively determine \\(q\\).   Denoting \\(\\Lambda_{g,0}= \\Lambda_g\\), the following Theorem 1.1 follows from Theorem 1.2.   Theorem 1.1. Let \\((M,g)\\) be an admissible 3-dimensional manifold. If \\(c\\) is a smooth positive function on \\(M\\), then from the knowledge of \\(\\Lambda_{cg}\\), one can constructively determine \\(c\\).   The proof follows the reconstruction procedure of \\textit{A. Nachman} in the case where \\(M\\) is a bounded domain in \\(\\mathbb{R}^n\\) and \\(g\\) is the Euclidean metric [Ann. Math. (2) 128, No. 3, 531--576 (1988; Zbl 0675.35084)]. Nachman's argument relies in a crucial way on a uniqueness notion for complex geometric optics (CGO) solutions (exponentially growing or Faddeev type solution [\\textit{L. D. Faddeev}, Sov. Phys., Dokl. 10 (1965), 1033--1035 (1966); translation from Dokl. Akad. Nauk SSSR 165, 514--517 (1965; Zbl 0147.09404)]). As for CGO solutions, the authors prove that if  \\[ (-\\Delta_g+ q)u= 0,\\text{ in }T= \\mathbb{R}\\times M_0,\\;e^{\\tau x_1}(u- u_0)\\in H^1_{-\\infty,0}(T),\\tag{1} \\]  that is, if \\(u\\) is a CGO solution, then \\(f=u|_\\Gamma\\) satisfies  \\[ (\\text{Id}+\\gamma S_\\tau(\\Lambda_{g,q}- \\Lambda_{g,0})) f= u_0\\text{ on }\\Gamma,\\;f\\in H^{3/2}(\\Gamma).\\tag{2} \\]  Conversely, if \\(f\\) solves (2), then there is a solution of (1) with \\(u|_\\Gamma= f\\) (\\S3. Prop. 2). Here \\(\\gamma: H^1_0(T)\\to H^{1/2}(T)\\); \\(\\gamma u= u|_\\Gamma\\), \\(S_\\tau= K_\\tau\\gamma^*\\), \\(K_\\tau f= e^{-\\tau x_1} G_\\tau(e^{\\tau x_1}f)\\) and \\(G_\\tau\\) is the Green operator of \\(e^{\\tau x_1}(-\\Delta_g) e^{-\\tau x_1}\\). Properties of these operators are explained in \\S2. The authors state that this constitutes the main new part of this paper and prove that (2) is Fredholm (\\(\\gamma S_\\tau(\\Lambda_{g,q}- \\Lambda_{g,0}): H^{3/2}(\\Gamma\\to H^{3/2}(\\Gamma)\\) is compact (\\S3. Prop. 3)).   If \\((-\\Delta_g+ g)u= 0\\) and \\(-\\Delta_g v= 0\\), then the basic integral identity  \\[ \\int_{\\partial M}(\\Lambda_{g,q}- \\Lambda_{g,0})(u|_{\\partial M})\\,vdS= \\int_M quvdV, \\]  is valid [Dos Santos Ferreira et al., loc. cit.]. If \\(u\\), \\(v\\) are CGO solutions, then this left-hand side is known. Because \\(u|_{\\partial M}\\) is obtained from \\(\\Lambda_{g,q}\\) as the unique solution of (2), and \\(v|_{\\partial M}\\) is explicitly given. Taking the \\(\\tau\\to\\infty\\) limit,  \\[ \\int^\\infty_0 e^{-2\\lambda r} f_\\lambda(r,\\theta)\\,dr,\\quad f_\\lambda(\\theta)= \\int^\\infty_{-\\infty} e^{2i\\lambda x_1} q(x_1, r,\\theta)\\,dx_1, \\]  is recovered. Here \\((r,\\theta)\\) are polar normal coordinates in \\(M_0\\) with center on \\(\\partial M_0\\). Since the curves \\(\\gamma: r\\to (r,\\theta)\\) are unit speed geodesics in \\((M_0,g_0)\\), \\(\\int_\\gamma e^{-2\\lambda r}f_\\lambda(\\gamma)\\,dr\\) is recovered for any maximal geodesic \\(\\gamma\\) going from \\(\\partial M_0\\) into \\(M_0\\), and for any \\(\\lambda\\neq 0\\). This is the attenuated geodesic ray transform of \\(f_\\lambda\\) with constant attenuation \\(-2\\lambda\\) (cf. [Dos Santos Ferreira et al., loc. cit.]).   The authors remark that these discussions are possible for any admissible manifold of \\(\\dim M\\geq 3\\). If \\(\\dim M=3\\), attenuated ray transform is shown to be invertible [\\textit{M. Salo} and \\textit{G. Uhlmann}, J. Differ. Geom. 88, No. 1, 161--187 (2011; Zbl 1238.53058)]. Hence we have Th. 1.2 applying results on Fourier transforms (\\S4).   Let \\(g= c\\tilde g\\) and \\(\\tilde q =c(q-q_c) \\), where \\(q=-c^{(n+2)/4}\\Delta_{c\\tilde g}(c^{-(n-2)/4)})\\), then we have  \\[ \\Lambda_{\\tilde g,\\tilde q}f= c^{{n\\over 4}}\\Lambda_{c\\tilde g,0}\\Biggl(c^{-{n-2\\over 4}} f\\Biggr)+ {n-2\\over 4} c^{-1}(\\partial_{\\nu_{\\tilde g}} c)f. \\]  Theorem 1.1 follows from this equality and Th. 1.2 (\\S4).","type":"string"},"datatype":"string"},"type":"statement","id":"Q665016$8478D549-55AB-4C7C-B4A9-6AA35F386876","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff218d8a6072e9b189d21d69809bca07a41e5929","datavalue":{"value":{"entity-type":"item","numeric-id":587361,"id":"Q587361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665016$2E78041C-DC35-45E4-8946-350E698373D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"41ae3033d3fcfd9df833dc6140b6f99bd83237be","datavalue":{"value":"35R30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665016$24B6D08E-722C-4D59-9143-07100146DCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cb19142f552a06a4374257e1e52c99c498dc4e7","datavalue":{"value":"58J32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665016$DE8A25A1-7706-4E5E-AAF8-25CE2A3EDEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"26d1e769d0caf95697bf63a5bbfadb0a9ef20288","datavalue":{"value":"35R01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665016$B7DC5890-0AB0-4E04-A907-4E2CC62AF3B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e22c40d0070940cdc197cc009113fb7c389f52c","datavalue":{"value":"6011857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665016$A94128F7-D3BA-46FE-B0CB-428EBFBDFEEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1267a15b8ae0f04dbc43b685500e681cf73c4a7","datavalue":{"value":"inverse problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q665016$2B40EE31-0474-43CC-A910-698F73A74692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e199f6057d46466e54acb87de3bcc3de529051","datavalue":{"value":"conductivity equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q665016$AD3AC6F6-C67C-4883-8A40-FEAD8E4A4D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb90274a594917d90ee6612d9a515281529d51d7","datavalue":{"value":"Schr\u00f6dinger equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q665016$B3025F93-731B-4752-A800-7846D5C50383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b3113c88d8cbe909378db804384518bcec55ee","datavalue":{"value":"anisotropic media","type":"string"},"datatype":"string"},"type":"statement","id":"Q665016$C05199D4-96B8-4741-9D1B-EDF5E5E8F0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47c28c371b4cd2692a4936406df5ba1be91be0c9","datavalue":{"value":"attenuated ray transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q665016$A033A772-FB7A-443B-AB32-CC2650A683C0","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q665016$1ED74AED-C6ED-48BE-871F-0D5B0D3319B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a005f544d81d96baa431f46b45421d6224b3a64e","datavalue":{"value":"W2962927629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665016$00A796E3-7233-451D-95AF-C872C2EEB0E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"012447da2e8a88650e5f2310eedd9e4c9ce63c10","datavalue":{"value":"10.3934/IPI.2011.5.859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q665016$9029AF62-6D31-41F0-856E-E13BBCB49D33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b70009e72adc7cc4aaf8677c297377245ba41bc","datavalue":{"value":{"entity-type":"item","numeric-id":524719,"id":"Q524719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ea61ba15081bc4dac52fe94eba81b5f4d079d7","datavalue":{"value":{"amount":"+0.8625128269195557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q665016$6014C909-C3CE-4824-B2D6-737D6D3E0E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e774bb58efa30dbba799d488c936b028fcebbecc","datavalue":{"value":{"entity-type":"item","numeric-id":1982519,"id":"Q1982519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563967ac1d61be526b510e4370a863f29a972803","datavalue":{"value":{"amount":"+0.8478155732154846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q665016$50F77D60-EFD0-4DF9-BA37-EB1ACA2B44F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902d30fa6a234ebc91cc66e6a92a476b7cb9abb0","datavalue":{"value":{"entity-type":"item","numeric-id":2386768,"id":"Q2386768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb91614ebd5b0c42383b0a0b40b16e455b628794","datavalue":{"value":{"amount":"+0.8294714689254761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q665016$07141029-666D-411E-BB98-AA977A48856F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba1a4f5bd3c72ae3cff010548664ae714b52bee","datavalue":{"value":{"entity-type":"item","numeric-id":2129166,"id":"Q2129166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9472eb9a5011a6609355b194e47b437f24c3f7ee","datavalue":{"value":{"amount":"+0.7977134585380554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q665016$514F9EA5-811F-4E49-9ECE-93F028AE9F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cfdf0a8e50d7fc8bcb6827f9e7907b625b68cd7","datavalue":{"value":{"entity-type":"item","numeric-id":4329740,"id":"Q4329740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01fd0f13bdabaa987744c60a781e3f625d09db7c","datavalue":{"value":{"amount":"+0.7860845327377319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q665016$0558AE9E-98FE-49BF-B65F-43CC1B93CEB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:665016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:665016"}}}}}