Strong and periodic solutions of Navier-Stokes equations, in 2D, with non-local viscosity

: In this article we study the existence of periodic and strong solutions of Navier-Stokes equations, in two dimensions, with non-local viscosity. the with

We mentioned that the existence, uniqueness and exponential decay of the solution to the problem (1)-(4) were studied by Ferreira, Shahrouzi, Andrade and Panni in [9].
The motivation to study this kind of problem is we can describe motion of fluids which viscosity depends of time and satisfies the hypotheses (A1) − (A2), and, when c(l(u 1 (x, t)), l(u 2 (x, t))) = µ, constant, we obtain the regular Navier-Stokes equations in two dimensions. This non-local term was introduced by Chipot [1], and it arrives naturally when we study the growth of a bacteria population, one kind of this problem was suggested by Ladyzhenskaya [2] where c(t) := µ 0 + µ 1 ∥u(t)∥ 2 when µ 0 and µ 1 are positive constants.
The rest of the paper is organized as follows. In §2, we recall some notations, the weak formulation, lemmas and theorems. In §3, we study the existence of strong solutions to the problem (1)- (4). In §4, we introduce the existence of periodic solutions using Brouwer's fixed point theorem. The conclusions of the paper are presented in §5.

Preliminaries
In this section we introduce some notations, achieve weak formulation and enunciate some important results.

Weak formulation
Consider v ∈ V . Doing inner-product in L 2 (Ω) with Eq. (1) we get, By green first identity and integration by parts, Now we define a bilinear form a(u, v) := ((u, v)) and a trilinear form b(u, v, w) := ((u · ∇)v, w), and then we obtain the weak form of Eq. (1),

Lemma 2.
Let Ω ⊂ R n be an bounded Lipschitz open set in R 2 .
Problem 1. For f and u 0 given, with to find u satisfying, for any v ∈ V .

Existence of strong solutions
Suppose the existence of weak solutions to the problem (1)-(4). Our goal in this section is recover the pressure and prove the existence of strong solutions.
Theorem 2. Given f and u 0 satisfying (5) and (6). Suppose that u is a solution of the Problem 1 and then the solution u is also strong.
Integrating c(l(u 1 ), (u 2 ))Au + Bu + u ′ = f , and, by (7), we get Then, Define, For each t ∈ [0, T] it is possible to extend S(t) on a functional T(t) ∈ H −1 (Ω) such as, But, from (8) and (10) we can conclude that, From Lemma 2 results that ∃P(t) ∈ L 2 (Ω) satisfying, So, from (10) and (11) we get, Replacing (12) in (9), As the expression on the left belongs to the space C 0 (0, T; V ′ ) we have ∇P ∈ C 0 (0, T; V ′ ), and hence we can derive the above equation in the sense of distributions, with this: Therefore is possible to say that equality above is given a.e. in (0, T). Setting p(x, t) = − ∂P ∂t , results in,

Existence of periodic solutions
The purpose of this section is to prove the existence of periodic solutions to the Navier-Stokes equations.
Proof. The weak formulation of (13) is given by, Consider {w 1 , · · · , w n , · · · } a base of V. We truncate the series in m-th term, which leads to the approximate solution space V m . Setting u m (t) := g im (t)w i , where j = 1, · · · , m. The approximate system above has a global solution, since by similar procedure to the case of the existence of solutions [9], we obtain the following inequality, as m is fixed, we can extend u(t) in [0, T]. Our goal is to show that, among all solutions of the approximate equation, there is at least one u m solution that satisfies periodicity, To do this, just prove that for every m ∈ N, the application, has a single fixed point, because in this case there will be a single function v ∈ V m such that Thus (16) we have a (u m ) sequence of approximate solutions such that they all satisfy the periodicity condition.

Proof.
Using the H induced topology in V m , it suffices to prove that Applying the energy method, As V → H, exists c 0 > 0 such as, Thus from (17) and (18) we get, Multiplying both sides by e c 2 0 c − t : Integrating from 0 to T we get, which means, Denoting θ = e −c 2 0 c − T and c = 1 Now, how 0 < θ < 1 then 0 < 1 − θ < 1. That way there is a ρ 0 > 0, big enough that c < (1 − θ)ρ 2 0 . So if |v| < ρ 0 then, which proves this lemma.
Doing the difference between these equations and defining η m = z m − u m , (η m , w j ) + c(l(u 1 ), l(u 2 ))((u m (t), w j )) − a(l(z 1 ), l(z 2 ))((z m (t), w j )) we proceed as in [9] Multiplying both sides of inequality e − t 0 θ m (s)ds , By other hand, Then, which is what we want to prove.
The hypotheses of Brouwer's fixed point theorem are satisfied by virtue of Lemmas 3 and 4, so we have Then, for each m ∈ N, there is a least one u m (t) such as u m (0) ∈ B ρ 0 (0) and, ∀j = 1, · · · , m, From the fact that u m (0) ∈ B ρ 0 (0) we can repeat the estimates getting a subsequence (u ν ) of (u m ) such as From the convergence results (19) -(21), by passing the limit in the approximate equation desired in (14).
Similarly to the proof of the initial condition in the previous case, we prove that u(0) = u(T), which concludes the statement.

Conclusions
We studied the Navier-Stokes equations with non-local viscosity, considering a bounded domain Ω ⊂ R 2 with smooth boundary ∂Ω. Using Faedo-Galerkin's method and Brouwer's fixed point theorem, we proved the strong solutions and periodic solutions.
Author Contributions: All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Conflicts of Interest: "The authors declare no conflict of interest." Data Availability: All data required for this research is included within this paper.
Funding Information: The third author was supported by FCT -Fundação para a Ciência e a Tecnologia, through Centro de Matemática e Aplicações -Universidade da Beira Interior, under the Grant Number UI/BD/150794/2020, and also supported by MCTES, FSE and UE.