{"entities":{"Q1587570":{"pageid":1598310,"ns":120,"title":"Item:Q1587570","lastrevid":72261708,"modified":"2026-04-14T03:43:13Z","type":"item","id":"Q1587570","labels":{"en":{"language":"en","value":"Riemannian manifolds admitting isometric immersions by their first eigenfunctions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1537854"}},"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":"Q1587570$83C456EB-469E-4F3E-83B3-AD45E7BAD0FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53aecaa12640e44461a39bd731baa1f0dc3bb62c","datavalue":{"value":{"text":"Riemannian manifolds admitting isometric immersions by their first eigenfunctions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1587570$8CE0485C-102F-4012-8A1C-666EA304A0B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe89b91a9820d285fba2cd078e15545b8911b79a","datavalue":{"value":"1030.53043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587570$C64CB4E3-9C54-446E-BF9E-9D2063BB24F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3bef1d41ac57ff6a7fdff7f79d19c85e67f2725","datavalue":{"value":{"entity-type":"item","numeric-id":353105,"id":"Q353105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587570$A8BB21EA-9A13-45A8-A78F-272B189426B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f00f26b5af9839d4590695622b1ed8c263199a9","datavalue":{"value":{"entity-type":"item","numeric-id":261422,"id":"Q261422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587570$E011AD61-7894-4EA3-BC34-A700BC7E9FA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587570$325A0527-EE00-4E3C-B961-DC517E602CA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adb119921e441e297327ff60c1a7864930c815e","datavalue":{"value":{"time":"+2000-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1587570$37C336CD-C77E-4096-8B9B-2184BE51FDBA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d62c2da116d47962567deaf8ce45346c44ce29f","datavalue":{"value":"Let \\(M\\) be a compact smooth manifold of dimension \\(m\\geq 2\\). Denote by \\({\\mathcal R}_0(M)\\) the set of Riemannian metrics of volume 1 on \\(M\\). For any \\(g\\in {\\mathcal R}_0 (M)\\), denote by \\(0<\\lambda_1 (g)\\leq\\lambda-2(g)\\leq \\cdots \\leq \\lambda_k(g) \\leq\\cdots\\) the increasing sequence of eigenvalues of the Laplacian \\(\\Delta_g\\) of \\(g\\). The functional \\[ \\lambda_1: {\\mathcal R}_0(M)\\to \\mathbb{R}, \\] \\[ g\\mapsto \\lambda_1(g) \\] is continuous but not differentiable in general. However, for any family \\((g_t)_t\\) of metrics, analytic in \\(t\\), \\(\\lambda_1 (g_t)\\) has right and left derivatives w.r.t. \\(t\\). A metric \\(g\\in {\\mathcal R}(M)\\) is said to be extremal for the \\(\\lambda_1\\) functional if for any analytic deformation \\((g_t)_t\\subset {\\mathcal R}_0(M)\\), with \\(g_0=g\\), the left and right derivatives of \\(\\lambda_1(g_t)\\) at \\(t=0\\) have opposite signs, i.e. \\[ {d \\over dt}\\lambda_1 (g_t)|_{t=0^+} \\leq 0\\leq {d\\over dt}\\lambda_1 (g_t) |_{t=0^-}. \\] A metric \\(g\\) on a compact \\(m\\)-dimensional manifold \\(M\\) is \\(\\lambda_1\\)-minimal if the eigenspace \\(E_1(g)\\) associated with the first nonzero eigenvalue \\(\\lambda_1(g)\\) of the Laplacian of \\(g\\) contains a family \\(f_1, \\dots, f_k\\) of functions satisfying: \\(\\sum_{1\\leq i\\leq k} df_i\\otimes df_i=g\\). It follows from a well known result of Takahashi that this last condition is equivalent to the fact that the map \\(f=(f_1,\\dots,f_k)\\) is a minimal isometric immersion from \\((M, g)\\) into the Euclidean sphere \\(S_r^{k-1}\\) of radius \\(r=\\sqrt {m\\over \\lambda_1 (g)}\\). Then the main result of the authors is Theorem 1: If a Riemannian metric \\(g\\in {\\mathcal R}_0(M)\\) is extremal for \\(\\lambda_1\\) then it is \\(\\lambda_1\\)-minimal. They prove a certain converse of Theorem 1. Theorem 2: Let \\(g\\in {\\mathcal R}_0(M)\\) and assume there exists an \\(L_2(g)\\)-orthonormal basis \\(\\{\\varphi_1, \\dots, \\varphi_k\\}\\) of \\(E_1(g)\\) such that 2-tensor \\(\\sum_{1