<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">APM</journal-id><journal-title-group><journal-title>Advances in Pure Mathematics</journal-title></journal-title-group><issn pub-type="epub">2160-0368</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/apm.2015.51003</article-id><article-id pub-id-type="publisher-id">APM-53153</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Upper Bound Estimation of Fractal Dimensions of Fractional Integral of Continuous Functions
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>ongshun</surname><given-names>Liang</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>Faculty of Science, Nanjing University of Science and Technology, Nanjing, China</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>liangyongshun@gmail.com</email></corresp></author-notes><pub-date pub-type="epub"><day>12</day><month>01</month><year>2015</year></pub-date><volume>05</volume><issue>01</issue><fpage>27</fpage><lpage>30</lpage><history><date date-type="received"><day>1</day>	<month>December</month>	<year>2014</year></date><date date-type="rev-recd"><day>15</day>	<month>December</month>	<year>2014</year>	</date><date date-type="accepted"><day>1</day>	<month>January</month>	<year>2015</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  Fractional integral of continuous functions has been discussed in the present paper. If the order of Riemann-Liouville fractional integral is v, fractal dimension of Riemann-Liouville fractional integral of any continuous functions on a closed interval is no more than 2 - v.
 
</p></abstract><kwd-group><kwd>Box Dimension</kwd><kwd> Riemann-Liouville Fractional Calculus</kwd><kwd> Fractal Function</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>In [<xref ref-type="bibr" rid="scirp.53153-ref1">1</xref>] , fractional integral of a continuous function of bounded variation on a closed interval has been proved to still be a continuous function of bounded variation. The upper bound of Box dimension of the Weyl-Marchaud fractional derivative of self-affine curves has given in [<xref ref-type="bibr" rid="scirp.53153-ref2">2</xref>] . Previous discussion about fractal dimensions of fractional calculus of certain special functions can be found in [<xref ref-type="bibr" rid="scirp.53153-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.53153-ref4">4</xref>] .</p><p>In the present paper, we discuss fractional integral of fractal dimension of any continuous functions on a closed interval.</p><p>If U is any non-empty subset of n-dimensional Euclidean space, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x5.png" xlink:type="simple"/></inline-formula>, the diameter of U is defined as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x6.png" xlink:type="simple"/></inline-formula>, i.e. the greatest distance apart of any pair of points in U. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x7.png" xlink:type="simple"/></inline-formula> is a countable collection of sets of diameter at most δ that cover F, i.e. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x8.png" xlink:type="simple"/></inline-formula>with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x9.png" xlink:type="simple"/></inline-formula> for each i, we say that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x10.png" xlink:type="simple"/></inline-formula> is a δ-cover of F.</p><p>Suppose that F is a subset of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x11.png" xlink:type="simple"/></inline-formula> and s is a non-negative number. For any positive number define</p><disp-formula id="scirp.53153-formula861"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x12.png"  xlink:type="simple"/></disp-formula><p>Write</p><disp-formula id="scirp.53153-formula862"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x13.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x14.png" xlink:type="simple"/></inline-formula>is called s-dimensional Hausdorff measure of F. Hausdorff dimension is defined as follows:</p><p>Definition 1.1 [<xref ref-type="bibr" rid="scirp.53153-ref5">5</xref>] Let F be a subset of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x15.png" xlink:type="simple"/></inline-formula> and s is a non-negative number. Hausdorff dimension of F is</p><disp-formula id="scirp.53153-formula863"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x16.png"  xlink:type="simple"/></disp-formula><p>If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x17.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x18.png" xlink:type="simple"/></inline-formula> may be zero or infinite, or may satisfy</p><disp-formula id="scirp.53153-formula864"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x19.png"  xlink:type="simple"/></disp-formula><p>A Borel set satisfying this last condition is called an s-set.</p><p>Box dimension is given as follows:</p><p>Definition 1.2 [<xref ref-type="bibr" rid="scirp.53153-ref5">5</xref>] Let F be any non-empty bounded subset of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x20.png" xlink:type="simple"/></inline-formula> and let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x21.png" xlink:type="simple"/></inline-formula> be the smallest number of sets of diameter at most <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x22.png" xlink:type="simple"/></inline-formula> which can cover F. Lower and upper Box dimensions of F respectively are defined as</p><disp-formula id="scirp.53153-formula865"><label>(1.1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-5300815x23.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.53153-formula866"><label>(1.2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-5300815x24.png"  xlink:type="simple"/></disp-formula><p>If (1.1) and (1.2) are equal, we refer to the common value as Box dimension of F</p><disp-formula id="scirp.53153-formula867"><label>(1.3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/3-5300815x25.png"  xlink:type="simple"/></disp-formula><p>Definition 1.3 [<xref ref-type="bibr" rid="scirp.53153-ref6">6</xref>] Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x26.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x27.png" xlink:type="simple"/></inline-formula>. For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x28.png" xlink:type="simple"/></inline-formula> we call</p><disp-formula id="scirp.53153-formula868"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x29.png"  xlink:type="simple"/></disp-formula><p>Riemann-Liouville integral of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x30.png" xlink:type="simple"/></inline-formula> of order v.</p></sec><sec id="s2"><title>2. Riemann-Liouville Fractional Integral of 1-Dimensional Fractal Function</title><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x31.png" xlink:type="simple"/></inline-formula> be a 1-dimensional fractal function on I. We will prove that Riemann-Liouville fractional integral of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x32.png" xlink:type="simple"/></inline-formula> is bounded on I. Box dimension of Riemann-Liouville fractional integral of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x32.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x33.png" xlink:type="simple"/></inline-formula> will be estimated.</p><sec id="s2_1"><title>2.1. Riemann-Liouville Fractional Integral of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x34.png" xlink:type="simple"/></inline-formula></title><p>Theorem 2.1 Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x35.png" xlink:type="simple"/></inline-formula> be Riemann-Liouville integral of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x36.png" xlink:type="simple"/></inline-formula> of order v. Then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x37.png" xlink:type="simple"/></inline-formula>is bounded.</p><p>Proof. Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x38.png" xlink:type="simple"/></inline-formula> is continuous on a closed interval I, there exists a positive constant M such that</p><disp-formula id="scirp.53153-formula869"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x39.png"  xlink:type="simple"/></disp-formula><p>From Definition 1.3, we know</p><disp-formula id="scirp.53153-formula870"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x40.png"  xlink:type="simple"/></disp-formula><p>For any<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x41.png" xlink:type="simple"/></inline-formula>, it holds</p><disp-formula id="scirp.53153-formula871"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x42.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x43.png" xlink:type="simple"/></inline-formula>is a bounded function on I.</p></sec><sec id="s2_2"><title>2.2. Fractal Dimensions of Riemann-Liouville Fractional Integral of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x44.png" xlink:type="simple"/></inline-formula></title><p>Theorem 2.2 Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x45.png" xlink:type="simple"/></inline-formula> be Riemann-Liouville integral of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x46.png" xlink:type="simple"/></inline-formula> of order v. Then,</p><disp-formula id="scirp.53153-formula872"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x47.png"  xlink:type="simple"/></disp-formula><p>Proof. Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x48.png" xlink:type="simple"/></inline-formula>, and m is the least integer greater than or equal to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x49.png" xlink:type="simple"/></inline-formula>. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x50.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.53153-formula873"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x51.png"  xlink:type="simple"/></disp-formula><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x52.png" xlink:type="simple"/></inline-formula>, let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x53.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x54.png" xlink:type="simple"/></inline-formula>If</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x56.png" xlink:type="simple"/></inline-formula>, it holds</p><disp-formula id="scirp.53153-formula874"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x57.png"  xlink:type="simple"/></disp-formula><p>If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x58.png" xlink:type="simple"/></inline-formula>, it holds</p><disp-formula id="scirp.53153-formula875"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x59.png"  xlink:type="simple"/></disp-formula><p>We have</p><disp-formula id="scirp.53153-formula876"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x60.png"  xlink:type="simple"/></disp-formula><p>Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x61.png" xlink:type="simple"/></inline-formula>. If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x62.png" xlink:type="simple"/></inline-formula>, we have</p><disp-formula id="scirp.53153-formula877"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x63.png"  xlink:type="simple"/></disp-formula><p>If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x64.png" xlink:type="simple"/></inline-formula>, it holds</p><disp-formula id="scirp.53153-formula878"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x65.png"  xlink:type="simple"/></disp-formula><p>If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x66.png" xlink:type="simple"/></inline-formula>, it holds</p><disp-formula id="scirp.53153-formula879"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x67.png"  xlink:type="simple"/></disp-formula><p>We get</p><disp-formula id="scirp.53153-formula880"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x68.png"  xlink:type="simple"/></disp-formula><p>There exists a positive constant C, such that</p><disp-formula id="scirp.53153-formula881"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x69.png"  xlink:type="simple"/></disp-formula><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x70.png" xlink:type="simple"/></inline-formula> is the number of squares of the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x71.png" xlink:type="simple"/></inline-formula> mesh that intersects<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/3-5300815x72.png" xlink:type="simple"/></inline-formula>, by Proposition 11.1 of [<xref ref-type="bibr" rid="scirp.53153-ref1">1</xref>] , we have</p><disp-formula id="scirp.53153-formula882"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x73.png"  xlink:type="simple"/></disp-formula><p>From (1.2) of Definition 1.2, we know</p><disp-formula id="scirp.53153-formula883"><graphic  xlink:href="http://html.scirp.org/file/3-5300815x74.png"  xlink:type="simple"/></disp-formula><p>With Definition 1.1, we get the conclusion of Theorem 2.2.</p><p>This is the first time to give estimation of fractal dimensions of fractional integral of any continuous function on a closed interval.</p></sec></sec><sec id="s3"><title>Acknowledgements</title><p>Research is supported by NSFA 11201230 and Natural Science Foundation of Jiangsu Province BK2012398.</p></sec></body><back><ref-list><title>References</title><ref id="scirp.53153-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Liang, Y.S. (2010) Box Dimension of Riemann-Liouville Fractional Integral of Continuous Function of Bounded Variation. Nonlinear Analysis Series A: Theory, Method and Applications, 72, 2758-2761.</mixed-citation></ref><ref id="scirp.53153-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Yao, K. and Liang, Y.S. (2010) The Upper Bound of Box Dimension of the Weyl-Marchaud Derivative of Self-Affine Curves. Analysis Theory and Application, 26, 222-227. http://dx.doi.org/10.1007/s10496-010-0222-9</mixed-citation></ref><ref id="scirp.53153-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Liang, Y.S. and Su, W.Y. (2011) The Von Koch Curve and Its Fractional Calculus. Acta Mathematic Sinica, Chinese Series [in Chinese], 54, 1-14.</mixed-citation></ref><ref id="scirp.53153-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Zhang, Q. and Liang, Y.S. (2012) The Weyl-Marchaud Fractional Derivative of a Type of Self-Affine Functions. Applied Mathematics and Computation, 218, 8695-8701. http://dx.doi.org/10.1016/j.amc.2012.01.077</mixed-citation></ref><ref id="scirp.53153-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Falconer, J. (1990) Fractal Geometry: Mathematical Foundations and Applications. John Wiley Sons Inc., New York.</mixed-citation></ref><ref id="scirp.53153-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Oldham, K.B. and Spanier, J. (1974) The Fractional Calculus. Academic Press, New York.</mixed-citation></ref></ref-list></back></article>