Skip to content
Snippets Groups Projects
  1. Apr 21, 2024
    • Florian Atteneder's avatar
      SRHD: Update cons2prim (!149) · 3cb4bbbc
      Florian Atteneder authored
      This PR replaces the SRHD's own c2p with that of GRHD.
      
      The following parameters are added to the SRHD section:
      - `id_smooth = false`: If `true` initial data is smoothed with a Bernstein filter.
      - `av_regularization = "none"`: Controls which AV regularization is to be used.
      - `c2p_cold_eos_parameters = [ 100.0, 2.0 ]`: Parameters of cold polytropic EoS for c2p, analogous to GRHD.
      - `av_drag = 0.0`: AV dragging factor to control how rapid AV can change, analogous to GRHD and EulerEq.
      - `av_recompute_substeps = false`: If `true` AV recomputation is triggered on every substep in the evolution.
      3cb4bbbc
  2. Apr 19, 2024
  3. Apr 18, 2024
    • Florian Atteneder's avatar
      GRHD: Use a dedicated cold EoS as a fallback in c2p... · 55e179d3
      Florian Atteneder authored
      GRHD: Use a dedicated cold EoS as a fallback in c2p (!147)
      
      This adds new parameters to the `GRHD` section:
      - `c2p_cold_eos_parameters`: Contains parameters for the `Polytrope` EoS that is used as a fallback in c2p.
      
      This kind of 'abstraction' is needed so that we can re-purpose this c2p for the SRHD project.
      55e179d3
    • Florian Atteneder's avatar
      EulerEq: Fix 2d equations and timestep scaling... · bb7c86c1
      Florian Atteneder authored
      EulerEq: Fix 2d equations and timestep scaling (!146)
      
      - The 2d version did compute the flux incorrectly.
      - We used too strong of a scaling for the time step, e.g. N^-3 instead of N^-2. This is fixed for 1d and 2d case.
      - Updated `euler2d_isentropic_flow` ref test to no longer run into a shock, because that example doesn't use any HRSC.
      - Updated `euler_sod_shock_tube` test to run with low resolution. Also shorten `tend` so that data does not reach boundary.
      bb7c86c1
    • Florian Atteneder's avatar
      GRHD: Fixes to c2p (!145) · 624c158b
      Florian Atteneder authored
      This addresses two issues:
      - Utilize cold EoS when we limit velocity. This should avoid artificial spikes in epsilon (internal energy density) due to the limiting, because the derived relations used in the Kastaun paper no longer hold.
      - Make `atm_threshold_factor = 1.0` the default. In some tests I noticed that having this greater than 1.0 an artificial plateau in the evolved density appears, which I did not like. This seems to fix that.
      624c158b
  4. Apr 16, 2024
    • Florian Atteneder's avatar
      GRHD: Add parameter c2p_dynamic_atm (!142) · 62dfa382
      Florian Atteneder authored
      This adds and modifies the following parameters in the `GRHD` section:
      - (new) `c2p_dyamic_atm`: Controls whether a fluid-atmosphere interface is allowed to evolve.
      - (renamed) `c2p_freeze_atm_reset -> c2p_enforce_causal_atm`; also updated the doc string
      
      With `c2p_dyamic_atm=true` we now recompute the `c2p_atm_reset` mask before determining the `c2p_freeze_atm` mask.
      Previously, we only ever ran with the `false` option, which would mean that we artificially imposed the interface as it was given in the initial data.
      62dfa382
    • Florian Atteneder's avatar
      5db3e3b1
    • Florian Atteneder's avatar
      GRHD: remove stale isadmissible check from cons2prim... · 375bafba
      Florian Atteneder authored
      GRHD: remove stale isadmissible check from cons2prim (!144)
      
      It sems that atm we can get away with slightly negative tau values.
      Furthermore, I think the logic for correcting tau wasn't really sound, and I could not retrace anymore how I obtained that fix.
      375bafba
    • Florian Atteneder's avatar
      GRHD: More fixes to the atmosphere freezing mask in 2d... · c10b71a7
      Florian Atteneder authored
      GRHD: More fixes to the atmosphere freezing mask in 2d (!141)
      
      - fixed two neighbor indices
      - fixed next-neighbor check to also account for -1.0 (invalid) values
      c10b71a7
    • Florian Atteneder's avatar
      GRHD: Make parameters of cons2prim's velocity filter configurable... · f0e39a3a
      Florian Atteneder authored
      GRHD: Make parameters of cons2prim's velocity filter configurable (!140)
      
      This adds the following parameter to the `GRHD` section:
      - `c2p_threshold_velocity_limiter`: Threshold `y₀ = ρhW²` below which the velocity is limited by a filtered division following Dumbser+ 2024.
      
      I found emperically that this value strongly influences the reflection and generation of perturbations in the TOV star tests.
      In particular, using 1e-4 gives a PSD of the central density evolution in which all peak frequencies are wrong compared to literature (e.g. Three-dimensional numerical general relativistic hydrodynamics. II. Long-term dynamics of single relativistic stars, Font+, 2002, table 1).
      Using instead a value of 1e-6 gives better results.
      However, this seems to come at the expense of stability, because with lower limiter values we appear to more easily apply surface heating, e.g. epsilon or tau display artifacts at the surface.
      
      The default value of `c2p_threshold_velocity_limiter` is now set to `1e-6` because of the above observation.
      This also explains why updated the ref test in this PR.
      f0e39a3a
    • Florian Atteneder's avatar
      Fix atmosphere freezing logic in 1d (!139) · 4daa0859
      Florian Atteneder authored
      We did not account for the fact that there a two
      data points on an interface as well as two neighbors
      (one in each direction).
      4daa0859
  5. Apr 15, 2024
  6. Apr 14, 2024
    • Florian Atteneder's avatar
      GRHD: Implement TOV test in 2d axisymmetry using the cartoon formulae... · ca953e14
      Florian Atteneder authored
      GRHD: Implement TOV test in 2d axisymmetry using the cartoon formulae (!134, !134)
      
      The `examples/grhd_tov/dg_cartoon.toml` example can run for a good while without immediately crashing. This means that the bdry conditions (reflection symmetry across `x = 0` and `z = 0` axes) aren't so wrong and the surface treatment is doing something.
      
      However, ... I realized that I have been running with smaller time steps than other schemes do. That is, mine scales as `~ N^{-3}`, but it should more be like `~ N^{-2}`.
      This explains why I could run with comparatively large CFL numbers some of the 1d tests.
      This should be investigated in a separate PR.
      Changing to `~N^{-2}` here makes the cartoon test crash shortly after start, because of an issue in the cons2prim recovery. So perhaps we can't get away without any regularization scheme and I have to implement AV too.
      ca953e14
  7. Apr 12, 2024
    • Florian Atteneder's avatar
      Some fixes to dg1d.jl core (!133,... · 4fcc21fb
      Florian Atteneder authored
      Some fixes to dg1d.jl core (!133, !133)
      
      - Adds `setup_env(parfile)` with which you can now directly construct `env, project, bdryconds, prms` from a parfile. These objects are the basic ingredients for an evolution.
      - Fixes overspecialization in caching code.
      - Fixes a bug where showing `CallbackTrigger` caused an error.
      4fcc21fb
  8. Apr 10, 2024
    • Florian Atteneder's avatar
      GRHD: Make `cons2prim` work with 2D velocities (!132,... · ba83e9d5
      Florian Atteneder authored
      GRHD: Make `cons2prim` work with 2D velocities (!132, !132)
      
      I am glad I have the reftests in place, because this was very delicate to implement correctly.
      Part of this struggle was also to not introduce extra allocations from boxing of the closures, due to Julia sharing variables between scopes ...
      
      This PR also applies a general clean up to the `cons2prim` function.
      ba83e9d5
  9. Apr 09, 2024
    • Florian Atteneder's avatar
      `GRHD`: Implement reflection bdry conditions for `valencia1d, spherical1d,... · 89bde3a2
      Florian Atteneder authored
      `GRHD`: Implement reflection bdry conditions for `valencia1d, spherical1d, rescaled_spherical1d` formulations (!131, !131)
      
      It works nicely with `spherical1d, rescaled_spherical1d`, but fails miserably with `valencia1d`.
      Not sure what the problem there is, because for both `rescaled_spherical1d` and `valencia1d` I need to interpolate onto the origin after unscaling the conservatives,
      because the volume factor comes with an extra `r` that makes the conservatives vanish there.
      However, for `valencia1d` and `spherical1d` I also have singular source terms, which I don't have in `rescaled_spherical1d`.
      89bde3a2
    • Florian Atteneder's avatar
      `@with_signature`: avoid tuple limit by using `get_variable` unpacking... · 8bb97adc
      Florian Atteneder authored
      `@with_signature`: avoid tuple limit by using `get_variable` unpacking directly in function body (!130, !130)
      
      The implementation of the `doublecartoon` formulation in `GRHD` finally hit the tuple length limit, above which tuples are stack allocated and, thus, incur a drastic performance hit due to extra allocs.
      
      Here we update `@with_signature` so that we no longer have to pass arguments through tuples,
      but instead we look them up with the `get_variable` method from `mesh.cache`.
      This way we also do the unpacking now directly inside the macro-generated function body.
      
      Its not an ideal solution, because now `@with_signature` can no longer be used without the `get_variable` method from `dg1d`, which increases coupling.
      But for the moment I don't bother, and I shall worry about that whenever I decided to move `@with_signature` into a separate pkg, if ever.
      
      ---
      
      The `get_variable` method and `Cache` could also use a bit of benchmarking and optimizations.
      E.g. atm we perform three lookups
      - `isregistered` to check if the variable is available
      - `Cache.variables_to_fields` to determine in which variable group the variable can be found
      - `getproperty(::Variable, ::Symbol)` to get the variable
      
      Clearly, this could be improved, but we leave that for the future.
      
      ---
      
      Obviously, I also updated the tests. But I refused to setup now `Cache`s for each test case.
      Instead I just added a dispatch `get_variable(::NamedTuple, ::Symbol)` and a `cache` argument to the expanded function so that the tests didn't so much adjustments.
      8bb97adc
  10. Apr 08, 2024
    • Florian Atteneder's avatar
      GRHD: Fix rescaled_spherical1d formulation (!128,... · 6db7df71
      Florian Atteneder authored
      GRHD: Fix rescaled_spherical1d formulation (!128, !128)
      
      A few issues have silently accumulated because we did not add a reftest when we introduced this formulation.
      This PR fixes them and adds a reftest.
      6db7df71
    • Florian Atteneder's avatar
      GRHD: Add reftest for doublecartoon formulation (!129,... · 4073fda4
      Florian Atteneder authored
      GRHD: Add reftest for doublecartoon formulation (!129, !129)
      4073fda4
    • Florian Atteneder's avatar
      GRHD: Revert changes from !114 regarding spherical1d formulation... · 9a36fa5e
      Florian Atteneder authored
      GRHD: Revert changes from !114 regarding spherical1d formulation (!127, !127)
      
      Although we had a reftest added for the TOV test with `spherical1d`, we had not enabled the comparison of data. As such the test was almost useless. This is fixed here for this test. But we should add more reftests for other formulations in separate PRs.
      9a36fa5e
    • Florian Atteneder's avatar
      GRHD Fixup atmosphere freezing logic (!126,... · bb45e414
      Florian Atteneder authored
      GRHD Fixup atmosphere freezing logic (!126, !126)
      
      We need to account for the fact that global solution is degenerated on cell interfaces.
      Because of that we need to cast our data stencil wider when we check for resets on a bdry.
      bb45e414
    • Florian Atteneder's avatar
      GRHD: Implement reflection bdry conditions for doublecartoon formulation and... · f9332c88
      Florian Atteneder authored
      GRHD: Implement reflection bdry conditions for doublecartoon formulation and TOV test. (!125, !125)
      
      I decided to implement the symmetry conditions now differently than I did for the other formulations (`spherical1d, rescaled_spherical1d, valencia1d`).
      That is, I now compute the bdry values of the state variable separately before I call `bdryllf_...`.
      The values are computed such that
      - for variables that are even wrt `r -> -r` trafos, the x derivative of the nodal approximation at the origin vanishes,
      - for variables that are odd wrt `r -> -r` trafos, the value of the nodal approximation at the origin vanishes.
      Given this data (stored in `bdry_D, bdry_Sx, bdry_tau`), I then impose the bdry conditions weakly by using the LLF flux and the previously computed
      bdry values as exterior states.
      I also tested computing the exterior states according to `q^+ = -q^- + 2 q_BC`, where `q_BC` are the previously computed values, but did not find that
      this has significant effect.
      
      What is interesting is that this implementation (doublecartoon + reflection bdry conds.) can now be evolved without symmetrizing the state vector explicitly
      and it appears to be stable, e.g. no blowup at the origin.
      I wonder whether adapting this way of imposing bdry conditions for other formulations would also help with stability, although I am not sure anymore
      if they suffered from blowups in the reflected case.
      Note that all other formulations suffer from the problem of division by zero, which we dynamically fix up by explicit symmetrization. Imposing the bdry
      conditions then differently won't fix that issue.
      
      However, for now we keep the bdry conditions in the other formulations as they currently are.
      
      ---
      
      More thoughts about bdry values:
      - Like I said above, all other formulations use the values from initial data as bdry values, which makes sense because the solution is supposed to be static.
      One should check if using instead bdry values such that the symmetry conditions are satisfied actually works better and/or is factually more accurate.
      The latter might be plausible, because numerical dissipation (espcially with AV) might just cause a decrease in the central density.
      Using instead the initial data as bdry values would try to keep the central density as it is, despite the star solution being altered.
      - For the mirrored domain test we can have a grid setup in which the cells faces fall onto the origin. It would make sense to test if using similarly
      constructed interface values for the LLF flux at the interfaces that lie at the origin. Maybe that could also cure the stability issue we see in
      all the mirrored runs.
      f9332c88
  11. Apr 06, 2024
  12. Apr 05, 2024
    • Florian Atteneder's avatar
      Improvements to TOV evolutions, pt 3 (!114) · 4c60aa71
      Florian Atteneder authored
      * manually undo the insertion of the refvol factor into spherical1d
      formulation
      
      the formulae without the refvol factor should already be correct
      in particular, they correspond to the choice where all three
      metrics (physical one, conformal one and reference one) all agree
      I will document this properly in a follow up PR were I also
      disentangle all formulations
      
      * rename llf and bdryllf to refer to spherical1d formulation
      
      * update example parfile
      
      * fix derivatives of induced metric in initial data
      
      * remove unused variables
      
      * fix sign in 4 metric determinant
      
      * fixup minus and fix doublecartoon corrections at x=0
      
      * fix todo conflict
      
      * some todos
      
      * implement symmetrizer around origin, but disable it for now
      
      * fix computation of state variables in llf_doublecartoon
      
      * some debug statements
      
      * implement the doublecartoon correction
      
      * implement the doublecartoon correction
      
      * remove not evolved y,z components and fixup nomenclature
      
      * add doublecartoon implementation
      
      * factor out data reader from initial data setup
      
      * update parfile
      
      * add more tov examples
      
      * fix spherical1d to account for reference volume element
      
      * fixup impose_symmetry! for valencia1d
      
      * reset tau when it falls below 0
      
      this is needed to run with lower atmosphere densities
      
      * impose symmetry on state variables before c2p
      
      * callbacks: fix atm freezing logic
      
      * c2p: todos
      
      * implement valancia1d version that works with tov test
      
      * add grhd_bondi example that uses valencia1d formulation
      
      * implement valencia1d version
      
      * add valencia1d option for formulation parameter
      
      * c2p: more verbose log output
      
      * register more variables for rescaled_spherical1d
      
      * fix dispatch in setup.jl
      
      * verify formulation parameter
      
      * add bdryllf for rescaled_spherical1d
      
      * stop gap for unhandled cases of singularities in impose_symmetry functions
      4c60aa71
  13. Apr 04, 2024
  14. Apr 03, 2024
  15. Apr 02, 2024
  16. Mar 05, 2024
    • Florian Atteneder's avatar
      Implement `u_norm2` 0d output for ScalarEq projects (!119) · 51ed2d8e
      Florian Atteneder authored
      * update 2d reftests to check 2d output
      
      also reduced number of output variables and
      times in order to save storage
      
      * IntegrationTests: error when reference data is missing
      
      * fix filename of 2d output
      
      * also test 0d output with fv_muscl_burgers_sine reftest
      
      * fix u_norm2 computation for FVElement
      
      * reftests: update advection_sine_analysis
      
      * implement u_norm2 0d analysis variable
      51ed2d8e
    • Florian Atteneder's avatar
      genearlize slope limiting to meshes (!118) · 5ad92b21
      Florian Atteneder authored
      * undo method redefintion
      
      * reftests: update fv_muscl_burgers_sine
      
      note: fv_muscl_burgers_sine gives an asymmetric result when we use
      upwinding (muscl_omega=1.0) which is probably wrong
      
      * fixup update_test script
      
      * remove dead code
      
      * utilize limit_slope! method in ScalarEq/rhs.jl
      
      * Implement integration for FVElement meshes with slope limited data
      
      * extract slope limiter from ScalarEq/rhs.jl FV methods
      
      fixup hrsc prms
      
      * remove dead code
      
      * reftest: update fv_muscl_burgers_sine to use aligned_ts for outputs
      5ad92b21
  17. Mar 04, 2024
    • Florian Atteneder's avatar
      Split output into 0d, 1d, 2d files (!117) · d89dbf27
      Florian Atteneder authored
      * bump version
      
      * reftests: replace old output.h5 files with output0d/1d/2d.h5 files
      
      * reftests: update all parfiles to use the new output parameters
      
      * teach IntegrationTests how to deal with new output files
      
      * update unit tests
      
      * SaveCallbacks: handle file format properly
      
      * Let SaveCallback append the file extensions
      
      * for now restrict substep and interpolating output to 1d and h5 format
      
      remove substep_format1d, substep_format2d parameters
      
      * queue in all SaveCallbacks
      
      * only use variables0d/1d/2d/ to determine if that output is enabled
      
      * SaveCallback: adjust terminal value logic for absent format specifier
      
      * Adjust Output parameters
      
      - remove enabled0d/1d/2d
      - only output if a non-empty string value of format0d/format1d/format2d
        is provided
      - replace variable with variable0d/1d/2d so that output is split into
        three files
      
      * Teach TimeAlignedSaveCallback to adjust time steps
      of multiple SaveCallbacks at once
      
      * define Base.append overload to work with AbstractVectors
      
      * type annotate kwargs for SaveCallback
      d89dbf27
    • Florian Atteneder's avatar
      fix invalidations by upgrading to Jacobi@v0.70 (!106) · 297f3726
      Florian Atteneder authored
      * bump ci julia version to 1.10
      
      * update manifest
      
      * ignore experiments folder
      
      * compat Jacobi
      
      * fix invalidations by upgrading to Jacobi@v0.6.2
      
      requires to dev my fork here:
      https://github.com/fatteneder/Jacobi.jl/tree/fa/bump-polynomials
      297f3726
  18. Feb 26, 2024
  19. Feb 19, 2024
    • Florian Atteneder's avatar
      Improvements to TOV evolutions, pt 2 (!113) · 4531207e
      Florian Atteneder authored
      * wip: stash some tov examples
      
      * update grhd ref tests to use c2p_freeze_atm_reset = false to restore previous behavior
      
      * init c2p_freeze_atm
      
      * fixup logic of freezing atm
      
      * introduce c2p_freeze_atm flag which allows to define when an atmosphere can propagate
      
      * fix time step computation to use maximum of smoothed_mu
      
      * rescale smoothed viscosity by the extrema of D
      
      * add more example parfiles for tov case
      
      * enable c2p_freeze_atm_reset option
      
      * add cons2prim_rescaled_spherical1d_freeze_flags
      
      * add c2p_freeze_atm_reset option
      
      * document perturbation_rho parameter
      
      * update examples
      
      * experiment with partially frozen c2p flags
      
      * don't bernstein in AV computation
      
      * add c2p with partially frozen reset flags
      
      * use buffers for logarithmic AV indicators
      
      * remove isinvalid
      
      * remove dead code
      
      * avoid splat constructor from CallbackSet
      
      * add punctuation to some parameter doc strings
      4531207e
  20. Feb 13, 2024
    • Florian Atteneder's avatar
      Add option to output data from substeps (!112) · 227743ee
      Florian Atteneder authored
      * add more colors to highlight in which files comparisons failed
      
      * IntegrationTests: always use terminal coloring to highlight results
      
      * update update_test script
      
      * include substep outputting in some reftests
      
      * teach IntegrationTests about substep_output.h5
      
      * add unit test
      
      * move substep savecallback logic into convert_to_remote_savecallback!
      
      only add remote savecallback when requested
      
      * enable substep output
      
      * introduce AbstractCallbackTrigger and CallbackTrigger
      
      * add parameters
      227743ee
  21. Feb 12, 2024
    • Florian Atteneder's avatar
      Remove experiments folder and add more TOV FV examples (!111) · 2269ba71
      Florian Atteneder authored
      * remove experiments folder
      
      * grhd_tov: add more slope limiter examples
      2269ba71
    • Florian Atteneder's avatar
      Implement FV sloper limiter for GRHD (!110) · 1622accc
      Florian Atteneder authored
      * add fv_tvb_mirrored.toml TOV example
      
      * add reftest fv_superbee_grhd_bondi_accretion
      
      * implement rhs_slope_limiter!
      
      * need init_ variables also for FV because of bdry conditions
      
      * no need to compute fluxes when setting up initial data
      
      * fixup callbacks
      
      * add fv_grhd_bondi_accretion reftest
      
      * a separate register! for FV
      
      * disambiguate rhs! dispatch
      
      * SRHD: remove unused variables from fv method
      
      * dispatch on mesh for register!
      
      * splice in fv method dispatch
      
      * add new parameters
      1622accc
Loading