{"id":320,"date":"2025-10-07T02:38:37","date_gmt":"2025-10-07T02:38:37","guid":{"rendered":"https:\/\/mrivas.su.domains\/gbe\/?p=320"},"modified":"2025-10-07T02:38:37","modified_gmt":"2025-10-07T02:38:37","slug":"concrete-functional-analysis","status":"publish","type":"post","link":"https:\/\/mrivas.su.domains\/gbe\/uncategorized\/concrete-functional-analysis\/","title":{"rendered":"Concrete functional analysis"},"content":{"rendered":"\n<p>The book <em>Concrete Functional Analysis <\/em>by <a href=\"https:\/\/en.wikipedia.org\/wiki\/Richard_M._Dudley\">Richard M. Dudley<\/a> and <a href=\"https:\/\/scholar.google.com\/citations?user=mcOq4XoAAAAJ&amp;hl=lt\">Rimas Norvai\u0161a<\/a> presents some aspects of nonlinear analysis and their applications to probability. <br><br>I wanted to get an understanding of the book as it could have been taught to a high school student. Here, I found the following observations by examining via the lens of AI tools. <br><br>The idea behind the book is that there is a new measure or yardstick for variation referred to as <em>wiggliness<\/em> and defined as <strong><em>p-variation<\/em><\/strong><em>. <\/em>It adds up the size of each little wiggle and raises it to the power of <em>p<\/em>. Bigger <em>p <\/em>pays little attention to tiny jitter and more to big moves. This gives a new <em>family of wiggliness meters <\/em>not just one. <\/p>\n\n\n\n<p>The book demonstrates that with the right <em>p<\/em>, we can make sense of integrals and calculus style operations even for quite jumpy signals. This lead to a result called the <strong>Love-Young inequality<\/strong>, which tells you when an integral <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-9b52fe0984def6ef1c1c14f36bde3b4c_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#92;&#105;&#110;&#116;&#32;&#102;&#32;&#100;&#103;\" title=\"Rendered by QuickLaTeX.com\" height=\"20\" width=\"43\" style=\"vertical-align: -6px;\"\/> exists and how big it can be based on the p-variation of <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-f5844370b6482674a233a3063f762555_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#102;\" title=\"Rendered by QuickLaTeX.com\" height=\"16\" width=\"10\" style=\"vertical-align: -4px;\"\/> and the q-variation of <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-e88010d25c51c0c42c505ee1004ed182_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#103;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"9\" style=\"vertical-align: -4px;\"\/> with <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-3869bc4c5c9bff4652835055232d192c_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#92;&#102;&#114;&#97;&#99;&#123;&#49;&#125;&#123;&#112;&#125;&#32;&#43;&#32;&#92;&#102;&#114;&#97;&#99;&#123;&#49;&#125;&#123;&#113;&#125;&#32;&#62;&#32;&#49;\" title=\"Rendered by QuickLaTeX.com\" height=\"25\" width=\"74\" style=\"vertical-align: -9px;\"\/>. <\/p>\n\n\n\n<p>For <em>Brownian motion<\/em>, a Brownian path has finite p-variation only when <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-5035ceb9ac9bef7b8cb63c9ba4cd388b_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#112;&#32;&#62;&#32;&#50;\" title=\"Rendered by QuickLaTeX.com\" height=\"16\" width=\"42\" style=\"vertical-align: -4px;\"\/>, too wiggly for <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-add80844f4ab76d011cb4b89dd3e95e5_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#112;&#32;&#92;&#108;&#101;&#113;&#32;&#50;\" title=\"Rendered by QuickLaTeX.com\" height=\"16\" width=\"42\" style=\"vertical-align: -4px;\"\/>. <br><\/p>\n\n\n\n<blockquote class=\"wp-block-quote is-layout-flow wp-block-quote-is-layout-flow\">\n<p>If one function is \u201cnot too wiggly\u201d in the p-variation sense and the other is \u201cnot too wiggly\u201d in q-variation with <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-6d33caadecfdb79773b82ffac9bc144f_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#92;&#102;&#114;&#97;&#99;&#123;&#49;&#125;&#123;&#112;&#125;&#43;&#92;&#102;&#114;&#97;&#99;&#123;&#49;&#125;&#123;&#113;&#125;&#32;&#62;&#32;&#49;\" title=\"Rendered by QuickLaTeX.com\" height=\"25\" width=\"74\" style=\"vertical-align: -9px;\"\/> the integral <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-394924d03ad620f606195104e05d481b_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#92;&#105;&#110;&#116;&#102;&#8201;&#100;&#103;\" title=\"Rendered by QuickLaTeX.com\" height=\"16\" width=\"18\" style=\"vertical-align: -4px;\"\/>  exists and is controlled (Love\u2013Young). This is like a cousin of Cauchy\u2013Schwarz\/H\u00f6lder, but tuned to <em>rough signals<\/em>. In stats terms: it tells you when you can safely integrate (or \u201caccumulate\u201d) a noisy curve against another without things blowing up.<\/p>\n<\/blockquote>\n\n\n\n<p>The book also studies when composition of functions behave smoothly &#8211; like a data pipeline where you first transform your variable with <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-1e40206e25474f738eeb7ca968031abf_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#71;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"14\" style=\"vertical-align: 0px;\"\/>, then apply <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-88df03c55e081c7cd9da4e7d74ba7265_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#70;\" title=\"Rendered by QuickLaTeX.com\" height=\"12\" width=\"14\" style=\"vertical-align: 0px;\"\/>. <\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"663\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-1024x663.png\" alt=\"\" class=\"wp-image-324\" srcset=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-1024x663.png 1024w, https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-300x194.png 300w, https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-768x497.png 768w, https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-1536x995.png 1536w, https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image.png 1723w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>The <strong>Love\u2013Young<\/strong> \u201csafe integration\u201d region where <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-6d33caadecfdb79773b82ffac9bc144f_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#92;&#102;&#114;&#97;&#99;&#123;&#49;&#125;&#123;&#112;&#125;&#43;&#92;&#102;&#114;&#97;&#99;&#123;&#49;&#125;&#123;&#113;&#125;&#32;&#62;&#32;&#49;\" title=\"Rendered by QuickLaTeX.com\" height=\"25\" width=\"74\" style=\"vertical-align: -9px;\"\/>.Example: Brownian needs <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-5035ceb9ac9bef7b8cb63c9ba4cd388b_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#112;&#32;&#62;&#32;&#50;\" title=\"Rendered by QuickLaTeX.com\" height=\"16\" width=\"42\" style=\"vertical-align: -4px;\"\/>; pair it with something with, say, <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-044e89430882f1e2da5e333bfa2656ff_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#113;&#32;&#60;&#32;&#50;\" title=\"Rendered by QuickLaTeX.com\" height=\"16\" width=\"40\" style=\"vertical-align: -4px;\"\/> so the inequality holds.<br><\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"646\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-1-1024x646.png\" alt=\"\" class=\"wp-image-325\" srcset=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-1-1024x646.png 1024w, https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-1-300x189.png 300w, https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-1-768x484.png 768w, https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-1-1536x969.png 1536w, https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-1.png 1746w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"659\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-2-1024x659.png\" alt=\"\" class=\"wp-image-326\" srcset=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-2-1024x659.png 1024w, https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-2-300x193.png 300w, https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-2-768x494.png 768w, https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-2-1536x989.png 1536w, https:\/\/mrivas.su.domains\/gbe\/wp-content\/uploads\/2025\/10\/image-2.png 1734w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>how the estimate <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-2f15ed9b5a9b19b1eda036088305dcb0_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#92;&#115;&#117;&#109;&#32;&#124;&#92;&#68;&#101;&#108;&#116;&#97;&#32;&#120;&#124;&#94;&#112;\" title=\"Rendered by QuickLaTeX.com\" height=\"19\" width=\"64\" style=\"vertical-align: -5px;\"\/> changes as we cut the interval into more and more pieces. <\/p>\n\n\n\n<p>Brownian-like path<\/p>\n\n\n\n<p>p=3 <strong>shrinks<\/strong> \u2192 for <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-9e8bfb05090c8862af90a0ac53f3ed7a_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#112;&#62;&#50;\" title=\"Rendered by QuickLaTeX.com\" height=\"16\" width=\"42\" style=\"vertical-align: -4px;\"\/>, the roughness is \u201ctamed,\u201d and p-variation is finite.<\/p>\n\n\n\n<p>p=1.5 <strong>grows<\/strong> with refinement \u2192 too rough: p-variation \u201cblows up\u201d for  <img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/mrivas.su.domains\/gbe\/wp-content\/ql-cache\/quicklatex.com-0dd86d1e7c378a017d1fd46200aca7d4_l3.png\" class=\"ql-img-inline-formula quicklatex-auto-format\" alt=\"&#112;&#92;&#108;&#101;&#32;&#50;\" title=\"Rendered by QuickLaTeX.com\" height=\"16\" width=\"42\" style=\"vertical-align: -4px;\"\/>.<\/p>\n\n\n\n<p>p=2 hovers around a constant (the borderline).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The book Concrete Functional Analysis by Richard M. Dudley and Rimas Norvai\u0161a presents some aspects of nonlinear analysis and their applications to probability. I wanted to get an understanding of the book as it could have been taught to a high school student. Here, I found the following observations by examining via the lens of [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-320","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/mrivas.su.domains\/gbe\/wp-json\/wp\/v2\/posts\/320","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mrivas.su.domains\/gbe\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mrivas.su.domains\/gbe\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mrivas.su.domains\/gbe\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mrivas.su.domains\/gbe\/wp-json\/wp\/v2\/comments?post=320"}],"version-history":[{"count":4,"href":"https:\/\/mrivas.su.domains\/gbe\/wp-json\/wp\/v2\/posts\/320\/revisions"}],"predecessor-version":[{"id":327,"href":"https:\/\/mrivas.su.domains\/gbe\/wp-json\/wp\/v2\/posts\/320\/revisions\/327"}],"wp:attachment":[{"href":"https:\/\/mrivas.su.domains\/gbe\/wp-json\/wp\/v2\/media?parent=320"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mrivas.su.domains\/gbe\/wp-json\/wp\/v2\/categories?post=320"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mrivas.su.domains\/gbe\/wp-json\/wp\/v2\/tags?post=320"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}