Knowledge

Hölder condition

Source 📝

36: 2076: 1680: 3210: 2071:{\displaystyle {\frac {|u_{n}(x)-u_{n}(y)|}{|x-y|^{\alpha }}}=\left({\frac {|u_{n}(x)-u_{n}(y)|}{|x-y|^{\beta }}}\right)^{\frac {\alpha }{\beta }}\left|u_{n}(x)-u_{n}(y)\right|^{1-{\frac {\alpha }{\beta }}}\leq |u_{n}|_{0,\beta }^{\frac {\alpha }{\beta }}\left(2\|u_{n}\|_{\infty }\right)^{1-{\frac {\alpha }{\beta }}}=o(1).} 4610: 1518: 861: 604: 2863: 4423: 985: 4888: 5366: 1362: 4339: 1285:
Let Ω be a bounded subset of some Euclidean space (or more generally, any totally bounded metric space) and let 0 < α < β ≤ 1 two Hölder exponents. Then, there is an obvious inclusion map of the corresponding Hölder spaces:
1675: 4083: 5056: 3458: 2592: 718: 4226: 452: 3952: 1357: 5269: 3205:{\displaystyle |f(x)-f(y)|\leq |f(x_{0})-f(x_{1})|+|f(x_{1})-f(x_{2})|+\ldots +|f(x_{n-1})-f(x_{n})|\leq \sum _{i=1}^{n}C\left({\frac {|x-y|}{n}}\right)^{\alpha }=C|x-y|^{\alpha }n^{1-\alpha }\to 0} 3705: 3645: 2198: 1223: 1164: 1117: 713: 2145: 220: 5147: 3574: 1069: 2858: 870: 4792: 4654: 3839: 3757: 1274: 1028: 5650: 5093: 2797: 2485: 4404: 4242: 3496: 2396: 5186: 3262: 3236: 1581: 3963: 2308: 5603: 2634: 5533: 3306: 5574: 4605:{\displaystyle \forall u\in C^{1}(\mathbf {R} ^{n})\cap L^{p}(\mathbf {R} ^{n}):\qquad \|u\|_{C^{0,\gamma }(\mathbf {R} ^{n})}\leq C\|u\|_{W^{1,p}(\mathbf {R} ^{n})},} 5489: 5460: 5277: 3804: 3777: 3522: 2659: 2367: 359: 258: 2714: 2451: 5427: 5398: 4949: 3365: 5206: 2679: 2416: 2347: 2746: 4105: 3847: 3844:
Functions which are locally integrable and whose integrals satisfy an appropriate growth condition are also Hölder continuous. For example, if we let
1513:{\displaystyle \forall f\in C^{0,\beta }(\Omega ):\qquad |f|_{0,\alpha ,\Omega }\leq \mathrm {diam} (\Omega )^{\beta -\alpha }|f|_{0,\beta ,\Omega }.} 1289: 2490: 4102:
decay at a fixed rate with respect to distance are Hölder continuous with an exponent that is determined by the rate of decay. For instance, if
65: 3583: 4762: 143: 5793: 856:{\displaystyle \left\|f\right\|_{C^{k,\alpha }}=\left\|f\right\|_{C^{k}}+\max _{|\beta |=k}\left|D^{\beta }f\right|_{C^{0,\alpha }}} 4933: 599:{\displaystyle \left|f\right|_{C^{0,\alpha }}=\sup _{x,y\in \Omega ,x\neq y}{\frac {|f(x)-f(y)|}{\left\|x-y\right\|^{\alpha }}},} 446: 5214: 3656: 2154: 1179: 1122: 1074: 669: 17: 2101: 5102: 5801: 5773: 5750: 87: 58: 3527: 1033: 2802: 4615: 3809: 3727: 1233: 992: 5614: 5063: 4371: 399: 5835: 4714:, not linear subspaces, connected by 1/2–Hölder continuous arcs. An example is the additive subgroup 2751: 2456: 330: 4377: 48: 3707:
and for no larger one. In the former case, the inequality of the definition holds with the constant
980:{\displaystyle \|f\|_{C^{k}}=\max _{|\beta |\leq k}\sup _{x\in \Omega }\left|D^{\beta }f(x)\right|.} 5845: 4883:{\displaystyle \left\|f-f_{k}\right\|_{\infty ,X}=O\left(k^{-{\frac {\alpha }{1-\alpha }}}\right).} 3463: 2372: 52: 44: 5152: 3724:
onto the square can be constructed to be 1/2–Hölder continuous. It can be proved that when
3241: 3215: 1537: 5840: 2281: 304:
We have the following chain of inclusions for functions defined on a closed and bounded interval
5579: 5361:{\displaystyle C^{0,\beta }(\Omega )\subset C^{0,\alpha }(\Omega ),0<\alpha <\beta \leq 1} 2597: 5494: 3267: 69: 5538: 5465: 5436: 3789: 3762: 3501: 2352: 344: 243: 2693: 2430: 5819: 4374:
if the spatial dimension is less than the exponent of the Sobolev space. To be precise, if
3359: 3352: 2208: 864: 365: 336: 294: 5403: 5374: 394:
Hölder spaces consisting of functions satisfying a Hölder condition are basic in areas of
8: 4334:{\displaystyle w\left(u,x_{0},{\tfrac {r}{2}}\right)\leq \lambda w\left(u,x_{0},r\right)} 395: 371: 283: 3779:-Hölder continuous function from the unit interval to the square cannot fill the square. 2639: 5719:
See, for example, Han and Lin, Chapter 3, Section 1. This result was originally due to
5702: 5191: 2664: 2401: 2332: 2719: 5807: 5797: 5769: 5746: 5738: 1670:{\displaystyle \left|u_{n}-u\right|_{0,\alpha }=\left|u_{n}\right|_{0,\alpha }\to 0,} 272: 4078:{\displaystyle \int _{B_{r}(x)}\left|u(y)-u_{x,r}\right|^{2}dy\leq Cr^{n+2\alpha },} 1558:. Thanks to the Ascoli-Arzelà theorem we can assume without loss of generality that 5720: 5694: 403: 5816: 3783: 3650: 264:
of the Hölder condition. A function on an interval satisfying the condition with
236:. More generally, the condition can be formulated for functions between any two 115: 5761: 298: 5829: 5051:{\displaystyle f^{*}(x):=\inf _{y\in X}\left\{f(y)+C|x-y|^{\alpha }\right\}.} 4367: 5811: 3453:{\displaystyle f(x)=\sum _{n=0}^{\infty }a^{n}\cos \left(b^{n}\pi x\right),} 2587:{\displaystyle \left|{\frac {f(x)-f(y)}{x-y}}\right|\leq C|x-y|^{\alpha -1}} 1226: 237: 5785: 5662: 3717: 629: 101: 4221:{\displaystyle w(u,x_{0},r)=\sup _{B_{r}(x_{0})}u-\inf _{B_{r}(x_{0})}u} 5706: 1359:
which is continuous since, by definition of the Hölder norms, we have:
422: 4936:
to the whole space, which is Hölder continuous with the same constant
1522:
Moreover, this inclusion is compact, meaning that bounded sets in the
5698: 4691:
A closed additive subgroup of an infinite dimensional Hilbert space
3947:{\displaystyle u_{x,r}={\frac {1}{|B_{r}|}}\int _{B_{r}(x)}u(y)\,dy} 3351:
otherwise is continuous, and therefore uniformly continuous by the
625: 421:≥ 0 an integer, consists of those functions on Ω having continuous 5685:
Hardy, G. H. (1916). "Weierstrass's Non-Differentiable Function".
3317:
There are examples of uniformly continuous functions that are not
3355:. It does not satisfy a Hölder condition of any order, however. 1352:{\displaystyle C^{0,\beta }(\Omega )\to C^{0,\alpha }(\Omega ),} 4708:, is a linear subspace. There are closed additive subgroups of 3309: 2682: 2661:
exists and is zero everywhere. Mean-value theorem now implies
433:-th partial derivatives are Hölder continuous with exponent 5264:{\displaystyle C^{0,\alpha }(\Omega ),0<\alpha \leq 1} 5766:
Elliptic Partial Differential Equations of Second Order
5099:–Hölder function has Hausdorff dimension at most 4681:, after possibly being redefined on a set of measure 0. 2245:
serves as a prototypical example of a function that is
666:
are bounded on the closure of Ω, then the Hölder space
5107: 4632: 4370:
can be embedded into the appropriate Hölder space via
4274: 3820: 3738: 3700:{\displaystyle \alpha \leq {\tfrac {\log 2}{\log 3}},} 3667: 3547: 5617: 5582: 5541: 5497: 5468: 5439: 5406: 5377: 5280: 5217: 5194: 5155: 5105: 5066: 4952: 4795: 4618: 4426: 4380: 4245: 4108: 3966: 3850: 3812: 3792: 3765: 3730: 3659: 3586: 3530: 3504: 3466: 3368: 3270: 3244: 3218: 2866: 2805: 2754: 2722: 2696: 2667: 2642: 2600: 2493: 2459: 2433: 2404: 2375: 2355: 2335: 2284: 2157: 2104: 1683: 1584: 1365: 1292: 1280: 1236: 1182: 1125: 1077: 1036: 995: 873: 721: 672: 455: 347: 246: 146: 3640:{\displaystyle \alpha =-{\frac {\log(a)}{\log(b)}}.} 2193:{\displaystyle C^{0,\alpha }({\overline {\Omega }})} 1218:{\displaystyle C^{k,\alpha }({\overline {\Omega }})} 1159:{\displaystyle \left\|f\right\|_{k,\alpha ,\Omega }} 1112:{\displaystyle \left|f\right|_{0,\alpha ,\Omega }\;} 708:{\displaystyle C^{k,\alpha }({\overline {\Omega }})} 2140:{\displaystyle C^{0,\beta }({\overline {\Omega }})} 1166:in order to stress the dependence on the domain of 989:These seminorms and norms are often denoted simply 5644: 5597: 5568: 5527: 5483: 5454: 5421: 5392: 5360: 5263: 5200: 5180: 5141: 5087: 5050: 4882: 4648: 4604: 4398: 4333: 4220: 4077: 3946: 3833: 3798: 3771: 3751: 3699: 3639: 3568: 3516: 3490: 3452: 3300: 3256: 3230: 3204: 2852: 2791: 2740: 2708: 2673: 2653: 2628: 2594:, so the difference quotient converges to zero as 2586: 2479: 2445: 2410: 2390: 2361: 2341: 2302: 2192: 2139: 2070: 1669: 1512: 1351: 1268: 1217: 1158: 1111: 1063: 1022: 979: 855: 707: 598: 353: 252: 215:{\displaystyle |f(x)-f(y)|\leq C\|x-y\|^{\alpha }} 214: 5737: 5687:Transactions of the American Mathematical Society 628:. If the Hölder coefficient is merely bounded on 624:In this case, the Hölder coefficient serves as a 5827: 5759: 5624: 5142:{\displaystyle {\tfrac {\dim _{H}(U)}{\alpha }}} 4976: 4183: 4144: 927: 901: 785: 491: 57:but its sources remain unclear because it lacks 27:Type of continuity of a complex-valued function 417:is an open subset of some Euclidean space and 5745:. American Mathematical Society, Providence. 5639: 5627: 5491:conditions respectively, then the functions 4559: 4552: 4506: 4499: 3569:{\displaystyle ab>1+{\tfrac {3\pi }{2}},} 2769: 2755: 2369:–Hölder continuous on an interval and 2017: 2003: 1244: 1237: 1064:{\displaystyle \left\|f\right\|_{k,\alpha }} 881: 874: 614:(uniformly) Hölder continuous with exponent 203: 190: 2853:{\displaystyle x_{k}=x+{\frac {k}{n}}(y-x)} 5794:Courant Institute of Mathematical Sciences 4649:{\displaystyle \gamma =1-{\tfrac {n}{p}}.} 3834:{\displaystyle \alpha <{\tfrac {1}{2}}} 3752:{\displaystyle \alpha >{\tfrac {1}{2}}} 1536:norm. This is a direct consequence of the 1269:{\displaystyle \|\cdot \|_{C^{k,\alpha }}} 1108: 1023:{\displaystyle \left|f\right|_{0,\alpha }} 5645:{\displaystyle \alpha =\min\{\mu ,\nu \}} 5088:{\displaystyle U\subset \mathbb {R} ^{n}} 5075: 4677:is in fact Hölder continuous of exponent 3937: 2473: 88:Learn how and when to remove this message 3325:. For instance, the function defined on 644:locally Hölder continuous with exponent 293:, the condition implies the function is 5790:Elliptic Partial Differential Equations 4905:–Hölder continuous uniform limit 4901:of Lipschitz functions converges to an 447:locally convex topological vector space 14: 5828: 5783: 3653:is Hölder continuous for any exponent 2200:Hölder continuous. This also includes 5684: 4353:and all sufficiently small values of 3786:are almost surely everywhere locally 4765:by means of a sequence of functions 2211:functions on a bounded set are also 104:, a real or complex-valued function 29: 4701:–Hölder continuous arcs with 4091:is Hölder continuous with exponent 2792:{\displaystyle \{x_{i}\}_{i=0}^{n}} 2480:{\displaystyle x,y\in \mathbb {R} } 1529:norm are relatively compact in the 24: 5328: 5300: 5237: 4824: 4751:–Hölder continuous function 4427: 4399:{\displaystyle n<p\leq \infty } 4393: 3400: 3225: 2294: 2179: 2126: 2021: 1571:uniformly, and we can also assume 1502: 1456: 1449: 1446: 1443: 1440: 1431: 1394: 1366: 1340: 1312: 1281:Compact embedding of Hölder spaces 1204: 1151: 1103: 937: 694: 507: 25: 5857: 4946:. The largest such extension is: 3321:–Hölder continuous for any 2147:Hölder continuous functions on a 4584: 4531: 4482: 4451: 662:and its derivatives up to order 389: 282:, then the function satisfies a 126:, when there are real constants 34: 4498: 1403: 297:. The condition is named after 5743:Partial Differential Equations 5713: 5678: 5592: 5586: 5563: 5557: 5551: 5545: 5522: 5516: 5507: 5501: 5478: 5472: 5449: 5443: 5416: 5410: 5387: 5381: 5331: 5325: 5303: 5297: 5240: 5234: 5188:is the Hausdorff dimension of 5175: 5169: 5129: 5123: 5030: 5015: 5005: 4999: 4969: 4963: 4934:uniformly continuous extension 4890:Conversely, any such sequence 4819: 4798: 4594: 4579: 4541: 4526: 4492: 4477: 4461: 4446: 4210: 4197: 4171: 4158: 4137: 4112: 4008: 4002: 3988: 3982: 3934: 3928: 3920: 3914: 3892: 3877: 3628: 3622: 3611: 3605: 3378: 3372: 3295: 3289: 3280: 3274: 3222: 3196: 3170: 3155: 3128: 3114: 3074: 3070: 3057: 3048: 3029: 3022: 3008: 3004: 2991: 2982: 2969: 2962: 2954: 2950: 2937: 2928: 2915: 2908: 2900: 2896: 2890: 2881: 2875: 2868: 2847: 2835: 2735: 2723: 2620: 2616: 2602: 2568: 2553: 2525: 2519: 2510: 2504: 2297: 2285: 2187: 2174: 2134: 2121: 2062: 2056: 1968: 1952: 1921: 1915: 1899: 1893: 1849: 1834: 1827: 1823: 1817: 1801: 1795: 1781: 1756: 1741: 1734: 1730: 1724: 1708: 1702: 1688: 1658: 1485: 1476: 1460: 1453: 1414: 1405: 1397: 1391: 1343: 1337: 1318: 1315: 1309: 1212: 1199: 1134: 1128: 1045: 1039: 966: 960: 914: 906: 798: 790: 764: 758: 730: 724: 702: 689: 581: 567: 560: 556: 550: 541: 535: 528: 400:partial differential equations 180: 176: 170: 161: 155: 148: 13: 1: 5730: 4685: 4406:then there exists a constant 3491:{\displaystyle 0<a<1,b} 2391:{\displaystyle \alpha >1,} 606:is finite, then the function 5181:{\displaystyle \dim _{H}(U)} 3257:{\displaystyle \alpha >1} 3231:{\displaystyle n\to \infty } 2182: 2129: 1207: 697: 449:. If the Hölder coefficient 7: 5656: 2316:Hölder continuous only for 2303:{\displaystyle [0,\infty )} 2080: 331:Continuously differentiable 10: 5862: 5598:{\displaystyle H(\alpha )} 2629:{\displaystyle |x-y|\to 0} 1176:is open and bounded, then 5528:{\displaystyle f(t)+g(t)} 3301:{\displaystyle f(x)=f(y)} 2272:. Further, if we defined 1551:be a bounded sequence in 1229:with respect to the norm 715:can be assigned the norm 5671: 5569:{\displaystyle f(t)g(t)} 3580:-Hölder continuous with 43:This article includes a 5484:{\displaystyle H(\nu )} 5455:{\displaystyle H(\mu )} 4918:–Hölder function 4763:Lipschitz approximation 3799:{\displaystyle \alpha } 3772:{\displaystyle \alpha } 3517:{\displaystyle b\geq 2} 2362:{\displaystyle \alpha } 354:{\displaystyle \alpha } 253:{\displaystyle \alpha } 72:more precise citations. 5768:. New York: Springer. 5646: 5599: 5570: 5529: 5485: 5456: 5429:satisfy on smooth arc 5423: 5394: 5362: 5265: 5202: 5182: 5143: 5089: 5052: 4942:and the same exponent 4884: 4650: 4606: 4400: 4335: 4222: 4079: 3948: 3835: 3800: 3773: 3753: 3701: 3641: 3570: 3518: 3492: 3454: 3404: 3302: 3258: 3232: 3206: 3101: 2854: 2793: 2742: 2710: 2709:{\displaystyle x<y} 2675: 2655: 2630: 2588: 2481: 2447: 2446:{\displaystyle x<y} 2412: 2392: 2363: 2343: 2304: 2251:Hölder continuous for 2194: 2141: 2072: 1671: 1514: 1353: 1270: 1219: 1160: 1113: 1065: 1024: 981: 857: 709: 600: 355: 316:of the real line with 275:(see proof below). If 254: 216: 5647: 5600: 5571: 5530: 5486: 5457: 5424: 5395: 5363: 5266: 5203: 5183: 5144: 5090: 5053: 4885: 4729:of the Hilbert space 4651: 4607: 4401: 4363:is Hölder continuous. 4336: 4223: 4080: 3949: 3836: 3801: 3774: 3754: 3702: 3642: 3571: 3519: 3493: 3455: 3384: 3303: 3259: 3233: 3207: 3081: 2855: 2794: 2743: 2711: 2676: 2656: 2631: 2589: 2482: 2448: 2413: 2393: 2364: 2344: 2305: 2195: 2142: 2073: 1672: 1538:Ascoli-Arzelà theorem 1515: 1354: 1271: 1220: 1161: 1114: 1066: 1025: 982: 858: 710: 601: 356: 255: 217: 5615: 5580: 5539: 5495: 5466: 5437: 5422:{\displaystyle g(t)} 5404: 5393:{\displaystyle f(t)} 5375: 5278: 5215: 5192: 5153: 5103: 5064: 4950: 4793: 4616: 4424: 4412:, depending only on 4378: 4243: 4106: 3964: 3848: 3810: 3790: 3763: 3728: 3657: 3584: 3528: 3502: 3464: 3366: 3360:Weierstrass function 3353:Heine-Cantor theorem 3268: 3242: 3216: 2864: 2803: 2752: 2720: 2694: 2665: 2640: 2598: 2491: 2457: 2431: 2402: 2373: 2353: 2333: 2282: 2209:Lipschitz continuous 2155: 2102: 1681: 1582: 1363: 1290: 1234: 1180: 1123: 1075: 1034: 993: 871: 863:where β ranges over 719: 670: 636:, then the function 453: 398:relevant to solving 366:uniformly continuous 345: 337:Lipschitz continuous 295:uniformly continuous 244: 144: 5836:Functional analysis 4372:Morrey's inequality 2788: 1993: 406:. The Hölder space 396:functional analysis 284:Lipschitz condition 5642: 5595: 5566: 5525: 5481: 5452: 5419: 5390: 5358: 5261: 5198: 5178: 5139: 5137: 5085: 5048: 4990: 4928:of a normed space 4880: 4757:on a metric space 4646: 4641: 4602: 4396: 4331: 4283: 4228:for some function 4218: 4214: 4175: 4075: 3944: 3831: 3829: 3806:-Hölder for every 3796: 3769: 3749: 3747: 3697: 3692: 3637: 3566: 3561: 3514: 3488: 3450: 3298: 3254: 3228: 3202: 2850: 2789: 2768: 2738: 2706: 2671: 2654:{\displaystyle f'} 2651: 2626: 2584: 2477: 2443: 2427:Consider the case 2408: 2388: 2359: 2339: 2300: 2217:Hölder continuous. 2207:and therefore all 2190: 2137: 2068: 1966: 1667: 1510: 1349: 1266: 1215: 1156: 1109: 1061: 1020: 977: 941: 925: 853: 809: 705: 596: 523: 429:and such that the 361:-Hölder continuous 351: 250: 212: 45:list of references 5739:Lawrence C. Evans 5271:is not separable. 5201:{\displaystyle U} 5136: 5060:The image of any 4975: 4869: 4640: 4282: 4182: 4143: 3897: 3828: 3746: 3691: 3632: 3560: 3136: 2833: 2674:{\displaystyle f} 2540: 2411:{\displaystyle f} 2342:{\displaystyle f} 2185: 2132: 2046: 1991: 1944: 1874: 1860: 1767: 1210: 926: 900: 784: 700: 591: 490: 425:up through order 404:dynamical systems 230:in the domain of 124:Hölder continuous 98: 97: 90: 18:Hölder continuous 16:(Redirected from 5853: 5815: 5779: 5756: 5724: 5721:Sergio Campanato 5717: 5711: 5710: 5682: 5651: 5649: 5648: 5643: 5610: 5604: 5602: 5601: 5596: 5575: 5573: 5572: 5567: 5534: 5532: 5531: 5526: 5490: 5488: 5487: 5482: 5461: 5459: 5458: 5453: 5432: 5428: 5426: 5425: 5420: 5399: 5397: 5396: 5391: 5367: 5365: 5364: 5359: 5324: 5323: 5296: 5295: 5270: 5268: 5267: 5262: 5233: 5232: 5207: 5205: 5204: 5199: 5187: 5185: 5184: 5179: 5165: 5164: 5148: 5146: 5145: 5140: 5138: 5132: 5119: 5118: 5108: 5098: 5094: 5092: 5091: 5086: 5084: 5083: 5078: 5057: 5055: 5054: 5049: 5044: 5040: 5039: 5038: 5033: 5018: 4989: 4962: 4961: 4945: 4941: 4931: 4927: 4923: 4917: 4910: 4904: 4900: 4889: 4887: 4886: 4881: 4876: 4872: 4871: 4870: 4868: 4854: 4834: 4833: 4822: 4818: 4817: 4816: 4788: 4784: 4775: 4760: 4756: 4750: 4743: 4728: 4713: 4707: 4700: 4696: 4680: 4676: 4670: 4655: 4653: 4652: 4647: 4642: 4633: 4611: 4609: 4608: 4603: 4598: 4597: 4593: 4592: 4587: 4578: 4577: 4545: 4544: 4540: 4539: 4534: 4525: 4524: 4491: 4490: 4485: 4476: 4475: 4460: 4459: 4454: 4445: 4444: 4419: 4415: 4411: 4405: 4403: 4402: 4397: 4362: 4356: 4352: 4344: 4340: 4338: 4337: 4332: 4330: 4326: 4319: 4318: 4289: 4285: 4284: 4275: 4269: 4268: 4238: 4227: 4225: 4224: 4219: 4213: 4209: 4208: 4196: 4195: 4174: 4170: 4169: 4157: 4156: 4130: 4129: 4098:Functions whose 4094: 4090: 4084: 4082: 4081: 4076: 4071: 4070: 4040: 4039: 4034: 4030: 4029: 4028: 3992: 3991: 3981: 3980: 3959: 3953: 3951: 3950: 3945: 3924: 3923: 3913: 3912: 3898: 3896: 3895: 3890: 3889: 3880: 3871: 3866: 3865: 3840: 3838: 3837: 3832: 3830: 3821: 3805: 3803: 3802: 3797: 3782:Sample paths of 3778: 3776: 3775: 3770: 3758: 3756: 3755: 3750: 3748: 3739: 3723: 3713: 3706: 3704: 3703: 3698: 3693: 3690: 3679: 3668: 3646: 3644: 3643: 3638: 3633: 3631: 3614: 3597: 3579: 3575: 3573: 3572: 3567: 3562: 3556: 3548: 3523: 3521: 3520: 3515: 3497: 3495: 3494: 3489: 3459: 3457: 3456: 3451: 3446: 3442: 3435: 3434: 3414: 3413: 3403: 3398: 3350: 3335: 3328: 3327:[0, 1/2] 3324: 3320: 3307: 3305: 3304: 3299: 3263: 3261: 3260: 3255: 3237: 3235: 3234: 3229: 3211: 3209: 3208: 3203: 3195: 3194: 3179: 3178: 3173: 3158: 3147: 3146: 3141: 3137: 3132: 3131: 3117: 3111: 3100: 3095: 3077: 3069: 3068: 3047: 3046: 3025: 3011: 3003: 3002: 2981: 2980: 2965: 2957: 2949: 2948: 2927: 2926: 2911: 2903: 2871: 2859: 2857: 2856: 2851: 2834: 2826: 2815: 2814: 2798: 2796: 2795: 2790: 2787: 2782: 2767: 2766: 2747: 2745: 2744: 2741:{\displaystyle } 2739: 2715: 2713: 2712: 2707: 2680: 2678: 2677: 2672: 2660: 2658: 2657: 2652: 2650: 2635: 2633: 2632: 2627: 2619: 2605: 2593: 2591: 2590: 2585: 2583: 2582: 2571: 2556: 2545: 2541: 2539: 2528: 2499: 2486: 2484: 2483: 2478: 2476: 2452: 2450: 2449: 2444: 2417: 2415: 2414: 2409: 2397: 2395: 2394: 2389: 2368: 2366: 2365: 2360: 2348: 2346: 2345: 2340: 2325: 2315: 2309: 2307: 2306: 2301: 2277: 2271: 2261: 2250: 2244: 2240: 2233: 2216: 2206: 2199: 2197: 2196: 2191: 2186: 2178: 2173: 2172: 2146: 2144: 2143: 2138: 2133: 2125: 2120: 2119: 2097: 2077: 2075: 2074: 2069: 2049: 2048: 2047: 2039: 2030: 2026: 2025: 2024: 2015: 2014: 1992: 1984: 1982: 1971: 1965: 1964: 1955: 1947: 1946: 1945: 1937: 1928: 1924: 1914: 1913: 1892: 1891: 1876: 1875: 1867: 1865: 1861: 1859: 1858: 1857: 1852: 1837: 1831: 1830: 1816: 1815: 1794: 1793: 1784: 1778: 1768: 1766: 1765: 1764: 1759: 1744: 1738: 1737: 1723: 1722: 1701: 1700: 1691: 1685: 1676: 1674: 1673: 1668: 1657: 1656: 1645: 1641: 1640: 1623: 1622: 1611: 1607: 1600: 1599: 1577: 1570: 1557: 1550: 1535: 1528: 1519: 1517: 1516: 1511: 1506: 1505: 1488: 1479: 1474: 1473: 1452: 1435: 1434: 1417: 1408: 1390: 1389: 1358: 1356: 1355: 1350: 1336: 1335: 1308: 1307: 1277: 1275: 1273: 1272: 1267: 1265: 1264: 1263: 1262: 1224: 1222: 1221: 1216: 1211: 1203: 1198: 1197: 1175: 1171: 1165: 1163: 1162: 1157: 1155: 1154: 1137: 1118: 1116: 1115: 1110: 1107: 1106: 1089: 1070: 1068: 1067: 1062: 1060: 1059: 1048: 1029: 1027: 1026: 1021: 1019: 1018: 1007: 986: 984: 983: 978: 973: 969: 956: 955: 940: 924: 917: 909: 896: 895: 894: 893: 862: 860: 859: 854: 852: 851: 850: 849: 833: 829: 825: 824: 808: 801: 793: 780: 779: 778: 777: 767: 752: 751: 750: 749: 733: 714: 712: 711: 706: 701: 693: 688: 687: 665: 661: 656:If the function 651: 647: 641: 635: 621: 617: 611: 605: 603: 602: 597: 592: 590: 589: 584: 580: 564: 563: 531: 525: 522: 486: 485: 484: 483: 467: 444: 436: 432: 428: 416: 412: 385: 360: 358: 357: 352: 325: 315: 292: 281: 270: 259: 257: 256: 251: 235: 229: 225: 221: 219: 218: 213: 211: 210: 183: 151: 139: 132: 120:Hölder condition 113: 109: 93: 86: 82: 79: 73: 68:this article by 59:inline citations 38: 37: 30: 21: 5861: 5860: 5856: 5855: 5854: 5852: 5851: 5850: 5846:Function spaces 5826: 5825: 5824: 5804: 5776: 5762:Trudinger, Neil 5753: 5733: 5728: 5727: 5718: 5714: 5699:10.2307/1989005 5683: 5679: 5674: 5659: 5616: 5613: 5612: 5606: 5581: 5578: 5577: 5540: 5537: 5536: 5496: 5493: 5492: 5467: 5464: 5463: 5438: 5435: 5434: 5430: 5405: 5402: 5401: 5376: 5373: 5372: 5313: 5309: 5285: 5281: 5279: 5276: 5275: 5222: 5218: 5216: 5213: 5212: 5193: 5190: 5189: 5160: 5156: 5154: 5151: 5150: 5114: 5110: 5109: 5106: 5104: 5101: 5100: 5096: 5079: 5074: 5073: 5065: 5062: 5061: 5034: 5029: 5028: 5014: 4995: 4991: 4979: 4957: 4953: 4951: 4948: 4947: 4943: 4937: 4929: 4925: 4919: 4915: 4906: 4902: 4897: 4891: 4858: 4853: 4849: 4845: 4841: 4823: 4812: 4808: 4801: 4797: 4796: 4794: 4791: 4790: 4789:-Lipschitz and 4786: 4782: 4777: 4772: 4766: 4758: 4752: 4748: 4730: 4715: 4709: 4702: 4698: 4697:, connected by 4692: 4688: 4678: 4672: 4657: 4631: 4617: 4614: 4613: 4588: 4583: 4582: 4567: 4563: 4562: 4558: 4535: 4530: 4529: 4514: 4510: 4509: 4505: 4486: 4481: 4480: 4471: 4467: 4455: 4450: 4449: 4440: 4436: 4425: 4422: 4421: 4417: 4413: 4407: 4379: 4376: 4375: 4358: 4354: 4346: 4342: 4314: 4310: 4303: 4299: 4273: 4264: 4260: 4253: 4249: 4244: 4241: 4240: 4229: 4204: 4200: 4191: 4187: 4186: 4165: 4161: 4152: 4148: 4147: 4125: 4121: 4107: 4104: 4103: 4092: 4086: 4057: 4053: 4035: 4018: 4014: 3998: 3994: 3993: 3976: 3972: 3971: 3967: 3965: 3962: 3961: 3955: 3908: 3904: 3903: 3899: 3891: 3885: 3881: 3876: 3875: 3870: 3855: 3851: 3849: 3846: 3845: 3819: 3811: 3808: 3807: 3791: 3788: 3787: 3784:Brownian motion 3764: 3761: 3760: 3759:the image of a 3737: 3729: 3726: 3725: 3721: 3708: 3680: 3669: 3666: 3658: 3655: 3654: 3651:Cantor function 3615: 3598: 3596: 3585: 3582: 3581: 3577: 3549: 3546: 3529: 3526: 3525: 3503: 3500: 3499: 3498:is an integer, 3465: 3462: 3461: 3430: 3426: 3425: 3421: 3409: 3405: 3399: 3388: 3367: 3364: 3363: 3337: 3330: 3326: 3322: 3318: 3314: 3313: 3269: 3266: 3265: 3243: 3240: 3239: 3217: 3214: 3213: 3184: 3180: 3174: 3169: 3168: 3154: 3142: 3127: 3113: 3112: 3110: 3106: 3105: 3096: 3085: 3073: 3064: 3060: 3036: 3032: 3021: 3007: 2998: 2994: 2976: 2972: 2961: 2953: 2944: 2940: 2922: 2918: 2907: 2899: 2867: 2865: 2862: 2861: 2825: 2810: 2806: 2804: 2801: 2800: 2783: 2772: 2762: 2758: 2753: 2750: 2749: 2721: 2718: 2717: 2695: 2692: 2691: 2688:Alternate idea: 2666: 2663: 2662: 2643: 2641: 2638: 2637: 2615: 2601: 2599: 2596: 2595: 2572: 2567: 2566: 2552: 2529: 2500: 2498: 2494: 2492: 2489: 2488: 2472: 2458: 2455: 2454: 2432: 2429: 2428: 2424: 2403: 2400: 2399: 2374: 2371: 2370: 2354: 2351: 2350: 2334: 2331: 2330: 2317: 2311: 2283: 2280: 2279: 2278:analogously on 2273: 2263: 2252: 2246: 2242: 2235: 2221: 2212: 2201: 2177: 2162: 2158: 2156: 2153: 2152: 2124: 2109: 2105: 2103: 2100: 2099: 2087: 2083: 2038: 2031: 2020: 2016: 2010: 2006: 1999: 1995: 1994: 1983: 1972: 1967: 1960: 1956: 1951: 1936: 1929: 1909: 1905: 1887: 1883: 1882: 1878: 1877: 1866: 1853: 1848: 1847: 1833: 1832: 1826: 1811: 1807: 1789: 1785: 1780: 1779: 1777: 1773: 1772: 1760: 1755: 1754: 1740: 1739: 1733: 1718: 1714: 1696: 1692: 1687: 1686: 1684: 1682: 1679: 1678: 1646: 1636: 1632: 1628: 1627: 1612: 1595: 1591: 1590: 1586: 1585: 1583: 1580: 1579: 1572: 1564: 1559: 1552: 1547: 1541: 1534: 1530: 1527: 1523: 1489: 1484: 1483: 1475: 1463: 1459: 1439: 1418: 1413: 1412: 1404: 1379: 1375: 1364: 1361: 1360: 1325: 1321: 1297: 1293: 1291: 1288: 1287: 1283: 1252: 1248: 1247: 1243: 1235: 1232: 1231: 1230: 1202: 1187: 1183: 1181: 1178: 1177: 1173: 1167: 1138: 1127: 1126: 1124: 1121: 1120: 1090: 1079: 1078: 1076: 1073: 1072: 1049: 1038: 1037: 1035: 1032: 1031: 1008: 997: 996: 994: 991: 990: 951: 947: 946: 942: 930: 913: 905: 904: 889: 885: 884: 880: 872: 869: 868: 839: 835: 834: 820: 816: 815: 811: 810: 797: 789: 788: 773: 769: 768: 757: 756: 739: 735: 734: 723: 722: 720: 717: 716: 692: 677: 673: 671: 668: 667: 663: 657: 649: 645: 637: 633: 619: 615: 607: 585: 570: 566: 565: 559: 527: 526: 524: 494: 473: 469: 468: 457: 456: 454: 451: 450: 438: 434: 430: 426: 414: 407: 392: 379: 376: 346: 343: 342: 317: 305: 287: 276: 265: 245: 242: 241: 231: 227: 223: 206: 202: 179: 147: 145: 142: 141: 134: 127: 116:Euclidean space 111: 105: 94: 83: 77: 74: 63: 49:related reading 39: 35: 28: 23: 22: 15: 12: 11: 5: 5859: 5849: 5848: 5843: 5841:Lipschitz maps 5838: 5823: 5822: 5802: 5781: 5774: 5757: 5751: 5734: 5732: 5729: 5726: 5725: 5712: 5693:(3): 301–325. 5676: 5675: 5673: 5670: 5669: 5668: 5658: 5655: 5654: 5653: 5641: 5638: 5635: 5632: 5629: 5626: 5623: 5620: 5594: 5591: 5588: 5585: 5565: 5562: 5559: 5556: 5553: 5550: 5547: 5544: 5524: 5521: 5518: 5515: 5512: 5509: 5506: 5503: 5500: 5480: 5477: 5474: 5471: 5451: 5448: 5445: 5442: 5418: 5415: 5412: 5409: 5389: 5386: 5383: 5380: 5369: 5357: 5354: 5351: 5348: 5345: 5342: 5339: 5336: 5333: 5330: 5327: 5322: 5319: 5316: 5312: 5308: 5305: 5302: 5299: 5294: 5291: 5288: 5284: 5274:The embedding 5272: 5260: 5257: 5254: 5251: 5248: 5245: 5242: 5239: 5236: 5231: 5228: 5225: 5221: 5209: 5197: 5177: 5174: 5171: 5168: 5163: 5159: 5135: 5131: 5128: 5125: 5122: 5117: 5113: 5082: 5077: 5072: 5069: 5058: 5047: 5043: 5037: 5032: 5027: 5024: 5021: 5017: 5013: 5010: 5007: 5004: 5001: 4998: 4994: 4988: 4985: 4982: 4978: 4974: 4971: 4968: 4965: 4960: 4956: 4912: 4895: 4879: 4875: 4867: 4864: 4861: 4857: 4852: 4848: 4844: 4840: 4837: 4832: 4829: 4826: 4821: 4815: 4811: 4807: 4804: 4800: 4780: 4770: 4745: 4687: 4684: 4683: 4682: 4645: 4639: 4636: 4630: 4627: 4624: 4621: 4601: 4596: 4591: 4586: 4581: 4576: 4573: 4570: 4566: 4561: 4557: 4554: 4551: 4548: 4543: 4538: 4533: 4528: 4523: 4520: 4517: 4513: 4508: 4504: 4501: 4497: 4494: 4489: 4484: 4479: 4474: 4470: 4466: 4463: 4458: 4453: 4448: 4443: 4439: 4435: 4432: 4429: 4395: 4392: 4389: 4386: 4383: 4364: 4329: 4325: 4322: 4317: 4313: 4309: 4306: 4302: 4298: 4295: 4292: 4288: 4281: 4278: 4272: 4267: 4263: 4259: 4256: 4252: 4248: 4217: 4212: 4207: 4203: 4199: 4194: 4190: 4185: 4181: 4178: 4173: 4168: 4164: 4160: 4155: 4151: 4146: 4142: 4139: 4136: 4133: 4128: 4124: 4120: 4117: 4114: 4111: 4096: 4074: 4069: 4066: 4063: 4060: 4056: 4052: 4049: 4046: 4043: 4038: 4033: 4027: 4024: 4021: 4017: 4013: 4010: 4007: 4004: 4001: 3997: 3990: 3987: 3984: 3979: 3975: 3970: 3943: 3940: 3936: 3933: 3930: 3927: 3922: 3919: 3916: 3911: 3907: 3902: 3894: 3888: 3884: 3879: 3874: 3869: 3864: 3861: 3858: 3854: 3842: 3827: 3824: 3818: 3815: 3795: 3780: 3768: 3745: 3742: 3736: 3733: 3722:[0, 1] 3715: 3696: 3689: 3686: 3683: 3678: 3675: 3672: 3665: 3662: 3647: 3636: 3630: 3627: 3624: 3621: 3618: 3613: 3610: 3607: 3604: 3601: 3595: 3592: 3589: 3565: 3559: 3555: 3552: 3545: 3542: 3539: 3536: 3533: 3513: 3510: 3507: 3487: 3484: 3481: 3478: 3475: 3472: 3469: 3449: 3445: 3441: 3438: 3433: 3429: 3424: 3420: 3417: 3412: 3408: 3402: 3397: 3394: 3391: 3387: 3383: 3380: 3377: 3374: 3371: 3356: 3297: 3294: 3291: 3288: 3285: 3282: 3279: 3276: 3273: 3253: 3250: 3247: 3227: 3224: 3221: 3201: 3198: 3193: 3190: 3187: 3183: 3177: 3172: 3167: 3164: 3161: 3157: 3153: 3150: 3145: 3140: 3135: 3130: 3126: 3123: 3120: 3116: 3109: 3104: 3099: 3094: 3091: 3088: 3084: 3080: 3076: 3072: 3067: 3063: 3059: 3056: 3053: 3050: 3045: 3042: 3039: 3035: 3031: 3028: 3024: 3020: 3017: 3014: 3010: 3006: 3001: 2997: 2993: 2990: 2987: 2984: 2979: 2975: 2971: 2968: 2964: 2960: 2956: 2952: 2947: 2943: 2939: 2936: 2933: 2930: 2925: 2921: 2917: 2914: 2910: 2906: 2902: 2898: 2895: 2892: 2889: 2886: 2883: 2880: 2877: 2874: 2870: 2849: 2846: 2843: 2840: 2837: 2832: 2829: 2824: 2821: 2818: 2813: 2809: 2786: 2781: 2778: 2775: 2771: 2765: 2761: 2757: 2737: 2734: 2731: 2728: 2725: 2716:and partition 2705: 2702: 2699: 2670: 2649: 2646: 2625: 2622: 2618: 2614: 2611: 2608: 2604: 2581: 2578: 2575: 2570: 2565: 2562: 2559: 2555: 2551: 2548: 2544: 2538: 2535: 2532: 2527: 2524: 2521: 2518: 2515: 2512: 2509: 2506: 2503: 2497: 2475: 2471: 2468: 2465: 2462: 2442: 2439: 2436: 2425: 2422: 2421: 2420: 2419: 2407: 2387: 2384: 2381: 2378: 2358: 2338: 2329:If a function 2327: 2310:, it would be 2299: 2296: 2293: 2290: 2287: 2262:, but not for 2243:[0, 1] 2218: 2189: 2184: 2181: 2176: 2171: 2168: 2165: 2161: 2136: 2131: 2128: 2123: 2118: 2115: 2112: 2108: 2082: 2079: 2067: 2064: 2061: 2058: 2055: 2052: 2045: 2042: 2037: 2034: 2029: 2023: 2019: 2013: 2009: 2005: 2002: 1998: 1990: 1987: 1981: 1978: 1975: 1970: 1963: 1959: 1954: 1950: 1943: 1940: 1935: 1932: 1927: 1923: 1920: 1917: 1912: 1908: 1904: 1901: 1898: 1895: 1890: 1886: 1881: 1873: 1870: 1864: 1856: 1851: 1846: 1843: 1840: 1836: 1829: 1825: 1822: 1819: 1814: 1810: 1806: 1803: 1800: 1797: 1792: 1788: 1783: 1776: 1771: 1763: 1758: 1753: 1750: 1747: 1743: 1736: 1732: 1729: 1726: 1721: 1717: 1713: 1710: 1707: 1704: 1699: 1695: 1690: 1666: 1663: 1660: 1655: 1652: 1649: 1644: 1639: 1635: 1631: 1626: 1621: 1618: 1615: 1610: 1606: 1603: 1598: 1594: 1589: 1562: 1545: 1540:. Indeed, let 1532: 1525: 1509: 1504: 1501: 1498: 1495: 1492: 1487: 1482: 1478: 1472: 1469: 1466: 1462: 1458: 1455: 1451: 1448: 1445: 1442: 1438: 1433: 1430: 1427: 1424: 1421: 1416: 1411: 1407: 1402: 1399: 1396: 1393: 1388: 1385: 1382: 1378: 1374: 1371: 1368: 1348: 1345: 1342: 1339: 1334: 1331: 1328: 1324: 1320: 1317: 1314: 1311: 1306: 1303: 1300: 1296: 1282: 1279: 1261: 1258: 1255: 1251: 1246: 1242: 1239: 1214: 1209: 1206: 1201: 1196: 1193: 1190: 1186: 1153: 1150: 1147: 1144: 1141: 1136: 1133: 1130: 1105: 1102: 1099: 1096: 1093: 1088: 1085: 1082: 1058: 1055: 1052: 1047: 1044: 1041: 1017: 1014: 1011: 1006: 1003: 1000: 976: 972: 968: 965: 962: 959: 954: 950: 945: 939: 936: 933: 929: 923: 920: 916: 912: 908: 903: 899: 892: 888: 883: 879: 876: 848: 845: 842: 838: 832: 828: 823: 819: 814: 807: 804: 800: 796: 792: 787: 783: 776: 772: 766: 763: 760: 755: 748: 745: 742: 738: 732: 729: 726: 704: 699: 696: 691: 686: 683: 680: 676: 642:is said to be 612:is said to be 595: 588: 583: 579: 576: 573: 569: 562: 558: 555: 552: 549: 546: 543: 540: 537: 534: 530: 521: 518: 515: 512: 509: 506: 503: 500: 497: 493: 489: 482: 479: 476: 472: 466: 463: 460: 391: 388: 350: 328: 260:is called the 249: 209: 205: 201: 198: 195: 192: 189: 186: 182: 178: 175: 172: 169: 166: 163: 160: 157: 154: 150: 96: 95: 53:external links 42: 40: 33: 26: 9: 6: 4: 3: 2: 5858: 5847: 5844: 5842: 5839: 5837: 5834: 5833: 5831: 5821: 5818: 5813: 5809: 5805: 5803:0-9658703-0-8 5799: 5795: 5791: 5787: 5782: 5777: 5775:3-540-41160-7 5771: 5767: 5763: 5760:Gilbarg, D.; 5758: 5754: 5752:0-8218-0772-2 5748: 5744: 5740: 5736: 5735: 5722: 5716: 5708: 5704: 5700: 5696: 5692: 5688: 5681: 5677: 5667: 5665: 5661: 5660: 5636: 5633: 5630: 5621: 5618: 5609: 5605:condition on 5589: 5583: 5560: 5554: 5548: 5542: 5519: 5513: 5510: 5504: 5498: 5475: 5469: 5446: 5440: 5413: 5407: 5384: 5378: 5370: 5368:is not dense. 5355: 5352: 5349: 5346: 5343: 5340: 5337: 5334: 5320: 5317: 5314: 5310: 5306: 5292: 5289: 5286: 5282: 5273: 5258: 5255: 5252: 5249: 5246: 5243: 5229: 5226: 5223: 5219: 5210: 5195: 5172: 5166: 5161: 5157: 5133: 5126: 5120: 5115: 5111: 5080: 5070: 5067: 5059: 5045: 5041: 5035: 5025: 5022: 5019: 5011: 5008: 5002: 4996: 4992: 4986: 4983: 4980: 4972: 4966: 4958: 4954: 4940: 4935: 4922: 4913: 4909: 4898: 4877: 4873: 4865: 4862: 4859: 4855: 4850: 4846: 4842: 4838: 4835: 4830: 4827: 4813: 4809: 4805: 4802: 4783: 4773: 4764: 4755: 4746: 4741: 4737: 4733: 4726: 4722: 4718: 4712: 4705: 4695: 4690: 4689: 4675: 4668: 4664: 4660: 4643: 4637: 4634: 4628: 4625: 4622: 4619: 4599: 4589: 4574: 4571: 4568: 4564: 4555: 4549: 4546: 4536: 4521: 4518: 4515: 4511: 4502: 4495: 4487: 4472: 4468: 4464: 4456: 4441: 4437: 4433: 4430: 4420:, such that: 4410: 4390: 4387: 4384: 4381: 4373: 4369: 4368:Sobolev space 4366:Functions in 4365: 4361: 4350: 4327: 4323: 4320: 4315: 4311: 4307: 4304: 4300: 4296: 4293: 4290: 4286: 4279: 4276: 4270: 4265: 4261: 4257: 4254: 4250: 4246: 4236: 4232: 4215: 4205: 4201: 4192: 4188: 4179: 4176: 4166: 4162: 4153: 4149: 4140: 4134: 4131: 4126: 4122: 4118: 4115: 4109: 4101: 4097: 4089: 4072: 4067: 4064: 4061: 4058: 4054: 4050: 4047: 4044: 4041: 4036: 4031: 4025: 4022: 4019: 4015: 4011: 4005: 3999: 3995: 3985: 3977: 3973: 3968: 3958: 3941: 3938: 3931: 3925: 3917: 3909: 3905: 3900: 3886: 3882: 3872: 3867: 3862: 3859: 3856: 3852: 3843: 3825: 3822: 3816: 3813: 3793: 3785: 3781: 3766: 3743: 3740: 3734: 3731: 3719: 3716: 3711: 3694: 3687: 3684: 3681: 3676: 3673: 3670: 3663: 3660: 3652: 3648: 3634: 3625: 3619: 3616: 3608: 3602: 3599: 3593: 3590: 3587: 3563: 3557: 3553: 3550: 3543: 3540: 3537: 3534: 3531: 3511: 3508: 3505: 3485: 3482: 3479: 3476: 3473: 3470: 3467: 3447: 3443: 3439: 3436: 3431: 3427: 3422: 3418: 3415: 3410: 3406: 3395: 3392: 3389: 3385: 3381: 3375: 3369: 3361: 3357: 3354: 3348: 3344: 3340: 3333: 3316: 3315: 3312: 3311: 3292: 3286: 3283: 3277: 3271: 3251: 3248: 3245: 3219: 3199: 3191: 3188: 3185: 3181: 3175: 3165: 3162: 3159: 3151: 3148: 3143: 3138: 3133: 3124: 3121: 3118: 3107: 3102: 3097: 3092: 3089: 3086: 3082: 3078: 3065: 3061: 3054: 3051: 3043: 3040: 3037: 3033: 3026: 3018: 3015: 3012: 2999: 2995: 2988: 2985: 2977: 2973: 2966: 2958: 2945: 2941: 2934: 2931: 2923: 2919: 2912: 2904: 2893: 2887: 2884: 2878: 2872: 2844: 2841: 2838: 2830: 2827: 2822: 2819: 2816: 2811: 2807: 2784: 2779: 2776: 2773: 2763: 2759: 2732: 2729: 2726: 2703: 2700: 2697: 2689: 2685: 2684: 2681:is constant. 2668: 2647: 2644: 2623: 2612: 2609: 2606: 2579: 2576: 2573: 2563: 2560: 2557: 2549: 2546: 2542: 2536: 2533: 2530: 2522: 2516: 2513: 2507: 2501: 2495: 2469: 2466: 2463: 2460: 2440: 2437: 2434: 2405: 2385: 2382: 2379: 2376: 2356: 2336: 2328: 2324: 2320: 2314: 2291: 2288: 2276: 2270: 2266: 2260: 2256: 2249: 2241:) defined on 2238: 2232: 2228: 2224: 2220:The function 2219: 2215: 2210: 2204: 2169: 2166: 2163: 2159: 2150: 2116: 2113: 2110: 2106: 2095: 2091: 2085: 2084: 2078: 2065: 2059: 2053: 2050: 2043: 2040: 2035: 2032: 2027: 2011: 2007: 2000: 1996: 1988: 1985: 1979: 1976: 1973: 1961: 1957: 1948: 1941: 1938: 1933: 1930: 1925: 1918: 1910: 1906: 1902: 1896: 1888: 1884: 1879: 1871: 1868: 1862: 1854: 1844: 1841: 1838: 1820: 1812: 1808: 1804: 1798: 1790: 1786: 1774: 1769: 1761: 1751: 1748: 1745: 1727: 1719: 1715: 1711: 1705: 1697: 1693: 1664: 1661: 1653: 1650: 1647: 1642: 1637: 1633: 1629: 1624: 1619: 1616: 1613: 1608: 1604: 1601: 1596: 1592: 1587: 1575: 1569: 1565: 1555: 1548: 1539: 1520: 1507: 1499: 1496: 1493: 1490: 1480: 1470: 1467: 1464: 1436: 1428: 1425: 1422: 1419: 1409: 1400: 1386: 1383: 1380: 1376: 1372: 1369: 1346: 1332: 1329: 1326: 1322: 1304: 1301: 1298: 1294: 1278: 1259: 1256: 1253: 1249: 1240: 1228: 1194: 1191: 1188: 1184: 1170: 1148: 1145: 1142: 1139: 1131: 1100: 1097: 1094: 1091: 1086: 1083: 1080: 1056: 1053: 1050: 1042: 1015: 1012: 1009: 1004: 1001: 998: 987: 974: 970: 963: 957: 952: 948: 943: 934: 931: 921: 918: 910: 897: 890: 886: 877: 866: 865:multi-indices 846: 843: 840: 836: 830: 826: 821: 817: 812: 805: 802: 794: 781: 774: 770: 761: 753: 746: 743: 740: 736: 727: 684: 681: 678: 674: 660: 654: 653: 640: 631: 627: 623: 610: 593: 586: 577: 574: 571: 553: 547: 544: 538: 532: 519: 516: 513: 510: 504: 501: 498: 495: 487: 480: 477: 474: 470: 464: 461: 458: 448: 442: 424: 420: 410: 405: 401: 397: 390:Hölder spaces 387: 383: 374: 373: 368: 367: 362: 348: 339: 338: 333: 332: 327: 324: 320: 313: 309: 302: 300: 296: 290: 285: 279: 274: 268: 263: 247: 240:. The number 239: 238:metric spaces 234: 207: 199: 196: 193: 187: 184: 173: 167: 164: 158: 152: 137: 130: 125: 121: 117: 114:-dimensional 108: 103: 92: 89: 81: 71: 67: 61: 60: 54: 50: 46: 41: 32: 31: 19: 5792:. New York: 5789: 5786:Lin, Fanghua 5765: 5742: 5715: 5690: 5686: 5680: 5663: 5607: 5576:satisfy the 4938: 4924:on a subset 4920: 4907: 4893: 4778: 4768: 4753: 4739: 4735: 4731: 4724: 4720: 4716: 4710: 4703: 4693: 4673: 4666: 4662: 4658: 4408: 4359: 4348: 4341:for a fixed 4234: 4230: 4099: 4087: 3956: 3718:Peano curves 3709: 3362:defined by: 3346: 3342: 3338: 3331: 2687: 2686: 2426: 2418:is constant. 2322: 2318: 2312: 2274: 2268: 2264: 2258: 2254: 2247: 2236: 2230: 2226: 2222: 2213: 2202: 2148: 2093: 2089: 1573: 1567: 1560: 1553: 1543: 1521: 1284: 1227:Banach space 1168: 988: 658: 655: 643: 638: 613: 608: 445:. This is a 440: 418: 408: 393: 381: 377: 370: 364: 341: 335: 329: 322: 318: 311: 307: 303: 288: 277: 266: 261: 232: 140:, such that 135: 128: 123: 119: 118:satisfies a 106: 99: 84: 75: 64:Please help 56: 5784:Han, Qing; 4100:oscillation 2151:Ω are also 2149:bounded set 632:subsets of 423:derivatives 299:Otto Hölder 102:mathematics 70:introducing 5830:Categories 5731:References 5666:-variation 5211:The space 4776:such that 4686:Properties 4239:satisfies 3960:satisfies 3712: := 2 3345:) = 1/log( 372:continuous 286:. For any 5637:ν 5631:μ 5619:α 5590:α 5476:ν 5447:μ 5353:≤ 5350:β 5344:α 5329:Ω 5321:α 5307:⊂ 5301:Ω 5293:β 5256:≤ 5253:α 5238:Ω 5230:α 5167:⁡ 5134:α 5121:⁡ 5095:under an 5071:⊂ 5036:α 5023:− 4984:∈ 4959:∗ 4932:admits a 4866:α 4863:− 4856:α 4851:− 4825:∞ 4806:− 4761:admits a 4629:− 4620:γ 4560:‖ 4553:‖ 4547:≤ 4522:γ 4507:‖ 4500:‖ 4465:∩ 4434:∈ 4428:∀ 4394:∞ 4391:≤ 4294:λ 4291:≤ 4180:− 4068:α 4048:≤ 4012:− 3969:∫ 3901:∫ 3814:α 3794:α 3767:α 3732:α 3685:⁡ 3674:⁡ 3664:≤ 3661:α 3620:⁡ 3603:⁡ 3594:− 3588:α 3554:π 3509:≥ 3437:π 3419:⁡ 3401:∞ 3386:∑ 3246:α 3238:, due to 3226:∞ 3223:→ 3197:→ 3192:α 3189:− 3176:α 3163:− 3144:α 3122:− 3083:∑ 3079:≤ 3052:− 3041:− 3016:… 2986:− 2932:− 2905:≤ 2885:− 2842:− 2621:→ 2610:− 2577:− 2574:α 2561:− 2547:≤ 2534:− 2514:− 2470:∈ 2377:α 2357:α 2295:∞ 2183:¯ 2180:Ω 2170:α 2130:¯ 2127:Ω 2117:β 2098:then all 2044:β 2041:α 2036:− 2022:∞ 2018:‖ 2004:‖ 1989:β 1986:α 1980:β 1949:≤ 1942:β 1939:α 1934:− 1903:− 1872:β 1869:α 1855:β 1842:− 1805:− 1762:α 1749:− 1712:− 1659:→ 1654:α 1620:α 1602:− 1503:Ω 1497:β 1471:α 1468:− 1465:β 1457:Ω 1437:≤ 1432:Ω 1426:α 1395:Ω 1387:β 1373:∈ 1367:∀ 1341:Ω 1333:α 1319:→ 1313:Ω 1305:β 1260:α 1245:‖ 1241:⋅ 1238:‖ 1208:¯ 1205:Ω 1195:α 1152:Ω 1146:α 1104:Ω 1098:α 1057:α 1016:α 953:β 938:Ω 935:∈ 919:≤ 911:β 882:‖ 875:‖ 847:α 822:β 795:β 747:α 698:¯ 695:Ω 685:α 587:α 575:− 545:− 517:≠ 508:Ω 505:∈ 481:α 402:, and in 363:⊂ 349:α 248:α 208:α 204:‖ 197:− 191:‖ 185:≤ 165:− 78:July 2022 5812:38168365 5788:(1997). 5764:(1983). 5741:(1998). 5657:See also 5611:, where 5149:, where 4820:‖ 4799:‖ 4706:> 1/2 4656:Thus if 2648:′ 2636:. Hence 2081:Examples 1677:because 1135:‖ 1129:‖ 1071:or also 1046:‖ 1040:‖ 765:‖ 759:‖ 731:‖ 725:‖ 626:seminorm 582:‖ 568:‖ 437:, where 413:, where 340:⊂ 334:⊂ 273:constant 262:exponent 222:for all 122:, or is 5820:1669352 5707:1989005 4671:, then 4357:, then 4347:0 < 3336:and by 3334:(0) = 0 3264:. Thus 2860:. Then 2487:. Then 2253:0 < 2088:0 < 1578:. Then 630:compact 439:0 < 380:0 < 66:improve 5810:  5800:  5772:  5749:  5705:  4612:where 4351:< 1 3460:where 3310:Q.E.D. 2799:where 2683:Q.E.D. 2453:where 2234:(with 1172:. If 378:where 291:> 0 269:> 1 138:> 0 5703:JSTOR 5672:Notes 4345:with 4085:then 3720:from 2748:into 2423:Proof 2398:then 2267:> 1531:‖ · ‖ 1524:‖ · ‖ 1225:is a 321:< 314:] 306:[ 51:, or 5808:OCLC 5798:ISBN 5770:ISBN 5747:ISBN 5535:and 5462:and 5433:the 5400:and 5347:< 5341:< 5250:< 4914:Any 4747:Any 4416:and 4385:< 3954:and 3817:< 3735:> 3649:The 3538:> 3524:and 3477:< 3471:< 3358:The 3249:> 2701:< 2690:Fix 2438:< 2380:> 2229:) = 1119:and 1030:and 867:and 226:and 5695:doi 5625:min 5371:If 5158:dim 5112:dim 4977:inf 4785:is 4184:inf 4145:sup 3682:log 3671:log 3617:log 3600:log 3576:is 3416:cos 3329:by 3212:as 2349:is 2239:≤ 1 2205:= 1 2096:≤ 1 2086:If 1576:= 0 1556:(Ω) 1533:0,α 1526:0,β 928:sup 902:max 786:max 648:in 618:in 492:sup 443:≤ 1 411:(Ω) 384:≤ 1 280:= 1 271:is 131:≥ 0 110:on 100:In 5832:: 5817:MR 5806:. 5796:. 5701:. 5691:17 5689:. 4973::= 4738:, 4723:, 4661:∈ 3308:. 2321:= 2257:≤ 2092:≤ 1566:→ 386:. 369:= 326:: 310:, 301:. 133:, 55:, 47:, 5814:. 5780:. 5778:. 5755:. 5723:. 5709:. 5697:: 5664:p 5652:. 5640:} 5634:, 5628:{ 5622:= 5608:L 5593:) 5587:( 5584:H 5564:) 5561:t 5558:( 5555:g 5552:) 5549:t 5546:( 5543:f 5523:) 5520:t 5517:( 5514:g 5511:+ 5508:) 5505:t 5502:( 5499:f 5479:) 5473:( 5470:H 5450:) 5444:( 5441:H 5431:L 5417:) 5414:t 5411:( 5408:g 5388:) 5385:t 5382:( 5379:f 5356:1 5338:0 5335:, 5332:) 5326:( 5318:, 5315:0 5311:C 5304:) 5298:( 5290:, 5287:0 5283:C 5259:1 5247:0 5244:, 5241:) 5235:( 5227:, 5224:0 5220:C 5208:. 5196:U 5176:) 5173:U 5170:( 5162:H 5130:) 5127:U 5124:( 5116:H 5097:α 5081:n 5076:R 5068:U 5046:. 5042:} 5031:| 5026:y 5020:x 5016:| 5012:C 5009:+ 5006:) 5003:y 5000:( 4997:f 4993:{ 4987:X 4981:y 4970:) 4967:x 4964:( 4955:f 4944:α 4939:C 4930:E 4926:X 4921:f 4916:α 4911:. 4908:f 4903:α 4899:) 4896:k 4894:f 4892:( 4878:. 4874:) 4860:1 4847:k 4843:( 4839:O 4836:= 4831:X 4828:, 4814:k 4810:f 4803:f 4787:k 4781:k 4779:f 4774:) 4771:k 4769:f 4767:( 4759:X 4754:f 4749:α 4744:. 4742:) 4740:R 4736:R 4734:( 4732:L 4727:) 4725:Z 4721:R 4719:( 4717:L 4711:H 4704:α 4699:α 4694:H 4679:γ 4674:u 4669:) 4667:R 4665:( 4663:W 4659:u 4644:. 4638:p 4635:n 4626:1 4623:= 4600:, 4595:) 4590:n 4585:R 4580:( 4575:p 4572:, 4569:1 4565:W 4556:u 4550:C 4542:) 4537:n 4532:R 4527:( 4519:, 4516:0 4512:C 4503:u 4496:: 4493:) 4488:n 4483:R 4478:( 4473:p 4469:L 4462:) 4457:n 4452:R 4447:( 4442:1 4438:C 4431:u 4418:n 4414:p 4409:C 4388:p 4382:n 4360:u 4355:r 4349:λ 4343:λ 4328:) 4324:r 4321:, 4316:0 4312:x 4308:, 4305:u 4301:( 4297:w 4287:) 4280:2 4277:r 4271:, 4266:0 4262:x 4258:, 4255:u 4251:( 4247:w 4237:) 4235:x 4233:( 4231:u 4216:u 4211:) 4206:0 4202:x 4198:( 4193:r 4189:B 4177:u 4172:) 4167:0 4163:x 4159:( 4154:r 4150:B 4141:= 4138:) 4135:r 4132:, 4127:0 4123:x 4119:, 4116:u 4113:( 4110:w 4095:. 4093:α 4088:u 4073:, 4065:2 4062:+ 4059:n 4055:r 4051:C 4045:y 4042:d 4037:2 4032:| 4026:r 4023:, 4020:x 4016:u 4009:) 4006:y 4003:( 4000:u 3996:| 3989:) 3986:x 3983:( 3978:r 3974:B 3957:u 3942:y 3939:d 3935:) 3932:y 3929:( 3926:u 3921:) 3918:x 3915:( 3910:r 3906:B 3893:| 3887:r 3883:B 3878:| 3873:1 3868:= 3863:r 3860:, 3857:x 3853:u 3841:. 3826:2 3823:1 3744:2 3741:1 3714:. 3710:C 3695:, 3688:3 3677:2 3635:. 3629:) 3626:b 3623:( 3612:) 3609:a 3606:( 3591:= 3578:α 3564:, 3558:2 3551:3 3544:+ 3541:1 3535:b 3532:a 3512:2 3506:b 3486:b 3483:, 3480:1 3474:a 3468:0 3448:, 3444:) 3440:x 3432:n 3428:b 3423:( 3411:n 3407:a 3396:0 3393:= 3390:n 3382:= 3379:) 3376:x 3373:( 3370:f 3349:) 3347:x 3343:x 3341:( 3339:f 3332:f 3323:α 3319:α 3296:) 3293:y 3290:( 3287:f 3284:= 3281:) 3278:x 3275:( 3272:f 3252:1 3220:n 3200:0 3186:1 3182:n 3171:| 3166:y 3160:x 3156:| 3152:C 3149:= 3139:) 3134:n 3129:| 3125:y 3119:x 3115:| 3108:( 3103:C 3098:n 3093:1 3090:= 3087:i 3075:| 3071:) 3066:n 3062:x 3058:( 3055:f 3049:) 3044:1 3038:n 3034:x 3030:( 3027:f 3023:| 3019:+ 3013:+ 3009:| 3005:) 3000:2 2996:x 2992:( 2989:f 2983:) 2978:1 2974:x 2970:( 2967:f 2963:| 2959:+ 2955:| 2951:) 2946:1 2942:x 2938:( 2935:f 2929:) 2924:0 2920:x 2916:( 2913:f 2909:| 2901:| 2897:) 2894:y 2891:( 2888:f 2882:) 2879:x 2876:( 2873:f 2869:| 2848:) 2845:x 2839:y 2836:( 2831:n 2828:k 2823:+ 2820:x 2817:= 2812:k 2808:x 2785:n 2780:0 2777:= 2774:i 2770:} 2764:i 2760:x 2756:{ 2736:] 2733:y 2730:, 2727:x 2724:[ 2704:y 2698:x 2669:f 2645:f 2624:0 2617:| 2613:y 2607:x 2603:| 2580:1 2569:| 2564:y 2558:x 2554:| 2550:C 2543:| 2537:y 2531:x 2526:) 2523:y 2520:( 2517:f 2511:) 2508:x 2505:( 2502:f 2496:| 2474:R 2467:y 2464:, 2461:x 2441:y 2435:x 2406:f 2386:, 2383:1 2337:f 2326:. 2323:β 2319:α 2313:C 2298:) 2292:, 2289:0 2286:[ 2275:f 2269:β 2265:α 2259:β 2255:α 2248:C 2237:β 2231:x 2227:x 2225:( 2223:f 2214:C 2203:β 2188:) 2175:( 2167:, 2164:0 2160:C 2135:) 2122:( 2114:, 2111:0 2107:C 2094:β 2090:α 2066:. 2063:) 2060:1 2057:( 2054:o 2051:= 2033:1 2028:) 2012:n 2008:u 2001:2 1997:( 1977:, 1974:0 1969:| 1962:n 1958:u 1953:| 1931:1 1926:| 1922:) 1919:y 1916:( 1911:n 1907:u 1900:) 1897:x 1894:( 1889:n 1885:u 1880:| 1863:) 1850:| 1845:y 1839:x 1835:| 1828:| 1824:) 1821:y 1818:( 1813:n 1809:u 1802:) 1799:x 1796:( 1791:n 1787:u 1782:| 1775:( 1770:= 1757:| 1752:y 1746:x 1742:| 1735:| 1731:) 1728:y 1725:( 1720:n 1716:u 1709:) 1706:x 1703:( 1698:n 1694:u 1689:| 1665:, 1662:0 1651:, 1648:0 1643:| 1638:n 1634:u 1630:| 1625:= 1617:, 1614:0 1609:| 1605:u 1597:n 1593:u 1588:| 1574:u 1568:u 1563:n 1561:u 1554:C 1549:) 1546:n 1544:u 1542:( 1508:. 1500:, 1494:, 1491:0 1486:| 1481:f 1477:| 1461:) 1454:( 1450:m 1447:a 1444:i 1441:d 1429:, 1423:, 1420:0 1415:| 1410:f 1406:| 1401:: 1398:) 1392:( 1384:, 1381:0 1377:C 1370:f 1347:, 1344:) 1338:( 1330:, 1327:0 1323:C 1316:) 1310:( 1302:, 1299:0 1295:C 1276:. 1257:, 1254:k 1250:C 1213:) 1200:( 1192:, 1189:k 1185:C 1174:Ω 1169:f 1149:, 1143:, 1140:k 1132:f 1101:, 1095:, 1092:0 1087:| 1084:f 1081:| 1054:, 1051:k 1043:f 1013:, 1010:0 1005:| 1002:f 999:| 975:. 971:| 967:) 964:x 961:( 958:f 949:D 944:| 932:x 922:k 915:| 907:| 898:= 891:k 887:C 878:f 844:, 841:0 837:C 831:| 827:f 818:D 813:| 806:k 803:= 799:| 791:| 782:+ 775:k 771:C 762:f 754:= 744:, 741:k 737:C 728:f 703:) 690:( 682:, 679:k 675:C 664:k 659:f 652:. 650:Ω 646:α 639:f 634:Ω 622:. 620:Ω 616:α 609:f 594:, 578:y 572:x 561:| 557:) 554:y 551:( 548:f 542:) 539:x 536:( 533:f 529:| 520:y 514:x 511:, 502:y 499:, 496:x 488:= 478:, 475:0 471:C 465:| 462:f 459:| 441:α 435:α 431:k 427:k 419:k 415:Ω 409:C 382:α 375:, 323:b 319:a 312:b 308:a 289:α 278:α 267:α 233:f 228:y 224:x 200:y 194:x 188:C 181:| 177:) 174:y 171:( 168:f 162:) 159:x 156:( 153:f 149:| 136:α 129:C 112:d 107:f 91:) 85:( 80:) 76:( 62:. 20:)

Index

Hölder continuous
list of references
related reading
external links
inline citations
improve
introducing
Learn how and when to remove this message
mathematics
Euclidean space
metric spaces
constant
Lipschitz condition
uniformly continuous
Otto Hölder
Continuously differentiable
Lipschitz continuous
uniformly continuous
continuous
functional analysis
partial differential equations
dynamical systems
derivatives
locally convex topological vector space
seminorm
compact
multi-indices
Banach space
Ascoli-Arzelà theorem
Lipschitz continuous

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.