The solvability of nonhomogeneous boundary value problems with ϕ -Laplacian operator

Sha-Sha Chen; Zhi-Hong Ma

doi:10.1186/1687-2770-2014-82

Impact Factor 0.819

Research

Open Access

The solvability of nonhomogeneous boundary value problems with ϕ-Laplacian operator

Sha-Sha Chen¹ and
Zhi-Hong Ma²Email author

Boundary Value Problems20142014:82

https://doi.org/10.1186/1687-2770-2014-82

Received: 13 October 2013

Accepted: 1 April 2014

Published: 10 April 2014

Abstract

We treat the nonhomogeneous boundary value problems with ϕ-Laplacian operator ${(ϕ (u^{'} (t)))}^{'} = - f (t, u (t), u^{'} (t))$ , $t \in (0, T)$ , $u (0) = A$ , $ϕ (u^{'} (T)) = τ u (T) + \sum_{i = 1}^{k} τ_{i} u (ζ_{i})$ , where $ϕ : (- a, a) \to (- b, b)$ ( $0 < a, b \leq + \infty$ ) is an increasing homeomorphism such that $ϕ (0) = 0$ , $τ, τ_{i} \in R$ , $ζ_{i} \in (0, T)$ , $i = 1, 2, \dots, k$ , $A \geq 0$ , and $f : [0, T] \times R \times R \to R$ is continuous. We will show that even if some of the τ and $τ_{i}$ are negative, the boundary value problem with singular ϕ-Laplacian operator is always solvable, and the problem with a bounded ϕ-Laplacian operator has at least one positive solution.

Keywords

nonhomogeneous ϕ-Laplacian negative coefficient positive solution

1 Introduction

We are concerned with the nonhomogeneous boundary value problem with ϕ-Laplacian operator

{\begin{matrix} {(ϕ (u^{'} (t)))}^{'} = - f (t, u (t), u^{'} (t)), t \in (0, T), \\ u (0) = A, ϕ (u^{'} (T)) = τ u (T) + \sum_{i = 1}^{k} τ_{i} u (ζ_{i}), \end{matrix}

(1.1)

where $ϕ : (- a, a) \to (- b, b)$ ( $0 < a, b \leq + \infty$ ) is an increasing homeomorphism such that $ϕ (0) = 0$ , $τ, τ_{i} \in R$ , $ζ_{i} \in (0, T)$ , $i = 1, 2, \dots, k$ , $A \geq 0$ , and $f : [0, T] \times R \times R \to R$ is continuous.

According to the related literature [1–5], a ϕ-Laplacian operator is said to be singular when the domain of ϕ is finite (i.e.,

a < + \infty

), on the contrary the operator is called regular. On the other hand, we say that ϕ is bounded if its range is finite (i.e.,

b < + \infty

) and unbounded in other case. There are three paradigmatic models in this context:

(1)

$a = b = + \infty$ (regular unbounded): The p-Laplacian operator
$ϕ_{p} (x) = {| x |}^{p - 2} x, with p > 1 .$
(2)

$a < + \infty$ , $b = + \infty$ (singular unbounded): The relativistic operator
$ϕ (x) = \frac{x}{\sqrt{1 - x^{2}}} .$
(3)

$a = + \infty$ , $b < + \infty$ (regular bounded): The one dimensional mean curvature operator
$ϕ (x) = \frac{x}{\sqrt{1 + x^{2}}} .$

The study of the ϕ-Laplacian equations is a classical topic that has attracted the attention of many experts because of its interest in applications. Since 2004, in a number of papers, Bereanu and Mawhin have considered such problems with Dirichlet, Neumann or periodic boundary conditions (see, for example, [1–3] and the references therein). In these papers, the various boundary value problems are reduced to the search for fixed point of some nonlinear operators defined on Banach spaces. In particular, they have also considered some boundary value problems with nonhomogeneous boundary conditions, and they obtained the existence of solutions by the use of the Schauder fixed point theorem (see [2, 3]). Recently, Torres [4] proved the existence of a solution of a forced Liénard differential equation with ϕ-Laplacian by means of Schauder fixed point theorem.

We note here that many nonlinear differential problems require the search of positive, meaningful, solutions. The existence of positive solutions for ordinary differential equations and p-Laplacian equations have been studied by several authors and many interesting results has been obtained (only to mention some of them; see [5–7], and the references therein). If the coefficient occurring in the boundary conditions takes a negative value, then the existence of a positive solution for a BVP with ϕ-Laplacian operator is less considered because it is sometimes difficult to construct a corresponding cone for applying the fixed point theorem.

The purpose of this paper is to study the nonhomogeneous boundary value problem (1.1) with ϕ-Laplacian operator even in the case where some of the τ and

τ_{i}

are negative. Firstly, we show that the problem with singular ϕ-Laplacian operator is always solvable by the use of Schauder fixed point theorem. Secondly, we prove that the problem with bounded ϕ-Laplacian operator has at least one positive solution by means of a change of variable and the Krasnosel’skii fixed point theorem. As we will see, the interesting points of the paper are the following:

(1)

Some of the τ and $τ_{i}$ coefficients in (1.1) are allowed to take a negative value.
(2)

In order to obtain a positive solution of the problem (1.1), we make a change of variable and generate two first-order differential equations and the corresponding nonlinear operator B. The new method can be used for the differential domains and ranges of $ϕ^{- 1}$ and give an a priori estimate of the solution.

This paper is organized as follows. In Section 2, we give some preliminaries and lemmas. In Section 3, we show some theorems on the existence of (positive) solutions of the differential equations (1.1). Moreover, an example is given to illustrate our results.

2 Preliminaries and lemmas

Firstly, we consider the following ϕ-Laplacian differential equation:

{\begin{matrix} {(ϕ (u^{'} (t)))}^{'} = - h (t), t \in (0, T), \\ u (0) = A, ϕ (u^{'} (T)) = τ u (T) + \sum_{i = 1}^{k} τ_{i} u (ζ_{i}), \end{matrix}

(2.1)

where $h \in L_{1} [0, T]$ .

Next we make the change of variable

x (t) = ϕ (u^{'} (t)),

(2.2)

i.e.,

u^{'} (t) = ϕ^{- 1} (x (t)) .

(2.3)

Together with (2.1), we get the following two first-order differential equations:

{\begin{matrix} u^{'} (t) = ϕ^{- 1} (x (t)), \\ u (0) = A \end{matrix}

(2.4)

and

{\begin{matrix} x^{'} (t) = - h (t), \\ x (T) = τ u (T) + \sum_{i = 1}^{k} τ_{i} u (ζ_{i}) . \end{matrix}

(2.5)

Integration in (2.4) yields

u (t) = A + \int_{0}^{t} ϕ^{- 1} (x (s)) d s .

(2.6)

Then we get

u (T) = A + \int_{0}^{T} ϕ^{- 1} (x (s)) d s, u (ζ_{i}) = A + \int_{0}^{ζ_{i}} ϕ^{- 1} (x (s)) d s .

Thus, together with the boundary condition in (2.5), we obtain

\begin{aligned} x (T) & = τ u (T) + \sum_{i = 1}^{k} τ_{i} u (ζ_{i}) \\ = A \sum_{i = 1}^{k + 1} τ_{i} + \sum_{i = 1}^{k + 1} τ_{i} \int_{0}^{ζ_{i}} ϕ^{- 1} (x (s)) d s, \end{aligned}

where we denote

τ_{k + 1} : = τ

and

ζ_{k + 1} : = T

. Thus (2.5) can be rewritten as follows:

{\begin{matrix} x^{'} (t) = - h (t), \\ x (T) = A \sum_{i = 1}^{k + 1} τ_{i} + \sum_{i = 1}^{k + 1} τ_{i} \int_{0}^{ζ_{i}} ϕ^{- 1} (x (s)) d s . \end{matrix}

Integration leads to

\begin{aligned} x (t) & = x (T) + \int_{t}^{T} h (s) d s \\ = A \sum_{i = 1}^{k + 1} τ_{i} + \sum_{i = 1}^{k + 1} τ_{i} \int_{0}^{ζ_{i}} ϕ^{- 1} (x (s)) d s + \int_{t}^{T} h (s) d s . \end{aligned}

Now, we define two nonlinear operators B and S, respectively, by

\begin{array}{rcl} (B x) (t) : & = & A \sum_{i = 1}^{k + 1} τ_{i} + \sum_{i = 1}^{k + 1} τ_{i} \int_{0}^{ζ_{i}} ϕ^{- 1} (x (s)) d s \\ + \int_{t}^{T} f (s, A + \int_{0}^{s} ϕ^{- 1} (x (τ)) d τ, ϕ^{- 1} (x (s))) d s \end{array}

(2.7)

and

(S u) (t) : = A + \int_{0}^{t} ϕ^{- 1} ((B x) (s)) d s .

(2.8)

Remark 2.1 From the deduction of (2.2)-(2.7), we find that if $ϕ^{- 1} (x)$ is well defined and x is a fixed point of the nonlinear operator B, then $u (t)$ in (2.6) is a solution of the problem (1.1).

To such a continuous function f, we associate its Nemytskii operator

N_{f} : C^{1} \to C

defined by

N_{f} (u) (t) = f (t, u (t), u^{'} (t)), t \in [0, T] .

(2.9)

It is easy to verify that $N_{f}$ is continuous and takes bounded sets into bounded sets.

Lemma 2.1 (See [8])

Let X be a Banach space and

P \subseteq X

a cone. Suppose that

Ω_{1}

and

Ω_{2}

are bounded open sets contained in X such that

0 \in Ω_{1}

and

{\bar{Ω}}_{1} \subseteq Ω_{2}

. Suppose further that

S : P \cap ({\bar{Ω}}_{2} ∖ Ω_{1}) \to P

is a completely continuous operator. If either

(i)

$∥ S u ∥ \leq ∥ u ∥$ for $u \in P \cap \partial Ω_{1}$ and $∥ S u ∥ \geq ∥ u ∥$ for $u \in P \cap \partial Ω_{2}$ , or
(ii)

$∥ S u ∥ \geq ∥ u ∥$ for $u \in P \cap \partial Ω_{1}$ and $∥ S u ∥ \leq ∥ u ∥$ for $u \in P \cap \partial Ω_{2}$ ,

then S has at least one fixed point in $P \cap ({\bar{Ω}}_{2} ∖ Ω_{1})$ .

3 The main result

Let X be the Banach space

C ([0, T])

with the maximum norm

∥ x ∥ = {max}_{t \in [0, T]} | x (t) |

. Define a cone by

P = {x \in C ([0, T]) : x (t) \geq 0} .

For the sake of convenience, we give the following conditions:

(i)

The nonlinearity $f : [0, T] \times [A - a T, A + a T] \times (- a, a) \to R^{+}$ satisfies
$0 \leq f (t, u, v) \leq M$

for any

(t, u, v) \in [0, T] \times [A - a T, A + a T] \times (- a, a)

;

(ii)

$Δ = A \sum_{i = 1}^{k + 1} τ_{i} > 0$ ;
(iii)

There exists a positive constant r such that
$Δ + λ ϕ^{- 1} (r) + M T \leq r < b,$

(3.1)

where

λ = \sum_{i \in Γ} τ_{i} ζ_{i}

,

Γ = {i : τ_{i} \geq 0}

;

(iv)

${min}_{0 \leq v (t) < b} \sum_{i = 1}^{k + 1} τ_{i} \int_{0}^{ζ_{i}} ϕ^{- 1} (v (s)) d s \geq 0$ .

Remark 3.1

(1)

If $τ_{i} \geq 0$ , for all $i = 1, 2, \dots, k + 1$ , then the condition (iv) clearly holds.
(2)

If $A = 0$ , instead of conditions (i) and (ii), we assume that for any $(t, u, v) \in [0, T] \times [A - a T, A + a T] \times (- a, a)$ , the following inequalities hold:
$M_{1} \leq f (t, u, v) \leq M_{2},$

where

0 < M_{1} < M_{2}

are two constants. Also, the condition (3.1) is replaced by

λ ϕ^{- 1} (r) + M_{2} T \leq r < b .

Case I. Singular ϕ-Laplacian operator: $ϕ : (- a, a) \to (- \infty, + \infty)$ ( $0 < a < + \infty$ ).

Theorem 3.1 If f is continuous, then the problem (1.1) has at least one solution.

Proof Define a set by

Ω : = {u, u^{'} \in X : ∥ u ∥ < A + a T, ∥ u^{'} ∥ < a} .

From the definition of

ϕ^{- 1} : (- \infty, + \infty) \to (- a, a)

, (2.2), (2.7), and (2.8), we get, for any

u \in Ω

,

\begin{aligned} ∥ S u ∥ & = max_{t \in [0, T]} | (S u) (t) | \\ = max_{t \in [0, T]} | A + \int_{0}^{t} ϕ^{- 1} ((B x) (s)) d s | \leq A + a T \end{aligned}

and

∥ {(S u)}^{'} ∥ = max_{t \in [0, T]} | {(S u)}^{'} (t) | = max_{t \in [0, T]} | ϕ^{- 1} ((B x) (t)) | \leq a .

Thus $S : \bar{Ω} \to \bar{Ω}$ . Utilizing (2.9) and Arzela-Ascoli theorem, it is easy to verify that the nonlinear operator S is a completely continuous operator. Therefore, the nonlinear operator S has at least one fixed point by Schauder fixed point theorem.

From the definition of S in (2.8), we have

\begin{matrix} (S u) (0) = A, \\ {(S u)}^{'} (t) = ϕ^{- 1} ((B u) (t)), \end{matrix}

i.e.,

ϕ ({(S u)}^{'} (t)) = (B u) (t) .

Then we obtain

\begin{aligned} ϕ ({(S u)}^{'} (T)) & = (B u) (T) \\ = A \sum_{i = 1}^{k + 1} τ_{i} + \sum_{i = 1}^{k + 1} τ_{i} \int_{0}^{ζ_{i}} u^{'} (s) d s \\ = τ u (T) + \sum_{i = 1}^{k} τ_{i} u (ζ_{i}) + \sum_{i = 1}^{k + 1} τ_{i} [u (0) - A] \end{aligned}

and

{(ϕ ({(S u)}^{'} (t)))}^{'} = - f (t, u (t), u^{'} (t)) .

Consequently, we conclude that the fixed point of S is a solution of the problem (1.1). □

Remark 3.2 Theorem 3.1 shows that if ϕ is singular ( $a < \infty$ ) and f is continuous on $[0, T] \times R^{2}$ , then the problem (1.1) is always solvable.

Case II. Bounded ϕ-Laplacian operator: $ϕ : (- a, a) \to (- b, b)$ , $0 < b < + \infty$ .

Theorem 3.2 If the conditions (i)-(iv) hold, then the nonlinear operator B defined by (2.7) has at least one fixed point. Further, the problem (1.1) has at least one positive solution.

Proof Define a set by

Ω_{b} : = {x \in X : ∥ x ∥ < b} .

From the conditions (ii) and (iv), we obtain, for any

x \in P \cap Ω_{b}

,

\begin{array}{rcl} (B x) (t) & = & Δ + \sum_{i = 1}^{k + 1} τ_{i} \int_{0}^{ζ_{i}} ϕ^{- 1} (x (s)) d s \\ + \int_{t}^{T} f (s, A + \int_{0}^{s} ϕ^{- 1} (x (τ)) d τ, ϕ^{- 1} (x (s))) d s \\ \geq & 0 . \end{array}

Clearly, the nonlinear operator $B : P \cap Ω_{b} \to P$ is well defined.

The condition (iii) implies that we find a constant

r_{2}

such that

Δ + λ ϕ^{- 1} (r_{2}) + M T \leq r_{2} < b .

Define a set by

Ω_{2} : = {x \in X : ∥ x ∥ < r_{2}} .

In virtue of the increasing property of

ϕ^{- 1}

, we get, for any

x \in P \cap \partial Ω_{2}

,

\begin{array}{rcl} ∥ B x ∥ & = & (B x) (0) \\ = & Δ + \sum_{i = 1}^{k + 1} τ_{i} \int_{0}^{ζ_{i}} ϕ^{- 1} (x (s)) d s \\ + \int_{0}^{T} f (s, A + \int_{0}^{s} ϕ^{- 1} (x (τ)) d τ, ϕ^{- 1} (x (s))) d s \\ \leq & Δ + λ ϕ^{- 1} (r_{2}) + M T \\ \leq & r_{2} = ∥ x ∥ . \end{array}

Thus, for any

x \in P \cap \partial Ω_{2}

, we have

∥ B x ∥ \leq ∥ x ∥ .

We choose a small positive constant

r_{1}

such that

r_{1} \leq min {Δ, \frac{r_{2}}{2}}

and define

Ω_{1} : = {x \in X : ∥ x ∥ < r_{1}}

. Then for any

x \in P \cap \partial Ω_{1}

, we find

\begin{array}{rcl} ∥ B x ∥ & = & (B x) (0) \\ = & Δ + \sum_{i = 1}^{k + 1} τ_{i} \int_{0}^{ζ_{i}} ϕ^{- 1} (x (s)) d s \\ + \int_{0}^{T} f (s, A + \int_{0}^{s} ϕ^{- 1} (x (τ)) d τ, ϕ^{- 1} (x (s))) d s \\ \geq & Δ + \sum_{i = 1}^{k + 1} τ_{i} \int_{0}^{ζ_{i}} ϕ^{- 1} (x (s)) d s \\ \geq & r_{1} = ∥ x ∥ . \end{array}

Thus, for any

x \in P \cap \partial Ω_{1}

, we get

∥ B x ∥ \geq ∥ x ∥ .

In addition, a standard argument involving the Arzela-Ascoli theorem implies that

B : P \cap ({\bar{Ω}}_{2} ∖ Ω_{1}) \to P

is a completely continuous operator. Therefore, the nonlinear operator B has at least one fixed point by the use of Lemma 2.1. Let

x \in P \cap ({\bar{Ω}}_{2} ∖ Ω_{1})

be a fixed point of B, then, from (2.6), we obtain

u (t) = A + \int_{0}^{t} ϕ^{- 1} (x (s)) d s .

Consequently, we get from Remark 2.1 that the problem (1.1) has a positive solution $u (t)$ . □

Remark 3.3 In order to prove the existence of a positive solution of the problem (1.1), we make a change of variable and introduce a first-order differential equation, and investigate the existence of a fixed point of the corresponding nonlinear operator B. The technique can be used for the different domains and ranges of $ϕ^{- 1}$ and give an a priori estimate of the solution.

Theorem 3.3 If

τ_{1} = τ_{2} = \dots = τ_{k} = τ = 0

and f satisfies the condition

| f (t, u, v) | < \frac{b}{T}

for any $(t, u, v) \in [0, T] \times [A - a T, A + a T] \times (- a, a)$ , then the problem (1.1) has at least one solution.

Proof Adopting a similar technique to (2.2)-(2.6), we define a nonlinear operator

B

by

(B x) (t) : = \int_{t}^{T} f (s, A + \int_{0}^{s} ϕ^{- 1} (x (τ)) d τ, ϕ^{- 1} (x (s))) d s .

Then we get, for any

x \in Ω_{b}

,

\begin{aligned} ∥ B x ∥ & = max_{t \in [0, T]} | (B x) (t) | \\ \leq \int_{0}^{T} | f (s, A + \int_{0}^{s} ϕ^{- 1} (x (τ)) d τ, ϕ^{- 1} (x (s))) | d s \\ < b . \end{aligned}

Then the operator $B : Ω_{b} \to Ω_{b}$ has at least one fixed point by the use of Schauder fixed point theorem. Applying expression (2.6), we conclude that the problem (1.1) has at least one solution. □

Remark 3.4 Observe that the solution provided by Theorem 3.3 could be trivial or negative.

Theorem 3.4 If the conditions (ii) and (iv) hold and f satisfies the condition

f (t, u, v) \geq \frac{b}{T}

(3.2)

for any $(t, u, v) \in [0, T] \times [A - a T, A + a T] \times (- a, a)$ , then problem (1.1) has no solution.

Proof Taking arbitrarily

x \in Ω_{b}

, we get from (3.2)

\begin{array}{rcl} (B x) (0) & = & Δ + \sum_{i = 1}^{k + 1} τ_{i} \int_{0}^{ζ_{i}} ϕ^{- 1} (x (s)) d s \\ + \int_{0}^{T} f (s, A + \int_{0}^{s} ϕ^{- 1} (x (τ)) d τ, ϕ^{- 1} (x (s))) d s \\ > & \int_{0}^{T} f (s, A + \int_{0}^{s} ϕ^{- 1} (x (τ)) d τ, ϕ^{- 1} (x (s))) d s \\ \geq & b . \end{array}

Thus, it implies that there exists a neighborhood $N_{δ} = [0, δ)$ such that $(B x) (t) > b$ for any $t \in [0, δ)$ . This implies that the nonlinear operator $(S u) (t) = A + \int_{0}^{t} ϕ^{- 1} ((B x) (s)) d s$ is not well defined, since the domain of $ϕ^{- 1}$ is the interval $(- b, b)$ and thus a solution of (1.1) cannot exist. □

Example 3.1 We consider the following nonhomogeneous boundary value problem with ϕ-Laplacian operator:

{\begin{matrix} {(ϕ (u^{'} (t)))}^{'} = - f (t, u (t), u^{'} (t)), t \in (0, 1), \\ u (0) = 1, ϕ (u^{'} (1)) = \frac{1}{8} u (1) + \frac{1}{2} u (\frac{3}{20}) - \frac{1}{8} u (\frac{1}{5}), \end{matrix}

(3.3)

where

\begin{aligned} ϕ (x) = \frac{5 x}{\sqrt{25 + x^{2}}}, \\ f (t, u, v) = \frac{t}{2} | sin u | + t | cos v | . \end{aligned}

It is easy to see that the nonlinearity f satisfies the condition (i), that is,

0 \leq f (t, u, v) \leq \frac{3}{2}

for any

(t, u, v) \in [0, 1] \times (- \infty, + \infty) \times (- \infty, + \infty)

. Computation yields

Δ = A \sum_{i = 1}^{k + 1} τ_{i} = \frac{1}{2},

and there exists a positive constant

3 \leq r \leq 4.683

such that the following inequalities hold:

\frac{1}{2} + \frac{1}{5} ϕ^{- 1} (r) + \frac{3}{2} \leq r < 5

and

min_{0 \leq v (t) < 5} \sum_{i = 1}^{3} τ_{i} \int_{0}^{ζ_{i}} ϕ^{- 1} (v (s)) d s \geq 0 .

Then conditions (ii)-(iv) also hold. Therefore, we find from Theorem 3.2 that the differential equation (3.3) has at least one positive solution.

Declarations

Acknowledgements

The authors would wish to express their appreciations to the anonymous referee for his/her valuable suggestions, which have greatly improved this paper. The work was partially supported by NSFC of China (No. 11201248), K.C. Wong Fund of Ningbo University.

Authors’ Affiliations

(1)

Department of Mathematics, Ningbo University

(2)

Basic Science Department, Tianjin Agricultural University

References

Bereanu C, Mawhin J: Existence and multiplicity results for some nonlinear equations with singular ϕ -Laplacian. J. Differ. Equ. 2007, 243: 536-557. 10.1016/j.jde.2007.05.014MathSciNetView ArticleGoogle Scholar
Bereanu C, Mawhin J: Boundary value problems for some nonlinear systems with singular ϕ -Laplacian. J. Fixed Point Theory Appl. 2008, 4: 57-75. 10.1007/s11784-008-0072-7MathSciNetView ArticleGoogle Scholar
Bereanu C, Mawhin J: Nonhomogeneous boundary value problems for some nonlinear equations with singular ϕ -Laplacian. J. Math. Anal. Appl. 2009, 352: 218-233. 10.1016/j.jmaa.2008.04.025MathSciNetView ArticleGoogle Scholar
Torres PJ: Nondegeneracy of the periodically forced Liénard differential equation with ϕ -Laplacian. Commun. Contemp. Math. 2011, 13: 283-292. 10.1142/S0219199711004208MathSciNetView ArticleGoogle Scholar
Wang Y, Hou C: Existence of multiple positive solutions for one-dimensional p -Laplacian. J. Math. Anal. Appl. 2006, 315: 114-153.MathSciNetGoogle Scholar
Webb JRL, Lan KQ: Eigenvalue criteria for existence of multiple positive solutions of nonlinear boundary value problems of local and nonlocal type. Topol. Methods Nonlinear Anal. 2006, 27: 91-115.MathSciNetGoogle Scholar
Webb JRL, Infante G: Positive solutions of nonlocal boundary value problems: a unified approach. J. Lond. Math. Soc. 2006, 74: 673-693. 10.1112/S0024610706023179MathSciNetView ArticleGoogle Scholar
Krasnosel’skii MA: Positive Solutions of Operator Equations. Noordhoff, Groningen; 1964.Google Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.