Biharmonic obstacle problem: guaranteed and computable error bounds for approximate solutions

The paper is concerned with a free boundary problem generated by the biharmonic operator and an obstacle. The main goal is to deduce a fully guaranteed upper bound of the difference between the exact minimizer u and any function (approximation) from the corresponding energy class (which consists of...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2020-06
Hauptverfasser: Apushkinskaya, Darya E, Repin, Sergey I
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title arXiv.org
container_volume
creator Apushkinskaya, Darya E
Repin, Sergey I
description The paper is concerned with a free boundary problem generated by the biharmonic operator and an obstacle. The main goal is to deduce a fully guaranteed upper bound of the difference between the exact minimizer u and any function (approximation) from the corresponding energy class (which consists of the functions in \(H^2\) satisfying the prescribed boundary conditions and the restrictions stipulated by the obstacle). For this purpose we use the duality method of the calculus of variations and general type error identities earlier derived for a wide class of convex variational problems. By this method, we define a combined primal--dual measure of error. It contains four terms of different nature. Two of them are the norms of the difference between the exact solutions (of the direct and dual variational problems) and corresponding approximations. Two others are nonlinear measures, related to approximation of the coincidence set (they vanish if the coincidence set defined by means of the approximate solution coincides with the exact one). The measure satisfies the error identity, which right hand side depends on approximate solutions only and, therefore, is fully computable. Thus, the identity provides direct estimation of the primal--dual errors. However, it contains a certain restriction on the form of the dual approximation. In the second part of the paper, we present a way to skip the restriction. As a result, we obtain a fully guaranteed and directly computable error majorant valid for a wide class of approximations regardless of the method used for their construction. The estimates are verified in a series of tests with different approximate solutions. Some of them are quite close to the exact solution and others are rather coarse and have coincidence sets that differ much from the exact one. The results show that the estimates are robust and effective in all the cases.
doi_str_mv 10.48550/arxiv.2003.09261
format Article
fullrecord <record><control><sourceid>proquest_arxiv</sourceid><recordid>TN_cdi_arxiv_primary_2003_09261</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2381871051</sourcerecordid><originalsourceid>FETCH-LOGICAL-a521-1442d37ef54602cf9be8297b5aefcc3460ce7f90effa62572ea21cde3d238463</originalsourceid><addsrcrecordid>eNotkE1PwzAMhiMkJKaxH8CJSJw7EqfpBzeY-JImcYArqtzUgU5tU5IWjX9P2DjZsl-_evwydiHFOi20Ftfo9-33GoRQa1FCJk_YApSSSZECnLFVCDshBGQ5aK0W7P2u_UTfu6E13NVhQtMRH72rO-pv-MeMHoeJqOE4NNy4fpwnjDtO3jvPazcPTeA2tjjGq33b40Q8uG6eWjeEc3ZqsQu0-q9L9vpw_7Z5SrYvj8-b222CGmQi0xQalZPVaSbA2LKmAsq81kjWGBWHhnJbCrIWM9A5EII0DakGVJFmaskuj66H16vRRwr_U_1FUB0iiIqroyIyfs0UpmrnZj9EpCpayCKXQkv1C50BYKU</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2381871051</pqid></control><display><type>article</type><title>Biharmonic obstacle problem: guaranteed and computable error bounds for approximate solutions</title><source>arXiv.org</source><source>Free E- Journals</source><creator>Apushkinskaya, Darya E ; Repin, Sergey I</creator><creatorcontrib>Apushkinskaya, Darya E ; Repin, Sergey I</creatorcontrib><description>The paper is concerned with a free boundary problem generated by the biharmonic operator and an obstacle. The main goal is to deduce a fully guaranteed upper bound of the difference between the exact minimizer u and any function (approximation) from the corresponding energy class (which consists of the functions in \(H^2\) satisfying the prescribed boundary conditions and the restrictions stipulated by the obstacle). For this purpose we use the duality method of the calculus of variations and general type error identities earlier derived for a wide class of convex variational problems. By this method, we define a combined primal--dual measure of error. It contains four terms of different nature. Two of them are the norms of the difference between the exact solutions (of the direct and dual variational problems) and corresponding approximations. Two others are nonlinear measures, related to approximation of the coincidence set (they vanish if the coincidence set defined by means of the approximate solution coincides with the exact one). The measure satisfies the error identity, which right hand side depends on approximate solutions only and, therefore, is fully computable. Thus, the identity provides direct estimation of the primal--dual errors. However, it contains a certain restriction on the form of the dual approximation. In the second part of the paper, we present a way to skip the restriction. As a result, we obtain a fully guaranteed and directly computable error majorant valid for a wide class of approximations regardless of the method used for their construction. The estimates are verified in a series of tests with different approximate solutions. Some of them are quite close to the exact solution and others are rather coarse and have coincidence sets that differ much from the exact one. The results show that the estimates are robust and effective in all the cases.</description><identifier>EISSN: 2331-8422</identifier><identifier>DOI: 10.48550/arxiv.2003.09261</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Approximation ; Boundary conditions ; Calculus of variations ; Errors ; Exact solutions ; Free boundaries ; Identities ; Mathematics - Analysis of PDEs ; Operators (mathematics) ; Upper bounds</subject><ispartof>arXiv.org, 2020-06</ispartof><rights>2020. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,780,784,885,27925</link.rule.ids><backlink>$$Uhttps://doi.org/10.48550/arXiv.2003.09261$$DView paper in arXiv$$Hfree_for_read</backlink><backlink>$$Uhttps://doi.org/10.1134/S0965542520110032$$DView published paper (Access to full text may be restricted)$$Hfree_for_read</backlink></links><search><creatorcontrib>Apushkinskaya, Darya E</creatorcontrib><creatorcontrib>Repin, Sergey I</creatorcontrib><title>Biharmonic obstacle problem: guaranteed and computable error bounds for approximate solutions</title><title>arXiv.org</title><description>The paper is concerned with a free boundary problem generated by the biharmonic operator and an obstacle. The main goal is to deduce a fully guaranteed upper bound of the difference between the exact minimizer u and any function (approximation) from the corresponding energy class (which consists of the functions in \(H^2\) satisfying the prescribed boundary conditions and the restrictions stipulated by the obstacle). For this purpose we use the duality method of the calculus of variations and general type error identities earlier derived for a wide class of convex variational problems. By this method, we define a combined primal--dual measure of error. It contains four terms of different nature. Two of them are the norms of the difference between the exact solutions (of the direct and dual variational problems) and corresponding approximations. Two others are nonlinear measures, related to approximation of the coincidence set (they vanish if the coincidence set defined by means of the approximate solution coincides with the exact one). The measure satisfies the error identity, which right hand side depends on approximate solutions only and, therefore, is fully computable. Thus, the identity provides direct estimation of the primal--dual errors. However, it contains a certain restriction on the form of the dual approximation. In the second part of the paper, we present a way to skip the restriction. As a result, we obtain a fully guaranteed and directly computable error majorant valid for a wide class of approximations regardless of the method used for their construction. The estimates are verified in a series of tests with different approximate solutions. Some of them are quite close to the exact solution and others are rather coarse and have coincidence sets that differ much from the exact one. The results show that the estimates are robust and effective in all the cases.</description><subject>Approximation</subject><subject>Boundary conditions</subject><subject>Calculus of variations</subject><subject>Errors</subject><subject>Exact solutions</subject><subject>Free boundaries</subject><subject>Identities</subject><subject>Mathematics - Analysis of PDEs</subject><subject>Operators (mathematics)</subject><subject>Upper bounds</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2020</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GOX</sourceid><recordid>eNotkE1PwzAMhiMkJKaxH8CJSJw7EqfpBzeY-JImcYArqtzUgU5tU5IWjX9P2DjZsl-_evwydiHFOi20Ftfo9-33GoRQa1FCJk_YApSSSZECnLFVCDshBGQ5aK0W7P2u_UTfu6E13NVhQtMRH72rO-pv-MeMHoeJqOE4NNy4fpwnjDtO3jvPazcPTeA2tjjGq33b40Q8uG6eWjeEc3ZqsQu0-q9L9vpw_7Z5SrYvj8-b222CGmQi0xQalZPVaSbA2LKmAsq81kjWGBWHhnJbCrIWM9A5EII0DakGVJFmaskuj66H16vRRwr_U_1FUB0iiIqroyIyfs0UpmrnZj9EpCpayCKXQkv1C50BYKU</recordid><startdate>20200616</startdate><enddate>20200616</enddate><creator>Apushkinskaya, Darya E</creator><creator>Repin, Sergey I</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>AKZ</scope><scope>GOX</scope></search><sort><creationdate>20200616</creationdate><title>Biharmonic obstacle problem: guaranteed and computable error bounds for approximate solutions</title><author>Apushkinskaya, Darya E ; Repin, Sergey I</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a521-1442d37ef54602cf9be8297b5aefcc3460ce7f90effa62572ea21cde3d238463</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2020</creationdate><topic>Approximation</topic><topic>Boundary conditions</topic><topic>Calculus of variations</topic><topic>Errors</topic><topic>Exact solutions</topic><topic>Free boundaries</topic><topic>Identities</topic><topic>Mathematics - Analysis of PDEs</topic><topic>Operators (mathematics)</topic><topic>Upper bounds</topic><toplevel>online_resources</toplevel><creatorcontrib>Apushkinskaya, Darya E</creatorcontrib><creatorcontrib>Repin, Sergey I</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>arXiv Mathematics</collection><collection>arXiv.org</collection><jtitle>arXiv.org</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Apushkinskaya, Darya E</au><au>Repin, Sergey I</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Biharmonic obstacle problem: guaranteed and computable error bounds for approximate solutions</atitle><jtitle>arXiv.org</jtitle><date>2020-06-16</date><risdate>2020</risdate><eissn>2331-8422</eissn><abstract>The paper is concerned with a free boundary problem generated by the biharmonic operator and an obstacle. The main goal is to deduce a fully guaranteed upper bound of the difference between the exact minimizer u and any function (approximation) from the corresponding energy class (which consists of the functions in \(H^2\) satisfying the prescribed boundary conditions and the restrictions stipulated by the obstacle). For this purpose we use the duality method of the calculus of variations and general type error identities earlier derived for a wide class of convex variational problems. By this method, we define a combined primal--dual measure of error. It contains four terms of different nature. Two of them are the norms of the difference between the exact solutions (of the direct and dual variational problems) and corresponding approximations. Two others are nonlinear measures, related to approximation of the coincidence set (they vanish if the coincidence set defined by means of the approximate solution coincides with the exact one). The measure satisfies the error identity, which right hand side depends on approximate solutions only and, therefore, is fully computable. Thus, the identity provides direct estimation of the primal--dual errors. However, it contains a certain restriction on the form of the dual approximation. In the second part of the paper, we present a way to skip the restriction. As a result, we obtain a fully guaranteed and directly computable error majorant valid for a wide class of approximations regardless of the method used for their construction. The estimates are verified in a series of tests with different approximate solutions. Some of them are quite close to the exact solution and others are rather coarse and have coincidence sets that differ much from the exact one. The results show that the estimates are robust and effective in all the cases.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><doi>10.48550/arxiv.2003.09261</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2020-06
issn 2331-8422
language eng
recordid cdi_arxiv_primary_2003_09261
source arXiv.org; Free E- Journals
subjects Approximation
Boundary conditions
Calculus of variations
Errors
Exact solutions
Free boundaries
Identities
Mathematics - Analysis of PDEs
Operators (mathematics)
Upper bounds
title Biharmonic obstacle problem: guaranteed and computable error bounds for approximate solutions
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-25T02%3A30%3A30IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_arxiv&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Biharmonic%20obstacle%20problem:%20guaranteed%20and%20computable%20error%20bounds%20for%20approximate%20solutions&rft.jtitle=arXiv.org&rft.au=Apushkinskaya,%20Darya%20E&rft.date=2020-06-16&rft.eissn=2331-8422&rft_id=info:doi/10.48550/arxiv.2003.09261&rft_dat=%3Cproquest_arxiv%3E2381871051%3C/proquest_arxiv%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2381871051&rft_id=info:pmid/&rfr_iscdi=true