Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing
We study the steady states of a system of cross-diffusion equations arising from the modeling of chemotaxis with local sensing, where the motility is a decreasing function of the concentration of the chemical. In order to capture the many different equilibria that sometimes co-exist, we use computer...
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | |
---|---|
container_issue | |
container_start_page | |
container_title | |
container_volume | |
creator | Breden, Maxime Payan, Maxime |
description | We study the steady states of a system of cross-diffusion equations arising
from the modeling of chemotaxis with local sensing, where the motility is a
decreasing function of the concentration of the chemical. In order to capture
the many different equilibria that sometimes co-exist, we use computer-assisted
proofs: Given an approximate solution obtained numerically, we apply a
fixed-point argument in a small neighborhood of this approximate solution to
prove the existence of an exact solution nearby. This allows us to rigorously
study the steady states of this crossdiffusion system much more extensively
than what previously possible with purely pen-and-paper techniques. Our
computer-assisted argument makes use of Fourier series decomposition, which is
common in the literature, but usually restricted to systems with polynomial
nonlinearities. This is not the case for the model considered in this paper,
and we develop a new way of dealing with some nonpolynomial nonlinearities in
the context of computer-assisted proofs with Fourier series. |
doi_str_mv | 10.48550/arxiv.2311.13896 |
format | Article |
fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2311_13896</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2311_13896</sourcerecordid><originalsourceid>FETCH-LOGICAL-a676-58a4dba6253c9743d9d03aba146351d61ad227f611273d973d2affd7a29bc4553</originalsourceid><addsrcrecordid>eNotj8tKxDAYRrNxIaMP4Mr_BVqbe7uU4g0G3MxSKH-bxAbapiRRZ97ezuji4ywOfHAIuaNVKWopqweMR_9dMk5pSXndqGvy0YZ5_co2FpiST9kaWGMILoELEfJoYcblBJtAcwZmmyA4QBhGO4eMR59gDsZO8OPzCFMYcIJkl-SXzxty5XBK9vafO3J4fjq0r8X-_eWtfdwXqLQqZI3C9KiY5EOjBTeNqTj2SIXikhpF0TCmnaKU6U1uY-ic0ciafhBS8h25_7u95HVr9DPGU3fO7C6Z_BfW1k5Z</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing</title><source>arXiv.org</source><creator>Breden, Maxime ; Payan, Maxime</creator><creatorcontrib>Breden, Maxime ; Payan, Maxime</creatorcontrib><description>We study the steady states of a system of cross-diffusion equations arising
from the modeling of chemotaxis with local sensing, where the motility is a
decreasing function of the concentration of the chemical. In order to capture
the many different equilibria that sometimes co-exist, we use computer-assisted
proofs: Given an approximate solution obtained numerically, we apply a
fixed-point argument in a small neighborhood of this approximate solution to
prove the existence of an exact solution nearby. This allows us to rigorously
study the steady states of this crossdiffusion system much more extensively
than what previously possible with purely pen-and-paper techniques. Our
computer-assisted argument makes use of Fourier series decomposition, which is
common in the literature, but usually restricted to systems with polynomial
nonlinearities. This is not the case for the model considered in this paper,
and we develop a new way of dealing with some nonpolynomial nonlinearities in
the context of computer-assisted proofs with Fourier series.</description><identifier>DOI: 10.48550/arxiv.2311.13896</identifier><language>eng</language><subject>Computer Science - Numerical Analysis ; Mathematics - Analysis of PDEs ; Mathematics - Dynamical Systems ; Mathematics - Numerical Analysis</subject><creationdate>2023-11</creationdate><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,885</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2311.13896$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2311.13896$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Breden, Maxime</creatorcontrib><creatorcontrib>Payan, Maxime</creatorcontrib><title>Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing</title><description>We study the steady states of a system of cross-diffusion equations arising
from the modeling of chemotaxis with local sensing, where the motility is a
decreasing function of the concentration of the chemical. In order to capture
the many different equilibria that sometimes co-exist, we use computer-assisted
proofs: Given an approximate solution obtained numerically, we apply a
fixed-point argument in a small neighborhood of this approximate solution to
prove the existence of an exact solution nearby. This allows us to rigorously
study the steady states of this crossdiffusion system much more extensively
than what previously possible with purely pen-and-paper techniques. Our
computer-assisted argument makes use of Fourier series decomposition, which is
common in the literature, but usually restricted to systems with polynomial
nonlinearities. This is not the case for the model considered in this paper,
and we develop a new way of dealing with some nonpolynomial nonlinearities in
the context of computer-assisted proofs with Fourier series.</description><subject>Computer Science - Numerical Analysis</subject><subject>Mathematics - Analysis of PDEs</subject><subject>Mathematics - Dynamical Systems</subject><subject>Mathematics - Numerical Analysis</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2023</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotj8tKxDAYRrNxIaMP4Mr_BVqbe7uU4g0G3MxSKH-bxAbapiRRZ97ezuji4ywOfHAIuaNVKWopqweMR_9dMk5pSXndqGvy0YZ5_co2FpiST9kaWGMILoELEfJoYcblBJtAcwZmmyA4QBhGO4eMR59gDsZO8OPzCFMYcIJkl-SXzxty5XBK9vafO3J4fjq0r8X-_eWtfdwXqLQqZI3C9KiY5EOjBTeNqTj2SIXikhpF0TCmnaKU6U1uY-ic0ciafhBS8h25_7u95HVr9DPGU3fO7C6Z_BfW1k5Z</recordid><startdate>20231123</startdate><enddate>20231123</enddate><creator>Breden, Maxime</creator><creator>Payan, Maxime</creator><scope>AKY</scope><scope>AKZ</scope><scope>GOX</scope></search><sort><creationdate>20231123</creationdate><title>Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing</title><author>Breden, Maxime ; Payan, Maxime</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a676-58a4dba6253c9743d9d03aba146351d61ad227f611273d973d2affd7a29bc4553</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2023</creationdate><topic>Computer Science - Numerical Analysis</topic><topic>Mathematics - Analysis of PDEs</topic><topic>Mathematics - Dynamical Systems</topic><topic>Mathematics - Numerical Analysis</topic><toplevel>online_resources</toplevel><creatorcontrib>Breden, Maxime</creatorcontrib><creatorcontrib>Payan, Maxime</creatorcontrib><collection>arXiv Computer Science</collection><collection>arXiv Mathematics</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Breden, Maxime</au><au>Payan, Maxime</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing</atitle><date>2023-11-23</date><risdate>2023</risdate><abstract>We study the steady states of a system of cross-diffusion equations arising
from the modeling of chemotaxis with local sensing, where the motility is a
decreasing function of the concentration of the chemical. In order to capture
the many different equilibria that sometimes co-exist, we use computer-assisted
proofs: Given an approximate solution obtained numerically, we apply a
fixed-point argument in a small neighborhood of this approximate solution to
prove the existence of an exact solution nearby. This allows us to rigorously
study the steady states of this crossdiffusion system much more extensively
than what previously possible with purely pen-and-paper techniques. Our
computer-assisted argument makes use of Fourier series decomposition, which is
common in the literature, but usually restricted to systems with polynomial
nonlinearities. This is not the case for the model considered in this paper,
and we develop a new way of dealing with some nonpolynomial nonlinearities in
the context of computer-assisted proofs with Fourier series.</abstract><doi>10.48550/arxiv.2311.13896</doi><oa>free_for_read</oa></addata></record> |
fulltext | fulltext_linktorsrc |
identifier | DOI: 10.48550/arxiv.2311.13896 |
ispartof | |
issn | |
language | eng |
recordid | cdi_arxiv_primary_2311_13896 |
source | arXiv.org |
subjects | Computer Science - Numerical Analysis Mathematics - Analysis of PDEs Mathematics - Dynamical Systems Mathematics - Numerical Analysis |
title | Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-23T11%3A43%3A48IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Computer-assisted%20proofs%20for%20the%20many%20steady%20states%20of%20a%20chemotaxis%20model%20with%20local%20sensing&rft.au=Breden,%20Maxime&rft.date=2023-11-23&rft_id=info:doi/10.48550/arxiv.2311.13896&rft_dat=%3Carxiv_GOX%3E2311_13896%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |