1c4762a1bSJed Brown static char help[] = "Evolution of magnetic islands.\n\ 2c4762a1bSJed Brown The aim of this model is to self-consistently study the interaction between the tearing mode and small scale drift-wave turbulence.\n\n\n"; 3c4762a1bSJed Brown 4c4762a1bSJed Brown /*F 5c4762a1bSJed Brown This is a three field model for the density $\tilde n$, vorticity $\tilde\Omega$, and magnetic flux $\tilde\psi$, using auxiliary variables potential $\tilde\phi$ and current $j_z$. 6c4762a1bSJed Brown \begin{equation} 7c4762a1bSJed Brown \begin{aligned} 8c4762a1bSJed Brown \partial_t \tilde n &= \left\{ \tilde n, \tilde\phi \right\} + \beta \left\{ j_z, \tilde\psi \right\} + \left\{ \ln n_0, \tilde\phi \right\} + \mu \nabla^2_\perp \tilde n \\ 9c4762a1bSJed Brown \partial_t \tilde\Omega &= \left\{ \tilde\Omega, \tilde\phi \right\} + \beta \left\{ j_z, \tilde\psi \right\} + \mu \nabla^2_\perp \tilde\Omega \\ 10c4762a1bSJed Brown \partial_t \tilde\psi &= \left\{ \psi_0 + \tilde\psi, \tilde\phi - \tilde n \right\} - \left\{ \ln n_0, \tilde\psi \right\} + \frac{\eta}{\beta} \nabla^2_\perp \tilde\psi \\ 11c4762a1bSJed Brown \nabla^2_\perp\tilde\phi &= \tilde\Omega \\ 12c4762a1bSJed Brown j_z &= -\nabla^2_\perp \left(\tilde\psi + \psi_0 \right)\\ 13c4762a1bSJed Brown \end{aligned} 14c4762a1bSJed Brown \end{equation} 15c4762a1bSJed Brown F*/ 16c4762a1bSJed Brown 17c4762a1bSJed Brown #include <petscdmplex.h> 18c4762a1bSJed Brown #include <petscts.h> 19c4762a1bSJed Brown #include <petscds.h> 20c4762a1bSJed Brown 21c4762a1bSJed Brown typedef struct { 22c4762a1bSJed Brown PetscInt debug; /* The debugging level */ 23c4762a1bSJed Brown PetscBool plotRef; /* Plot the reference fields */ 2430602db0SMatthew G. Knepley PetscReal lower[3], upper[3]; 25c4762a1bSJed Brown /* Problem definition */ 26c4762a1bSJed Brown PetscErrorCode (**initialFuncs)(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *ctx); 27c4762a1bSJed Brown PetscReal mu, eta, beta; 28c4762a1bSJed Brown PetscReal a, b, Jo, Jop, m, ke, kx, ky, DeltaPrime, eps; 29c4762a1bSJed Brown /* solver */ 30c4762a1bSJed Brown PetscBool implicit; 31c4762a1bSJed Brown } AppCtx; 32c4762a1bSJed Brown 33c4762a1bSJed Brown static AppCtx *s_ctx; 34c4762a1bSJed Brown 35*9371c9d4SSatish Balay static PetscScalar poissonBracket(PetscInt dim, const PetscScalar df[], const PetscScalar dg[]) { 36c4762a1bSJed Brown PetscScalar ret = df[0] * dg[1] - df[1] * dg[0]; 37c4762a1bSJed Brown return ret; 38c4762a1bSJed Brown } 39c4762a1bSJed Brown 40*9371c9d4SSatish Balay enum field_idx { 41*9371c9d4SSatish Balay DENSITY, 42*9371c9d4SSatish Balay OMEGA, 43*9371c9d4SSatish Balay PSI, 44*9371c9d4SSatish Balay PHI, 45*9371c9d4SSatish Balay JZ 46*9371c9d4SSatish Balay }; 47c4762a1bSJed Brown 48*9371c9d4SSatish Balay static void f0_n(PetscInt dim, PetscInt Nf, PetscInt NfAux, const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f0[]) { 49c4762a1bSJed Brown const PetscScalar *pnDer = &u_x[uOff_x[DENSITY]]; 50c4762a1bSJed Brown const PetscScalar *ppsiDer = &u_x[uOff_x[PSI]]; 51c4762a1bSJed Brown const PetscScalar *pphiDer = &u_x[uOff_x[PHI]]; 52c4762a1bSJed Brown const PetscScalar *jzDer = &u_x[uOff_x[JZ]]; 53c4762a1bSJed Brown const PetscScalar *logRefDenDer = &a_x[aOff_x[DENSITY]]; 54c4762a1bSJed Brown f0[0] += -poissonBracket(dim, pnDer, pphiDer) - s_ctx->beta * poissonBracket(dim, jzDer, ppsiDer) - poissonBracket(dim, logRefDenDer, pphiDer); 55c4762a1bSJed Brown if (u_t) f0[0] += u_t[DENSITY]; 56c4762a1bSJed Brown } 57c4762a1bSJed Brown 58*9371c9d4SSatish Balay static void f1_n(PetscInt dim, PetscInt Nf, PetscInt NfAux, const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f1[]) { 59c4762a1bSJed Brown const PetscScalar *pnDer = &u_x[uOff_x[DENSITY]]; 60c4762a1bSJed Brown PetscInt d; 61c4762a1bSJed Brown 62c4762a1bSJed Brown for (d = 0; d < dim - 1; ++d) f1[d] = -s_ctx->mu * pnDer[d]; 63c4762a1bSJed Brown } 64c4762a1bSJed Brown 65*9371c9d4SSatish Balay static void f0_Omega(PetscInt dim, PetscInt Nf, PetscInt NfAux, const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f0[]) { 66c4762a1bSJed Brown const PetscScalar *pOmegaDer = &u_x[uOff_x[OMEGA]]; 67c4762a1bSJed Brown const PetscScalar *ppsiDer = &u_x[uOff_x[PSI]]; 68c4762a1bSJed Brown const PetscScalar *pphiDer = &u_x[uOff_x[PHI]]; 69c4762a1bSJed Brown const PetscScalar *jzDer = &u_x[uOff_x[JZ]]; 70c4762a1bSJed Brown 71c4762a1bSJed Brown f0[0] += -poissonBracket(dim, pOmegaDer, pphiDer) - s_ctx->beta * poissonBracket(dim, jzDer, ppsiDer); 72c4762a1bSJed Brown if (u_t) f0[0] += u_t[OMEGA]; 73c4762a1bSJed Brown } 74c4762a1bSJed Brown 75*9371c9d4SSatish Balay static void f1_Omega(PetscInt dim, PetscInt Nf, PetscInt NfAux, const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f1[]) { 76c4762a1bSJed Brown const PetscScalar *pOmegaDer = &u_x[uOff_x[OMEGA]]; 77c4762a1bSJed Brown PetscInt d; 78c4762a1bSJed Brown 79c4762a1bSJed Brown for (d = 0; d < dim - 1; ++d) f1[d] = -s_ctx->mu * pOmegaDer[d]; 80c4762a1bSJed Brown } 81c4762a1bSJed Brown 82*9371c9d4SSatish Balay static void f0_psi(PetscInt dim, PetscInt Nf, PetscInt NfAux, const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f0[]) { 83c4762a1bSJed Brown const PetscScalar *pnDer = &u_x[uOff_x[DENSITY]]; 84c4762a1bSJed Brown const PetscScalar *ppsiDer = &u_x[uOff_x[PSI]]; 85c4762a1bSJed Brown const PetscScalar *pphiDer = &u_x[uOff_x[PHI]]; 86c4762a1bSJed Brown const PetscScalar *refPsiDer = &a_x[aOff_x[PSI]]; 87c4762a1bSJed Brown const PetscScalar *logRefDenDer = &a_x[aOff_x[DENSITY]]; 88c4762a1bSJed Brown PetscScalar psiDer[3]; 89c4762a1bSJed Brown PetscScalar phi_n_Der[3]; 90c4762a1bSJed Brown PetscInt d; 91*9371c9d4SSatish Balay if (dim < 2) { 92*9371c9d4SSatish Balay MPI_Abort(MPI_COMM_WORLD, 1); 93*9371c9d4SSatish Balay return; 94*9371c9d4SSatish Balay } /* this is needed so that the clang static analyzer does not generate a warning about variables used by not set */ 95c4762a1bSJed Brown for (d = 0; d < dim; ++d) { 96c4762a1bSJed Brown psiDer[d] = refPsiDer[d] + ppsiDer[d]; 97c4762a1bSJed Brown phi_n_Der[d] = pphiDer[d] - pnDer[d]; 98c4762a1bSJed Brown } 99c4762a1bSJed Brown f0[0] = -poissonBracket(dim, psiDer, phi_n_Der) + poissonBracket(dim, logRefDenDer, ppsiDer); 100c4762a1bSJed Brown if (u_t) f0[0] += u_t[PSI]; 101c4762a1bSJed Brown } 102c4762a1bSJed Brown 103*9371c9d4SSatish Balay static void f1_psi(PetscInt dim, PetscInt Nf, PetscInt NfAux, const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f1[]) { 104c4762a1bSJed Brown const PetscScalar *ppsi = &u_x[uOff_x[PSI]]; 105c4762a1bSJed Brown PetscInt d; 106c4762a1bSJed Brown 107c4762a1bSJed Brown for (d = 0; d < dim - 1; ++d) f1[d] = -(s_ctx->eta / s_ctx->beta) * ppsi[d]; 108c4762a1bSJed Brown } 109c4762a1bSJed Brown 110*9371c9d4SSatish Balay static void f0_phi(PetscInt dim, PetscInt Nf, PetscInt NfAux, const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f0[]) { 111c4762a1bSJed Brown f0[0] = -u[uOff[OMEGA]]; 112c4762a1bSJed Brown } 113c4762a1bSJed Brown 114*9371c9d4SSatish Balay static void f1_phi(PetscInt dim, PetscInt Nf, PetscInt NfAux, const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f1[]) { 115c4762a1bSJed Brown const PetscScalar *pphi = &u_x[uOff_x[PHI]]; 116c4762a1bSJed Brown PetscInt d; 117c4762a1bSJed Brown 118c4762a1bSJed Brown for (d = 0; d < dim - 1; ++d) f1[d] = pphi[d]; 119c4762a1bSJed Brown } 120c4762a1bSJed Brown 121*9371c9d4SSatish Balay static void f0_jz(PetscInt dim, PetscInt Nf, PetscInt NfAux, const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f0[]) { 122c4762a1bSJed Brown f0[0] = u[uOff[JZ]]; 123c4762a1bSJed Brown } 124c4762a1bSJed Brown 125*9371c9d4SSatish Balay static void f1_jz(PetscInt dim, PetscInt Nf, PetscInt NfAux, const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f1[]) { 126c4762a1bSJed Brown const PetscScalar *ppsi = &u_x[uOff_x[PSI]]; 127c4762a1bSJed Brown const PetscScalar *refPsiDer = &a_x[aOff_x[PSI]]; /* aOff_x[PSI] == 2*PSI */ 128c4762a1bSJed Brown PetscInt d; 129c4762a1bSJed Brown 130c4762a1bSJed Brown for (d = 0; d < dim - 1; ++d) f1[d] = ppsi[d] + refPsiDer[d]; 131c4762a1bSJed Brown } 132c4762a1bSJed Brown 133*9371c9d4SSatish Balay static PetscErrorCode ProcessOptions(MPI_Comm comm, AppCtx *options) { 134c4762a1bSJed Brown PetscFunctionBeginUser; 135c4762a1bSJed Brown options->debug = 1; 136c4762a1bSJed Brown options->plotRef = PETSC_FALSE; 137c4762a1bSJed Brown options->implicit = PETSC_FALSE; 138c4762a1bSJed Brown options->mu = 0; 139c4762a1bSJed Brown options->eta = 0; 140c4762a1bSJed Brown options->beta = 1; 141c4762a1bSJed Brown options->a = 1; 142c4762a1bSJed Brown options->b = PETSC_PI; 143c4762a1bSJed Brown options->Jop = 0; 144c4762a1bSJed Brown options->m = 1; 145c4762a1bSJed Brown options->eps = 1.e-6; 146c4762a1bSJed Brown 147d0609cedSBarry Smith PetscOptionsBegin(comm, "", "Poisson Problem Options", "DMPLEX"); 1489566063dSJacob Faibussowitsch PetscCall(PetscOptionsInt("-debug", "The debugging level", "ex48.c", options->debug, &options->debug, NULL)); 1499566063dSJacob Faibussowitsch PetscCall(PetscOptionsBool("-plot_ref", "Plot the reference fields", "ex48.c", options->plotRef, &options->plotRef, NULL)); 1509566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-mu", "mu", "ex48.c", options->mu, &options->mu, NULL)); 1519566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-eta", "eta", "ex48.c", options->eta, &options->eta, NULL)); 1529566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-beta", "beta", "ex48.c", options->beta, &options->beta, NULL)); 1539566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-Jop", "Jop", "ex48.c", options->Jop, &options->Jop, NULL)); 1549566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-m", "m", "ex48.c", options->m, &options->m, NULL)); 1559566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-eps", "eps", "ex48.c", options->eps, &options->eps, NULL)); 1569566063dSJacob Faibussowitsch PetscCall(PetscOptionsBool("-implicit", "Use implicit time integrator", "ex48.c", options->implicit, &options->implicit, NULL)); 157d0609cedSBarry Smith PetscOptionsEnd(); 158c4762a1bSJed Brown options->ke = PetscSqrtScalar(options->Jop); 159c4762a1bSJed Brown if (options->Jop == 0.0) { 160c4762a1bSJed Brown options->Jo = 1.0 / PetscPowScalar(options->a, 2); 161c4762a1bSJed Brown } else { 162c4762a1bSJed Brown options->Jo = options->Jop * PetscCosReal(options->ke * options->a) / (1.0 - PetscCosReal(options->ke * options->a)); 163c4762a1bSJed Brown } 164c4762a1bSJed Brown options->ky = PETSC_PI * options->m / options->b; 165c4762a1bSJed Brown if (PetscPowReal(options->ky, 2) < options->Jop) { 166c4762a1bSJed Brown options->kx = PetscSqrtScalar(options->Jop - PetscPowScalar(options->ky, 2)); 167c4762a1bSJed Brown options->DeltaPrime = -2.0 * options->kx * options->a * PetscCosReal(options->kx * options->a) / PetscSinReal(options->kx * options->a); 168c4762a1bSJed Brown } else if (PetscPowReal(options->ky, 2) > options->Jop) { 169c4762a1bSJed Brown options->kx = PetscSqrtScalar(PetscPowScalar(options->ky, 2) - options->Jop); 170c4762a1bSJed Brown options->DeltaPrime = -2.0 * options->kx * options->a * PetscCoshReal(options->kx * options->a) / PetscSinhReal(options->kx * options->a); 171c4762a1bSJed Brown } else { /*they're equal (or there's a NaN), lim(x*cot(x))_x->0=1*/ 172c4762a1bSJed Brown options->kx = 0; 173c4762a1bSJed Brown options->DeltaPrime = -2.0; 174c4762a1bSJed Brown } 17563a3b9bcSJacob Faibussowitsch PetscCall(PetscPrintf(comm, "DeltaPrime=%g\n", (double)options->DeltaPrime)); 176c4762a1bSJed Brown 177c4762a1bSJed Brown PetscFunctionReturn(0); 178c4762a1bSJed Brown } 179c4762a1bSJed Brown 180*9371c9d4SSatish Balay static void f_n(PetscInt dim, PetscInt Nf, PetscInt NfAux, const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar *f0) { 181c4762a1bSJed Brown const PetscScalar *pn = &u[uOff[DENSITY]]; 182c4762a1bSJed Brown *f0 = *pn; 183c4762a1bSJed Brown } 184c4762a1bSJed Brown 185*9371c9d4SSatish Balay static PetscErrorCode PostStep(TS ts) { 186c4762a1bSJed Brown DM dm; 187c4762a1bSJed Brown AppCtx *ctx; 188c4762a1bSJed Brown PetscInt stepi, num; 189c4762a1bSJed Brown Vec X; 1905f80ce2aSJacob Faibussowitsch 1917510d9b0SBarry Smith PetscFunctionBeginUser; 1929566063dSJacob Faibussowitsch PetscCall(TSGetApplicationContext(ts, &ctx)); 193c4762a1bSJed Brown if (ctx->debug < 1) PetscFunctionReturn(0); 1949566063dSJacob Faibussowitsch PetscCall(TSGetSolution(ts, &X)); 1959566063dSJacob Faibussowitsch PetscCall(VecGetDM(X, &dm)); 1969566063dSJacob Faibussowitsch PetscCall(TSGetStepNumber(ts, &stepi)); 1979566063dSJacob Faibussowitsch PetscCall(DMGetOutputSequenceNumber(dm, &num, NULL)); 1989566063dSJacob Faibussowitsch if (num < 0) PetscCall(DMSetOutputSequenceNumber(dm, 0, 0.0)); 1999566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)X, "u")); 2009566063dSJacob Faibussowitsch PetscCall(VecViewFromOptions(X, NULL, "-vec_view")); 201c4762a1bSJed Brown /* print integrals */ 202c4762a1bSJed Brown { 203c4762a1bSJed Brown PetscDS prob; 204c4762a1bSJed Brown DM plex; 205c4762a1bSJed Brown PetscScalar den, tt[5]; 2069566063dSJacob Faibussowitsch PetscCall(DMConvert(dm, DMPLEX, &plex)); 2079566063dSJacob Faibussowitsch PetscCall(DMGetDS(plex, &prob)); 2089566063dSJacob Faibussowitsch PetscCall(PetscDSSetObjective(prob, 0, &f_n)); 2099566063dSJacob Faibussowitsch PetscCall(DMPlexComputeIntegralFEM(plex, X, tt, ctx)); 210c4762a1bSJed Brown den = tt[0]; 2119566063dSJacob Faibussowitsch PetscCall(DMDestroy(&plex)); 21263a3b9bcSJacob Faibussowitsch PetscCall(PetscPrintf(PetscObjectComm((PetscObject)dm), "%" PetscInt_FMT ") total perturbed mass = %g\n", stepi, (double)PetscRealPart(den))); 213c4762a1bSJed Brown } 214c4762a1bSJed Brown PetscFunctionReturn(0); 215c4762a1bSJed Brown } 216c4762a1bSJed Brown 217*9371c9d4SSatish Balay static PetscErrorCode CreateMesh(MPI_Comm comm, AppCtx *ctx, DM *dm) { 218c4762a1bSJed Brown PetscFunctionBeginUser; 2199566063dSJacob Faibussowitsch PetscCall(DMCreate(comm, dm)); 2209566063dSJacob Faibussowitsch PetscCall(DMSetType(*dm, DMPLEX)); 2219566063dSJacob Faibussowitsch PetscCall(DMSetFromOptions(*dm)); 2229566063dSJacob Faibussowitsch PetscCall(DMViewFromOptions(*dm, NULL, "-dm_view")); 22330602db0SMatthew G. Knepley 2249566063dSJacob Faibussowitsch PetscCall(DMGetBoundingBox(*dm, ctx->lower, ctx->upper)); 22530602db0SMatthew G. Knepley ctx->a = (ctx->upper[0] - ctx->lower[0]) / 2.0; 22630602db0SMatthew G. Knepley ctx->b = (ctx->upper[1] - ctx->lower[1]) / 2.0; 227c4762a1bSJed Brown PetscFunctionReturn(0); 228c4762a1bSJed Brown } 229c4762a1bSJed Brown 230*9371c9d4SSatish Balay static PetscErrorCode log_n_0(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *ctx) { 231c4762a1bSJed Brown AppCtx *lctx = (AppCtx *)ctx; 23230602db0SMatthew G. Knepley u[0] = 2. * lctx->a + x[0]; 233c4762a1bSJed Brown return 0; 234c4762a1bSJed Brown } 235c4762a1bSJed Brown 236*9371c9d4SSatish Balay static PetscErrorCode Omega_0(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *ctx) { 237c4762a1bSJed Brown u[0] = 0.0; 238c4762a1bSJed Brown return 0; 239c4762a1bSJed Brown } 240c4762a1bSJed Brown 241*9371c9d4SSatish Balay static PetscErrorCode psi_0(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *ctx) { 242c4762a1bSJed Brown AppCtx *lctx = (AppCtx *)ctx; 243c4762a1bSJed Brown /* This sets up a symmetrix By flux aroound the mid point in x, which represents a current density flux along z. The stability 244c4762a1bSJed Brown is analytically known and reported in ProcessOptions. */ 245c4762a1bSJed Brown if (lctx->ke != 0.0) { 246c4762a1bSJed Brown u[0] = (PetscCosReal(lctx->ke * (x[0] - lctx->a)) - PetscCosReal(lctx->ke * lctx->a)) / (1.0 - PetscCosReal(lctx->ke * lctx->a)); 247c4762a1bSJed Brown } else { 248c4762a1bSJed Brown u[0] = 1.0 - PetscPowScalar((x[0] - lctx->a) / lctx->a, 2); 249c4762a1bSJed Brown } 250c4762a1bSJed Brown return 0; 251c4762a1bSJed Brown } 252c4762a1bSJed Brown 253*9371c9d4SSatish Balay static PetscErrorCode initialSolution_n(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *ctx) { 254c4762a1bSJed Brown u[0] = 0.0; 255c4762a1bSJed Brown return 0; 256c4762a1bSJed Brown } 257c4762a1bSJed Brown 258*9371c9d4SSatish Balay static PetscErrorCode initialSolution_Omega(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *ctx) { 259c4762a1bSJed Brown u[0] = 0.0; 260c4762a1bSJed Brown return 0; 261c4762a1bSJed Brown } 262c4762a1bSJed Brown 263*9371c9d4SSatish Balay static PetscErrorCode initialSolution_psi(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *a_ctx) { 264c4762a1bSJed Brown AppCtx *ctx = (AppCtx *)a_ctx; 265c4762a1bSJed Brown PetscScalar r = ctx->eps * (PetscScalar)(rand()) / (PetscScalar)(RAND_MAX); 26630602db0SMatthew G. Knepley if (x[0] == ctx->lower[0] || x[0] == ctx->upper[0]) r = 0; 267c4762a1bSJed Brown u[0] = r; 268c4762a1bSJed Brown /* PetscPrintf(PETSC_COMM_WORLD, "rand psi %lf\n",u[0]); */ 269c4762a1bSJed Brown return 0; 270c4762a1bSJed Brown } 271c4762a1bSJed Brown 272*9371c9d4SSatish Balay static PetscErrorCode initialSolution_phi(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *ctx) { 273c4762a1bSJed Brown u[0] = 0.0; 274c4762a1bSJed Brown return 0; 275c4762a1bSJed Brown } 276c4762a1bSJed Brown 277*9371c9d4SSatish Balay static PetscErrorCode initialSolution_jz(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *ctx) { 278c4762a1bSJed Brown u[0] = 0.0; 279c4762a1bSJed Brown return 0; 280c4762a1bSJed Brown } 281c4762a1bSJed Brown 282*9371c9d4SSatish Balay static PetscErrorCode SetupProblem(DM dm, AppCtx *ctx) { 28345480ffeSMatthew G. Knepley PetscDS ds; 28445480ffeSMatthew G. Knepley DMLabel label; 285c4762a1bSJed Brown const PetscInt id = 1; 286c4762a1bSJed Brown 287c4762a1bSJed Brown PetscFunctionBeginUser; 2889566063dSJacob Faibussowitsch PetscCall(DMGetLabel(dm, "marker", &label)); 2899566063dSJacob Faibussowitsch PetscCall(DMGetDS(dm, &ds)); 2909566063dSJacob Faibussowitsch PetscCall(PetscDSSetResidual(ds, 0, f0_n, f1_n)); 2919566063dSJacob Faibussowitsch PetscCall(PetscDSSetResidual(ds, 1, f0_Omega, f1_Omega)); 2929566063dSJacob Faibussowitsch PetscCall(PetscDSSetResidual(ds, 2, f0_psi, f1_psi)); 2939566063dSJacob Faibussowitsch PetscCall(PetscDSSetResidual(ds, 3, f0_phi, f1_phi)); 2949566063dSJacob Faibussowitsch PetscCall(PetscDSSetResidual(ds, 4, f0_jz, f1_jz)); 295c4762a1bSJed Brown ctx->initialFuncs[0] = initialSolution_n; 296c4762a1bSJed Brown ctx->initialFuncs[1] = initialSolution_Omega; 297c4762a1bSJed Brown ctx->initialFuncs[2] = initialSolution_psi; 298c4762a1bSJed Brown ctx->initialFuncs[3] = initialSolution_phi; 299c4762a1bSJed Brown ctx->initialFuncs[4] = initialSolution_jz; 3005f80ce2aSJacob Faibussowitsch for (PetscInt f = 0; f < 5; ++f) { 3019566063dSJacob Faibussowitsch PetscCall(PetscDSSetImplicit(ds, f, ctx->implicit)); 3029566063dSJacob Faibussowitsch PetscCall(DMAddBoundary(dm, DM_BC_ESSENTIAL, "wall", label, 1, &id, f, 0, NULL, (void (*)(void))ctx->initialFuncs[f], NULL, ctx, NULL)); 303c4762a1bSJed Brown } 3049566063dSJacob Faibussowitsch PetscCall(PetscDSSetContext(ds, 0, ctx)); 305c4762a1bSJed Brown PetscFunctionReturn(0); 306c4762a1bSJed Brown } 307c4762a1bSJed Brown 308*9371c9d4SSatish Balay static PetscErrorCode SetupEquilibriumFields(DM dm, DM dmAux, AppCtx *ctx) { 309c4762a1bSJed Brown PetscErrorCode (*eqFuncs[3])(PetscInt, PetscReal, const PetscReal[], PetscInt, PetscScalar[], void *) = {log_n_0, Omega_0, psi_0}; 310c4762a1bSJed Brown Vec eq; 311c4762a1bSJed Brown AppCtx *ctxarr[3]; 312c4762a1bSJed Brown 313c4762a1bSJed Brown ctxarr[0] = ctxarr[1] = ctxarr[2] = ctx; /* each variable could have a different context */ 3147510d9b0SBarry Smith PetscFunctionBeginUser; 3159566063dSJacob Faibussowitsch PetscCall(DMCreateLocalVector(dmAux, &eq)); 3169566063dSJacob Faibussowitsch PetscCall(DMProjectFunctionLocal(dmAux, 0.0, eqFuncs, (void **)ctxarr, INSERT_ALL_VALUES, eq)); 3179566063dSJacob Faibussowitsch PetscCall(DMSetAuxiliaryVec(dm, NULL, 0, 0, eq)); 318c4762a1bSJed Brown if (ctx->plotRef) { /* plot reference functions */ 319c4762a1bSJed Brown PetscViewer viewer = NULL; 320c4762a1bSJed Brown PetscBool isHDF5, isVTK; 321c4762a1bSJed Brown char buf[256]; 322c4762a1bSJed Brown Vec global; 32330602db0SMatthew G. Knepley PetscInt dim; 32430602db0SMatthew G. Knepley 3259566063dSJacob Faibussowitsch PetscCall(DMGetDimension(dm, &dim)); 3269566063dSJacob Faibussowitsch PetscCall(DMCreateGlobalVector(dmAux, &global)); 3279566063dSJacob Faibussowitsch PetscCall(VecSet(global, .0)); /* BCs! */ 3289566063dSJacob Faibussowitsch PetscCall(DMLocalToGlobalBegin(dmAux, eq, INSERT_VALUES, global)); 3299566063dSJacob Faibussowitsch PetscCall(DMLocalToGlobalEnd(dmAux, eq, INSERT_VALUES, global)); 3309566063dSJacob Faibussowitsch PetscCall(PetscViewerCreate(PetscObjectComm((PetscObject)dmAux), &viewer)); 331c4762a1bSJed Brown #ifdef PETSC_HAVE_HDF5 3329566063dSJacob Faibussowitsch PetscCall(PetscViewerSetType(viewer, PETSCVIEWERHDF5)); 333c4762a1bSJed Brown #else 3349566063dSJacob Faibussowitsch PetscCall(PetscViewerSetType(viewer, PETSCVIEWERVTK)); 335c4762a1bSJed Brown #endif 3369566063dSJacob Faibussowitsch PetscCall(PetscViewerSetFromOptions(viewer)); 3379566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERHDF5, &isHDF5)); 3389566063dSJacob Faibussowitsch PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERVTK, &isVTK)); 339c4762a1bSJed Brown if (isHDF5) { 34063a3b9bcSJacob Faibussowitsch PetscCall(PetscSNPrintf(buf, 256, "uEquilibrium-%" PetscInt_FMT "D.h5", dim)); 341c4762a1bSJed Brown } else if (isVTK) { 34263a3b9bcSJacob Faibussowitsch PetscCall(PetscSNPrintf(buf, 256, "uEquilibrium-%" PetscInt_FMT "D.vtu", dim)); 3439566063dSJacob Faibussowitsch PetscCall(PetscViewerPushFormat(viewer, PETSC_VIEWER_VTK_VTU)); 344c4762a1bSJed Brown } 3459566063dSJacob Faibussowitsch PetscCall(PetscViewerFileSetMode(viewer, FILE_MODE_WRITE)); 3469566063dSJacob Faibussowitsch PetscCall(PetscViewerFileSetName(viewer, buf)); 3479566063dSJacob Faibussowitsch if (isHDF5) PetscCall(DMView(dmAux, viewer)); 348c4762a1bSJed Brown /* view equilibrium fields, this will overwrite fine grids with coarse grids! */ 3499566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)global, "u0")); 3509566063dSJacob Faibussowitsch PetscCall(VecView(global, viewer)); 3519566063dSJacob Faibussowitsch PetscCall(PetscViewerDestroy(&viewer)); 3529566063dSJacob Faibussowitsch PetscCall(VecDestroy(&global)); 353c4762a1bSJed Brown } 3549566063dSJacob Faibussowitsch PetscCall(VecDestroy(&eq)); 355c4762a1bSJed Brown PetscFunctionReturn(0); 356c4762a1bSJed Brown } 357c4762a1bSJed Brown 358*9371c9d4SSatish Balay static PetscErrorCode SetupAuxDM(DM dm, PetscInt NfAux, PetscFE feAux[], AppCtx *user) { 359c4762a1bSJed Brown DM dmAux, coordDM; 360c4762a1bSJed Brown PetscInt f; 361c4762a1bSJed Brown 3627510d9b0SBarry Smith PetscFunctionBeginUser; 363c4762a1bSJed Brown /* MUST call DMGetCoordinateDM() in order to get p4est setup if present */ 3649566063dSJacob Faibussowitsch PetscCall(DMGetCoordinateDM(dm, &coordDM)); 365c4762a1bSJed Brown if (!feAux) PetscFunctionReturn(0); 3669566063dSJacob Faibussowitsch PetscCall(DMClone(dm, &dmAux)); 3679566063dSJacob Faibussowitsch PetscCall(DMSetCoordinateDM(dmAux, coordDM)); 3689566063dSJacob Faibussowitsch for (f = 0; f < NfAux; ++f) PetscCall(DMSetField(dmAux, f, NULL, (PetscObject)feAux[f])); 3699566063dSJacob Faibussowitsch PetscCall(DMCreateDS(dmAux)); 3709566063dSJacob Faibussowitsch PetscCall(SetupEquilibriumFields(dm, dmAux, user)); 3719566063dSJacob Faibussowitsch PetscCall(DMDestroy(&dmAux)); 372c4762a1bSJed Brown PetscFunctionReturn(0); 373c4762a1bSJed Brown } 374c4762a1bSJed Brown 375*9371c9d4SSatish Balay static PetscErrorCode SetupDiscretization(DM dm, AppCtx *ctx) { 376c4762a1bSJed Brown DM cdm = dm; 377c4762a1bSJed Brown PetscFE fe[5], feAux[3]; 37830602db0SMatthew G. Knepley PetscInt dim, Nf = 5, NfAux = 3, f; 37930602db0SMatthew G. Knepley PetscBool simplex; 380c4762a1bSJed Brown MPI_Comm comm; 381c4762a1bSJed Brown 382c4762a1bSJed Brown PetscFunctionBeginUser; 383c4762a1bSJed Brown /* Create finite element */ 3849566063dSJacob Faibussowitsch PetscCall(PetscObjectGetComm((PetscObject)dm, &comm)); 3859566063dSJacob Faibussowitsch PetscCall(DMGetDimension(dm, &dim)); 3869566063dSJacob Faibussowitsch PetscCall(DMPlexIsSimplex(dm, &simplex)); 3879566063dSJacob Faibussowitsch PetscCall(PetscFECreateDefault(comm, dim, 1, simplex, NULL, -1, &fe[0])); 3889566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)fe[0], "density")); 3899566063dSJacob Faibussowitsch PetscCall(PetscFECreateDefault(comm, dim, 1, simplex, NULL, -1, &fe[1])); 3909566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)fe[1], "vorticity")); 3919566063dSJacob Faibussowitsch PetscCall(PetscFECopyQuadrature(fe[0], fe[1])); 3929566063dSJacob Faibussowitsch PetscCall(PetscFECreateDefault(comm, dim, 1, simplex, NULL, -1, &fe[2])); 3939566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)fe[2], "flux")); 3949566063dSJacob Faibussowitsch PetscCall(PetscFECopyQuadrature(fe[0], fe[2])); 3959566063dSJacob Faibussowitsch PetscCall(PetscFECreateDefault(comm, dim, 1, simplex, NULL, -1, &fe[3])); 3969566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)fe[3], "potential")); 3979566063dSJacob Faibussowitsch PetscCall(PetscFECopyQuadrature(fe[0], fe[3])); 3989566063dSJacob Faibussowitsch PetscCall(PetscFECreateDefault(comm, dim, 1, simplex, NULL, -1, &fe[4])); 3999566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)fe[4], "current")); 4009566063dSJacob Faibussowitsch PetscCall(PetscFECopyQuadrature(fe[0], fe[4])); 401c4762a1bSJed Brown 4029566063dSJacob Faibussowitsch PetscCall(PetscFECreateDefault(comm, dim, 1, simplex, NULL, -1, &feAux[0])); 4039566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)feAux[0], "n_0")); 4049566063dSJacob Faibussowitsch PetscCall(PetscFECopyQuadrature(fe[0], feAux[0])); 4059566063dSJacob Faibussowitsch PetscCall(PetscFECreateDefault(comm, dim, 1, simplex, NULL, -1, &feAux[1])); 4069566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)feAux[1], "vorticity_0")); 4079566063dSJacob Faibussowitsch PetscCall(PetscFECopyQuadrature(fe[0], feAux[1])); 4089566063dSJacob Faibussowitsch PetscCall(PetscFECreateDefault(comm, dim, 1, simplex, NULL, -1, &feAux[2])); 4099566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)feAux[2], "flux_0")); 4109566063dSJacob Faibussowitsch PetscCall(PetscFECopyQuadrature(fe[0], feAux[2])); 411c4762a1bSJed Brown /* Set discretization and boundary conditions for each mesh */ 4129566063dSJacob Faibussowitsch for (f = 0; f < Nf; ++f) PetscCall(DMSetField(dm, f, NULL, (PetscObject)fe[f])); 4139566063dSJacob Faibussowitsch PetscCall(DMCreateDS(dm)); 4149566063dSJacob Faibussowitsch PetscCall(SetupProblem(dm, ctx)); 415c4762a1bSJed Brown while (cdm) { 4169566063dSJacob Faibussowitsch PetscCall(SetupAuxDM(dm, NfAux, feAux, ctx)); 4179566063dSJacob Faibussowitsch PetscCall(DMCopyDisc(dm, cdm)); 4189566063dSJacob Faibussowitsch PetscCall(DMGetCoarseDM(cdm, &cdm)); 419c4762a1bSJed Brown } 4209566063dSJacob Faibussowitsch for (f = 0; f < Nf; ++f) PetscCall(PetscFEDestroy(&fe[f])); 4219566063dSJacob Faibussowitsch for (f = 0; f < NfAux; ++f) PetscCall(PetscFEDestroy(&feAux[f])); 422c4762a1bSJed Brown PetscFunctionReturn(0); 423c4762a1bSJed Brown } 424c4762a1bSJed Brown 425*9371c9d4SSatish Balay int main(int argc, char **argv) { 426c4762a1bSJed Brown DM dm; 427c4762a1bSJed Brown TS ts; 428c4762a1bSJed Brown Vec u, r; 429c4762a1bSJed Brown AppCtx ctx; 430c4762a1bSJed Brown PetscReal t = 0.0; 431c4762a1bSJed Brown PetscReal L2error = 0.0; 432c4762a1bSJed Brown AppCtx *ctxarr[5]; 433c4762a1bSJed Brown 434c4762a1bSJed Brown ctxarr[0] = ctxarr[1] = ctxarr[2] = ctxarr[3] = ctxarr[4] = &ctx; /* each variable could have a different context */ 435c4762a1bSJed Brown s_ctx = &ctx; 436327415f7SBarry Smith PetscFunctionBeginUser; 4379566063dSJacob Faibussowitsch PetscCall(PetscInitialize(&argc, &argv, NULL, help)); 4389566063dSJacob Faibussowitsch PetscCall(ProcessOptions(PETSC_COMM_WORLD, &ctx)); 439c4762a1bSJed Brown /* create mesh and problem */ 4409566063dSJacob Faibussowitsch PetscCall(CreateMesh(PETSC_COMM_WORLD, &ctx, &dm)); 4419566063dSJacob Faibussowitsch PetscCall(DMSetApplicationContext(dm, &ctx)); 4429566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(5, &ctx.initialFuncs)); 4439566063dSJacob Faibussowitsch PetscCall(SetupDiscretization(dm, &ctx)); 4449566063dSJacob Faibussowitsch PetscCall(DMCreateGlobalVector(dm, &u)); 4459566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)u, "u")); 4469566063dSJacob Faibussowitsch PetscCall(VecDuplicate(u, &r)); 4479566063dSJacob Faibussowitsch PetscCall(PetscObjectSetName((PetscObject)r, "r")); 448c4762a1bSJed Brown /* create TS */ 4499566063dSJacob Faibussowitsch PetscCall(TSCreate(PETSC_COMM_WORLD, &ts)); 4509566063dSJacob Faibussowitsch PetscCall(TSSetDM(ts, dm)); 4519566063dSJacob Faibussowitsch PetscCall(TSSetApplicationContext(ts, &ctx)); 4529566063dSJacob Faibussowitsch PetscCall(DMTSSetBoundaryLocal(dm, DMPlexTSComputeBoundary, &ctx)); 453c4762a1bSJed Brown if (ctx.implicit) { 4549566063dSJacob Faibussowitsch PetscCall(DMTSSetIFunctionLocal(dm, DMPlexTSComputeIFunctionFEM, &ctx)); 4559566063dSJacob Faibussowitsch PetscCall(DMTSSetIJacobianLocal(dm, DMPlexTSComputeIJacobianFEM, &ctx)); 456c4762a1bSJed Brown } else { 4579566063dSJacob Faibussowitsch PetscCall(DMTSSetRHSFunctionLocal(dm, DMPlexTSComputeRHSFunctionFVM, &ctx)); 458c4762a1bSJed Brown } 4599566063dSJacob Faibussowitsch PetscCall(TSSetExactFinalTime(ts, TS_EXACTFINALTIME_STEPOVER)); 4609566063dSJacob Faibussowitsch PetscCall(TSSetFromOptions(ts)); 4619566063dSJacob Faibussowitsch PetscCall(TSSetPostStep(ts, PostStep)); 462c4762a1bSJed Brown /* make solution & solve */ 4639566063dSJacob Faibussowitsch PetscCall(DMProjectFunction(dm, t, ctx.initialFuncs, (void **)ctxarr, INSERT_ALL_VALUES, u)); 4649566063dSJacob Faibussowitsch PetscCall(TSSetSolution(ts, u)); 4659566063dSJacob Faibussowitsch PetscCall(DMViewFromOptions(dm, NULL, "-dm_view")); 4669566063dSJacob Faibussowitsch PetscCall(PostStep(ts)); /* print the initial state */ 4679566063dSJacob Faibussowitsch PetscCall(TSSolve(ts, u)); 4689566063dSJacob Faibussowitsch PetscCall(TSGetTime(ts, &t)); 4699566063dSJacob Faibussowitsch PetscCall(DMComputeL2Diff(dm, t, ctx.initialFuncs, (void **)ctxarr, u, &L2error)); 4709566063dSJacob Faibussowitsch if (L2error < 1.0e-11) PetscCall(PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: < 1.0e-11\n")); 47163a3b9bcSJacob Faibussowitsch else PetscCall(PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: %g\n", (double)L2error)); 4729566063dSJacob Faibussowitsch PetscCall(VecDestroy(&u)); 4739566063dSJacob Faibussowitsch PetscCall(VecDestroy(&r)); 4749566063dSJacob Faibussowitsch PetscCall(TSDestroy(&ts)); 4759566063dSJacob Faibussowitsch PetscCall(DMDestroy(&dm)); 4769566063dSJacob Faibussowitsch PetscCall(PetscFree(ctx.initialFuncs)); 4779566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 478b122ec5aSJacob Faibussowitsch return 0; 479c4762a1bSJed Brown } 480c4762a1bSJed Brown 481c4762a1bSJed Brown /*TEST 482c4762a1bSJed Brown 483c4762a1bSJed Brown test: 484c4762a1bSJed Brown suffix: 0 48530602db0SMatthew G. Knepley args: -debug 1 -dm_refine 1 -dm_plex_simplex 0 -dm_plex_box_faces 3,3 -dm_plex_box_bd periodic,none -dm_plex_box_upper 2.0,6.283185307179586 \ 48630602db0SMatthew G. Knepley -ts_max_steps 1 -ts_max_time 10. -ts_dt 1.0 487c4762a1bSJed Brown test: 48861a622f3SMatthew G. Knepley # Remapping with periodicity is broken 489c4762a1bSJed Brown suffix: 1 49061a622f3SMatthew G. Knepley args: -debug 1 -dm_plex_shape cylinder -dm_plex_dim 3 -dm_refine 1 -dm_refine_remap 0 -dm_plex_cylinder_bd periodic -dm_plex_boundary_label marker \ 49130602db0SMatthew G. Knepley -ts_max_steps 1 -ts_max_time 10. -ts_dt 1.0 492c4762a1bSJed Brown 493c4762a1bSJed Brown TEST*/ 494