{"entities":{"Q1570139":{"pageid":1580879,"ns":120,"title":"Item:Q1570139","lastrevid":74330865,"modified":"2026-04-14T19:34:17Z","type":"item","id":"Q1570139","labels":{"en":{"language":"en","value":"Numerical verification of solutions for obstacle problems using a Newton-like method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1471568"}},"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":"Q1570139$8933F1AA-F792-4EBE-8E9E-231875006C56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21c2b8d31ee647944478eb3c96d76599274873ec","datavalue":{"value":{"text":"Numerical verification of solutions for obstacle problems using a Newton-like method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1570139$1B1A50C0-97DD-4882-B0CD-ED24CD3779A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf373ca40c8af4dad52ecc18a3b2c51086e382a5","datavalue":{"value":"0956.65052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570139$3735555F-69DF-4D80-84E8-155981AC2F05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80373154626b477a95299c0b10f584ef981da278","datavalue":{"value":"10.1016/S0898-1221(99)00344-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570139$AE884CFB-4496-492F-8CC0-89695089BB52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03e76079d094af4279ee914896cfa54f62b3c086","datavalue":{"value":{"entity-type":"item","numeric-id":355178,"id":"Q355178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570139$71F4E8F6-C853-4423-AEE9-018A78BB1AFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"842b2212bda6f0009051e977a4ae47e91602c98d","datavalue":{"value":{"time":"+2001-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1570139$D47F1CD1-363F-44C3-8BEB-47032B24762D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5fade6eb6694aa41382064f1375a54f3bddd3f1b","datavalue":{"value":"The paper describes a method which automatically proves the existence of solutions for variational inequalities by computer (it is a continuation of the author's joint preceeding study with \\textit{M. T. Nakao} [Numer. Math. 81, No. 2, 305-320 (1998; Zbl 0919.65043)]). This approach enables one to remove the restriction in the previous paper to the retraction property of the operator in a neighborhood of the solution. Main result: The author's method can be applied to general variational inequalities without retraction property of the associated operator.   Due to a Newton-like operator and explicit a priori error estimates, a set of functions which satisfy the hypothesis of Schauder's fixed-point theorem for the compact map on a certain Sobolev space, is constructed. Particularly, the essentially new technique in the present paper is the way to devise a Newton-like operator for a kind of nondifferentiable map which defines the original problem. The fixed-point formulation to prove the existence of a solution of the obstacle problem is proposed.   Finally, a computer algorithm to construct the set satisfying the verification conditions is proposed and some numerical examples are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570139$D283B517-535F-46CE-A0E0-773F78B70492","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"843de71235f44a800ae389e1734df6bb7650efec","datavalue":{"value":"65K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570139$33710D9B-D723-4695-9ECF-5CCB2B60B629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570139$81FC4E23-2DD5-4CB9-8A12-B5B9CEB95157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c855c2120bb41f1b7772a76df5765e44dc68d6ba","datavalue":{"value":"49J40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570139$A9E6AA79-B890-46F8-9568-ED0EF6454764","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"680ca18e307a0c0c499765e5b9734aa9bf016d7c","datavalue":{"value":"1471568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570139$2F045A8D-0BC8-40AB-AB2E-1AF990CEF5E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"209055baf9a861626a4de8b6a4c63a6d004160b9","datavalue":{"value":"numerical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570139$CE8E01D6-BC9F-45BE-9A6F-324E19037852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c48eae60a8bbbd4d689a5e1dc6420b675b0d4a","datavalue":{"value":"error estimates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570139$29A24FEF-587D-41EF-8844-BCE1FAFF4016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c467d3e4e5ba354df2b095480d5bced27c02960c","datavalue":{"value":"Newton-like operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570139$FCFFC66B-BF1E-4760-AC2C-17AD9D108347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e7faff2915d4676d9468aa746460438a8c2a94e","datavalue":{"value":"variational inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570139$ACBAD448-5D77-442D-BF41-D31DB6E9BEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec7b4f051f1ad80a1da1fdf26d8fb572d54dba8d","datavalue":{"value":"Sobolev space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570139$2D753A97-A2B2-481A-9123-1284041FD937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c7decb405e876419d86dc1e860ef30c6d3a6201","datavalue":{"value":"Schauder's fixed-point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570139$463AE085-8B83-466F-8A0A-CF453580F592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d93a5c7a388ad1c69e42de8c5123b10ea4e3386","datavalue":{"value":"obstacle problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570139$3A5C43D8-7DDC-4CB7-B466-18BCC41689B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570139$B26D061D-6DE0-4754-8E42-468F8033C36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d74cb5419439f42eb1ba8891c8722bd3702922d","datavalue":{"value":"numerical examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570139$E7B61185-AAA2-42F6-ADB8-91B0C7531240","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dcc3b31257c92762c634d0105987fcff91dacfb0","datavalue":{"value":{"entity-type":"item","numeric-id":591447,"id":"Q591447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570139$B268FFFC-97F8-4CCD-AF9C-1377CFB7B212","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":"Q1570139$572BA9B4-96E0-45F3-ACD6-D2DBFAD031AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f95fc9248b6c9cb4694be7b60a8866f4552746a","datavalue":{"value":{"entity-type":"item","numeric-id":1277004,"id":"Q1277004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570139$8B59779B-4CED-4211-BC3A-2AF3EC323329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a11476c0720f6c45d575d0373ddb9a85d618d0da","datavalue":{"value":{"entity-type":"item","numeric-id":1193173,"id":"Q1193173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570139$E9AEEA08-7CE3-4221-A56A-83BC9D2604C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7557e681faeeb9fd5350f6437b93f2eb19257b","datavalue":{"value":{"entity-type":"item","numeric-id":1378621,"id":"Q1378621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570139$6FED4D42-B973-465A-80A5-8ED9C6866B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd2865c347636a0d54c9d361e775f17ea6bdafc","datavalue":{"value":{"entity-type":"item","numeric-id":3932576,"id":"Q3932576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570139$9EF0E072-D95B-4774-A530-59B19FC58A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038fd6ae7ad72c28936493f193203635b0e71c77","datavalue":{"value":{"entity-type":"item","numeric-id":2797734,"id":"Q2797734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570139$2F38AA75-AB3F-44D5-A569-69B69CFC3AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2c88483dade2e55e57a10dd64a518acc60d819","datavalue":{"value":{"entity-type":"item","numeric-id":1326465,"id":"Q1326465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570139$A6AC51DB-6C5F-4042-8660-976DF88FDBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d093af5dea6a281d96a74c3c24382abc6503f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1900766,"id":"Q1900766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570139$548089EB-07E3-4DF3-9D49-1C1CB89C7DB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f61dce094b5c54b60418d038126a88e0dccfb9b9","datavalue":{"value":{"entity-type":"item","numeric-id":1591946,"id":"Q1591946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f883e51db72e12e765c0a1c0a1912fe2941bf68","datavalue":{"value":{"amount":"+0.8342443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570139$86B2B5D4-E89D-4409-BDD3-05E8F1AA90BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2de440b843a2517b63af88a23a6ecde3689baa","datavalue":{"value":{"entity-type":"item","numeric-id":1277004,"id":"Q1277004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1bf5b7674f3ed8c1b5cb510fc79b657e012036","datavalue":{"value":{"amount":"+0.8322394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570139$1B85E8D6-50EC-4467-9423-302FBB6C988C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97571cb9179973a6252867665c45a7c5051f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4785183,"id":"Q4785183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afbfcaf0bb492687428ee67f6e855e72bb04bc09","datavalue":{"value":{"amount":"+0.8004513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570139$9EA64FE0-3998-4409-B6C0-632DD6CCD256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eecfe443e3ad07849079e6bceb5dcebd75d3f23","datavalue":{"value":{"entity-type":"item","numeric-id":4241001,"id":"Q4241001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194fe98bfcccbb0df4a001174ea365c9c3348b0f","datavalue":{"value":{"amount":"+0.79104584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570139$F3861A19-D0F4-4B9E-9EDE-75985C9530D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca32a7db7ef4c55c0dd4e8e52c565b1744448d6d","datavalue":{"value":{"entity-type":"item","numeric-id":3375620,"id":"Q3375620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb1efc95390925f6cea04dcd68fa58c6418812d","datavalue":{"value":{"amount":"+0.7702883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570139$011938DB-9180-418B-A266-9F12930709D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f9a1b75273f0f706f4592c003e7086fb7c6073","datavalue":{"value":{"entity-type":"item","numeric-id":809556,"id":"Q809556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b4f0d1050272dede2921bb4f7ea51efcc155f4","datavalue":{"value":{"amount":"+0.76315767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570139$F0F73E85-2275-49D1-B386-76AD566F6056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d782be919c2cb4477feeb932ac6a649e720eb43","datavalue":{"value":{"entity-type":"item","numeric-id":3480512,"id":"Q3480512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edaadf553286062f8959f5b335258a17fd0dcfb6","datavalue":{"value":{"amount":"+0.74780816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570139$44A5FC1A-EC65-4750-A5DE-915FDF3BC0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3efa685f9ac4987ef0bbe4122093cc82880ba34","datavalue":{"value":{"entity-type":"item","numeric-id":5051233,"id":"Q5051233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264ecdec87add45ce7b298baa9ee579c8e58f88c","datavalue":{"value":{"amount":"+0.7459342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570139$625C10CE-6273-4BEC-8B4E-40A2AF301FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f650734807348925d1cd269aae010d90fdb5005","datavalue":{"value":{"entity-type":"item","numeric-id":1816363,"id":"Q1816363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3a47e26aa0ee89e20a3cab7449b5dbe3ab11b5","datavalue":{"value":{"amount":"+0.7374062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570139$8B53CC35-60C9-42CA-842E-4C172056F717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8fbe15c968d831257bdcddab729ac8b51ae63c","datavalue":{"value":{"entity-type":"item","numeric-id":3617144,"id":"Q3617144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c899c799528fe25ce04b9e37c7ba888f09a69cd8","datavalue":{"value":{"amount":"+0.7355085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1570139$EEB39094-CBD1-4ACB-A0A2-3AA694E3D2DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570139$741A26D4-FE4F-4CFF-8AB7-AA6C067A0442","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Numerical verification of solutions for obstacle problems using a Newton-like method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Numerical_verification_of_solutions_for_obstacle_problems_using_a_Newton-like_method"}}}}}